面向Web表单测试生成的语义约束推断
软件工程
2024-07-24 v2
摘要
Web表单的自动化测试生成一直是一个长期挑战，而表单固有以人为中心的设计及其复杂的、与设备无关的结构加剧了这一挑战。我们提出了一种创新方法FormNexus，用于自动化Web表单测试生成，该方法强调从单个表单元素及其之间的关系中推导语义洞察，利用文本内容、DOM树结构和视觉邻近性。收集到的洞察被转化为一个新的概念图——表单实体关系图（FERG），它提供了机器友好的语义信息提取。利用LLM，FormNexus采用反馈驱动机制，基于实时表单提交响应生成和细化输入约束。该方法的最终成果是一组鲁棒的测试用例，每个用例通过系统地使约束失效而生成，确保Web表单的全面测试场景。这项工作通过将LLM的能力与高级语义推断方法相结合，弥合了自动化Web表单测试中现有的差距。我们的评估表明，FormNexus结合GPT-4在表单提交状态上达到了89%的覆盖率。这一结果显著优于最佳基线模型，超出幅度达25%。
引用
@article{arxiv.2402.00950,
title = {Semantic Constraint Inference for Web Form Test Generation},
author = {Parsa Alian and Noor Nashid and Mobina Shahbandeh and Ali Mesbah},
journal= {arXiv preprint arXiv:2402.00950},
year = {2024}
}