高效利用符号化自动测试数据生成工具实现高级覆盖准则
软件工程
2013-08-20 v1
摘要
自动测试数据生成（ATG）是软件工程中的一个主要课题。在本文中，我们旨在弥合符号化 ATG 工具所支持的覆盖准则与文献中发现的最先进覆盖准则之间的差距。我们定义了一种新的测试准则，即标签覆盖（label coverage），并证明其既具有表达力又易于高效自动化。我们提出了几种创新技术，从而实现了对标签覆盖的有效黑盒支持，而直接方法会导致搜索空间呈指数级膨胀。初步实验表明，针对标签覆盖的 ATG 可以以合理的成本实现，且我们的优化带来了非常显著的节省。
引用
@article{arxiv.1308.4045,
title = {Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria},
author = {Sébastien Bardin and Nikolai Kosmatov and François Cheynier},
journal= {arXiv preprint arXiv:1308.4045},
year = {2013}
}