播种矛盾：一种生成全覆盖测试套件的快速方法
软件工程
2023-09-11 v1
摘要
回归测试套件是管理程序演进的关键资源，需要达到 100% 或非常接近的覆盖率才能发挥作用。手动设计测试套件极其繁琐，而现有的自动化方法往往效率低下。本文描述的方法“播种矛盾”在程序的每个基本块中插入错误指令，使基于 SMT 的 Hoare 风格证明器能为程序的每个分支生成反例，并从所有这些反例的集合中生成测试套件。该方法是静态的、运行快速，并实现了优异的覆盖率。
引用
@article{arxiv.2309.04232,
title = {Seeding Contradiction: a fast method for generating full-coverage test suites},
author = {Li Huang and Bertrand Meyer and Manuel Oriol},
journal= {arXiv preprint arXiv:2309.04232},
year = {2023}
}