Klee 对高级覆盖准则的高效黑盒支持
软件工程
2022-12-26 v2
摘要
动态符号执行（DSE）是一种基于探索被测程序路径空间的强大测试生成方法。该方法虽适于路径覆盖，但在条件、判定、高级覆盖准则（如多条件、弱变异、边界测试）或用户给定测试目标上效率较低。尽管已有适配 DSE 至大量准则的理论方案，却从未集成进公开测试工具。本文首次将针对高级覆盖准则的优化测试生成策略集成到基于 DSE 的流行开源测试工具 Klee 中。集成以完全黑盒方式进行，因而可启发类似工具轻松集成。所得工具版本命名为 Klee4labels，已公开可用。我们给出所提技术的设计，并在若干基准上评估。结果证实了该工具对高级覆盖准则的益处。
引用
@article{arxiv.2211.14592,
title = {An Efficient Black-Box Support of Advanced Coverage Criteria for Klee},
author = {Nicolas Berthier and Steven De Oliveira and Nikolai Kosmatov and Delphine Longuet and Romain Soulat},
journal= {arXiv preprint arXiv:2211.14592},
year = {2022}
}
备注
15 pages