一句话：TestCov 在隔离容器中鲁棒执行 C 程序测试套件并测量覆盖率，已在 Test-Comp'19 大规模验证。
本文介绍 TestCov，一个面向 C 程序的鲁棒测试套件执行与测试覆盖率测量工具。测试执行在隔离容器中进行，以保证系统完整性和可靠的资源控制；工具同时给出单个测试与整个测试套件层面的覆盖率统计。TestCov 采用 Test-Comp 确立的基于 XML 的简单测试套件交换格式，从而与竞赛及工具生态兼容。作者报告该工具已在 Test-Comp'19 中成功执行 1720 个不同程序上的近 900 万个测试，源码以 Apache 2.0 开源，并提供包含演示视频的完整 artifact。
We present TestCov, a tool for robust test-suite execution and test-coverage measurement on C programs. TestCov executes program tests in isolated containers to ensure system integrity and reliable resource control. The tool provides coverage statistics per test and for the whole test suite. TestCov uses the simple, XML -based exchange format for test-suite specifications that was established as standard by Test-Comp. TestCov has been successfully used in Test-Comp '19 to execute almost 9 million tests on 1720 different programs. The source code of TestCov is released under the open-source license Apache 2.0 and available at https://gitlab.com/sosy-lab/software/test-suite-validator. A full artifact, including a demonstration video, is available at https://doi.org/10.5281/zenodo.3418726.
DOI 原文 ·
@inproceedings{paperbot5215,
title = {TestCov: Robust Test-Suite Execution and Coverage Measurement},
author = {Dirk Beyer and Thomas Lemberger},
booktitle = {ASE},
year = {2019},
doi = {10.1109/ase.2019.00105}
}