摘要
提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.
In this paper, a testing approach to model-based testing for Web applications is pro-posed which involves in Web application modeling, test generation, test execution and visualization for Web models and test sequences. The authors design and implement a model-based testing system for Web applications while the FSM is regarded as a formal testing model of Web applications under test. And this system integrates Model Transformer, Test Purposes Analyzer, Test Sequences Generator, Visualization tools for FSM and test sequences, Test Execution Engine, etc. Furthermore, the system not only supports the traditional test coverage criteria such as State Coverage, Transition Coverage, Transition Pair Coverage, but also the criteria proposed and im- proved including Optimized State and Transition Coverage, Complete Message Pass Coverage, Complete Function Interaction Coverage and Function Loop Interaction Coverage. Finally, the authors demonstrate the system taking the Xingning Reservoir Resettlement MIS as our Web application under test.
出处
《计算机学报》
EI
CSCD
北大核心
2011年第6期1012-1028,共17页
Chinese Journal of Computers
基金
国家自然科学基金(60970007
61073050)
国家"八六三"高技术研究发展计划项目基金(2007AA01Z144)
国家"九七三"重点基础研究发展规划项目基金(2007CB310800)
上海市自然科学基金(09ZR1412100)
上海市科学技术委员会基金(10510704900)
上海市重点学科建设项目基金(J50103)资助
关键词
WEB应用
模型转换
测试用例生成
测试执行
Web applications
model transformation
test cases generation
test execution
