.png){kind=icon}
返回
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2010.31.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Software testing
Web applications
dynamic analysis
PHP
reliability
verification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
Oxidation of Gd–Ni composite and Gd cluster films grown on Ni(110) surface studied by photoemission
PREAI
分享收藏Food Shortage in Small Fragments: Evidence from an Area-Sensitive Passerine小型碎片化生境中的食物短缺：一种区域敏感性雀形目鸟类的证据.png)
Ecology
EcologyIF0
PREAI
分享收藏Lighting to Make You Feel Better: Improving the Mood of Elderly People with Affective AmbiencesPLOS ONE
OAAI
PLOS ONEIF0
OAAI分享收藏The Influence of Temperature on Colonization of Winter Wheat by Vesicular-Arbuscular Mycorrhizal FungiMycologia
MycologiaIF0
PREAI
分享收藏
查看更多内容