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脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法.该方法使用显式状态模型校验,自动生成测试,并运行测试来捕获输入的逻辑约束,最终输出一个故障报告集.通过一个校园BBS系统实例,验证了该方法在故障检测方面的有效性.
展开▼