中文

BOSQTGEN:突破测试生成的声波屏障

软件工程 2025-10-23 v1

摘要

现代软件日益依赖组合 API 进行构建,API 协议因此成为关键角色。不充分的协议会导致期望不匹配和故障,给健全的符合性测试带来迫切需求。当前的测试生成技术受到诸多挑战的制约:多语言系统、源代码不可访问、成本与可靠性之间的权衡,以及最关键的是生成结构化输入的困难。我们引入 BOSQTGEN,一种新的黑盒方法和工具,用于 API 测试生成。BOSQTGEN 利用一种新的方法,将 API 规范分解为原语,使用 LLM 提出这些原语的连贯层次结构,并采用组合测试高效地对这些值进行采样。这种方法确保覆盖关键交互,同时避免随机抽样的冗余。 resulting BOSQTGEN 系统在 RESTful 基准测试中实现了平均 82%的代码覆盖率,常常比以前的最先进系统高出 20%以上,接近手工编写的测试套件的水平。提供一种完全基于 API 的测试生成方法,使开发人员能够自动创建高质量的测试用例,用于验证或测试驱动开发。

关键词

引用

@article{arxiv.2510.19777,
  title  = {BOSQTGEN: Breaking the Sound Barrier in Test Generation},
  author = {S M Sadrul Islam Asif and James Chen and Earl T. Barr and Mark Marron},
  journal= {arXiv preprint arXiv:2510.19777},
  year   = {2025}
}