kirancodes.me
To Proof Maintenance & Beyond!
ASE 2019

TestCov: Robust Test-Suite Execution and Coverage Measurement

Dirk Beyer, Thomas Lemberger

DOI 10.1109/ase.2019.00105dblp

Abstract

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.

BibTeX
@inproceedings{Beyer-Lemberger:ASE19,
  author    = {Dirk Beyer and
               Thomas Lemberger},
  title     = {{TestCov:} Robust {Test-Suite} Execution and Coverage Measurement},
  booktitle = {ASE},
  pages     = {1074--1077},
  publisher = {{IEEE}},
  year      = {2019},
}

Related papers