文献类型：期刊文章

作　　者：缪淮扣[1] 陈圣波[2] 曾红卫[1]

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《计算机学报》

基　　金：国家自然科学基金(60970007;61073050);国家"八六三"高技术研究发展计划项目基金(2007AA01Z144);国家"九七三"重点基础研究发展规划项目基金(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会基金(10510704900);上海市重点学科建设项目基金(J50103)资助

年　　份：2011

卷　　号：34

期　　号：6

起止页码：1012-1028

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20112814137479)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.

关 键 词：WEB应用 模型转换  测试用例生成 测试执行  

分 类 号：TP311]