摘要
现有的网页验证方法和工具无法处理动态页面的Web脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法。该方法使用显式状态模型校验,自动生成测试,并运行测试来捕获输入的逻辑约束,最终输出一个故障报告集。通过一个校园BBS系统实例,验证了该方法在故障检测方面的有效性。
Current approaches and tools for web-page validation cannot handle the common errors of the dynamically generated pages, for example, Web script conflicts and deformed dynamically-generated web pages. So, a dynamic test generation approach for the web applications is presented. This approach uses an explicit-state model checking, generates tests automatically, runs the tests to capture the logical constraints of the input, and finally outputs a fault report. An application case of a campus BBS system is presented to verify the effectiveness of the approach in fault detection.
出处
《计算机工程与设计》
CSCD
北大核心
2013年第3期930-934,共5页
Computer Engineering and Design
基金
国家自然科学基金项目(61073163)
上海市科委基金项目(09220503000)