基于模型的Web应用测试.pdfVIP

第34卷第6期 计 算 机 学 报 v01．34No．6 2011 2011年6月 CHINESEJOURNALOFCOMPUTERS June 基于模型的Web应用测试 缪淮扣 陈圣波 曾红卫 (上海大学计算机工程与科学学院 上海 200072) (上海市计算机软件评测重点实验室 上海201112) 摘要提出了基于模型的Web应用测试方法，包括建模、测试用例生成、测试用例的执行、模型以及测试用例的 可视化等关键技术．设计并实现一个基于模型的Web应用测试系统．以FSM作为被测Web应用的形式测试模型， 集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工 具．除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外，还改进／提出了优化状态迁移覆盖、完整消息传 递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则．该文以兴宁水库移民信息管理系统为例演示了该 系统． 关键词Web应用；模型转换；测试用例生成；测试执行 中图法分类号TP311DOI号：10．3724／SP．J．1016．2011．01012 Model—BasedforWeb Testing Applications MIAOHuai—KouCHEN ZENG Sheng—Bo Hong-Wei and 200072) (SchoolofComputerEngineeringScience，ShanghaiUniversity，Shanghai and 201112) (ShanghaiKeyLaboratoryofComputerSo#wareEvaluatingTesting，Shanghai AbstractInthis tomodel—basedforWeb is approach testing applications paper，atesting pro— whichinvolvesinWeb executionandvisualiza— posed applicationmodeling，testgeneration，test forWebmodelsandtest authors and flmodel—based tion sequences．Thedesignimplement testing forWeb whiletheFSMis asaformal modelofWeb system applications regarded testing applica— tionsunder this Model test．And Transformer，Test systemintegrates