...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Software Engineering >Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
【24h】

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

机译：使用动态测试生成和显式状态模型检查查找 Web 应用程序中的 bug

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Web script crashes and malformed dynamically generated webpages are common errors, and they seriously impact the usability of Web applications. Current tools for webpage validation cannot handle the dynamically generated pages that are ubiquitous on today's Internet. We present a dynamic test generation technique for the domain of dynamic Web applications. The technique utilizes both combined concrete and symbolic execution and explicit-state model checking. The technique generates tests automatically, runs the tests capturing logical constraints on inputs, and minimizes the conditions on the inputs to failing tests so that the resulting bug reports are small and useful in finding and fixing the underlying faults. Our tool Apollo implements the technique for the PHP programming language. Apollo generates test inputs for a Web application, monitors the application for crashes, and validates that the output conforms to the HTML specification. This paper presents Apollo's algorithms and implementation, and an experimental evaluation that revealed 673 faults in six PHP Web applications.
机译：Web 脚本崩溃和动态生成的网页格式错误是常见错误，它们会严重影响 Web 应用程序的可用性。当前的网页验证工具无法处理当今互联网上无处不在的动态生成的页面。我们提出了一种用于动态 Web 应用程序领域的动态测试生成技术。该技术利用了具体和符号执行的组合以及显式状态模型检查。该技术自动生成测试，运行测试以捕获输入的逻辑约束，并最小化失败测试的输入条件，以便生成的错误报告很小，并且有助于查找和修复潜在的故障。我们的工具Apollo实现了PHP编程语言的技术。Apollo 为 Web 应用程序生成测试输入，监视应用程序是否崩溃，并验证输出是否符合 HTML 规范。本文介绍了 Apollo 的算法和实现，以及揭示了 6 个 PHP Web 应用程序中 673 个故障的实验评估。

著录项

相似文献

  • 外文文献
  • 中文文献
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号