现有的网页验证方法和工具无法处理动态页面的Web脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法。该方法使用显式状态模型校验,自动生成测试,并运行测试来捕获输入的逻辑约束,最终输出一个故障报告集。通过一个校园BBS系统实例,验证了该方法在故障检测方面的有效性。
科研之友
微信
新浪微博
Facebook
分享链接
