Web应用程序的动态测试生成方法  

Dynamic test generation approach for web applications

作　　者：郭玉环[1] 高建华[1] 

机构地区：[1]上海师范大学计算机科学与技术系,上海200234

出　　处：《计算机工程与设计》2013年第3期930-934,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(61073163);上海市科委基金项目(09220503000)

摘　　要：现有的网页验证方法和工具无法处理动态页面的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.

关 键 词：软件测试 WEB应用 动态测试 PHP语言 页面故障 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]