TESTCov: Robust Test-Suite Execution and Coverage Measurement

Beyer, Dirk und Lemberger, Thomas (2019): TESTCov: Robust Test-Suite Execution and Coverage Measurement. In: 34Th Ieee/Acm International Conference on Automated Software Engineering (Ase 2019): S. 1074-1077

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