构建极小型测试套件（基于 Snap）
软件工程
2020-07-16 v3
摘要
如今软件规模庞大且复杂，需要额外的架构来引导定理证明器生成测试套件。例如，本文引入的 SNAP 测试套件生成器将 Z3 定理证明器与如下策略结合：在少量随机选取的有效测试的均值附近进行采样。该策略异常有效。对于具有多达五十万变量的 27 个真实程序，SNAP 找到的测试套件比先前最优方法找到的小 10 到 750 倍。而且，SNAP 运行速度快了数个数量级，并且（与先前工作不同）生成了 100% 有效的测试。
引用
@article{arxiv.1905.05358,
title = {Building Very Small Test Suites (with Snap)},
author = {Jianfeng Chen and Xipeng Shen and Tim Menzies},
journal= {arXiv preprint arXiv:1905.05358},
year = {2020}
}
备注
13 pages, 9 figures, submitted to IEEE Transactions on Software Engineering (Journal First)