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 1 720 different programs. The source code of TEsTCov is released under the open-source license Apache 2.0 and available at https://gitlab.conilsosy-lab/softvarehest-suite-validator. A full artifact, including a demonstration video, is available at https://doiorg/10.5281/zenodo-3418726.
Dokumententyp: | Zeitschriftenartikel |
---|---|
Fakultät: | Mathematik, Informatik und Statistik > Informatik |
Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
Sprache: | Englisch |
Dokumenten ID: | 82250 |
Datum der Veröffentlichung auf Open Access LMU: | 15. Dez. 2021, 15:01 |
Letzte Änderungen: | 15. Dez. 2021, 15:01 |