TestCoCa: Test-Suite Coverage Calculator (Competition Contribution)
摘要
We present TestCoCa, a tool calculating coverage of particular location(s) in a C program (like branchings in the program or an entry block of some function) from a given test-suite. TestCoCa executes all tests in the suite and for each it accumulates the coverage of the locations. A location is covered when program execution (for input data stored in a test case) reaches that location. The tests are expected to be in the XML-based Test-Comp’s format. TestCoCa has been successfully used in Test-Comp 2026 as a validator, i.e., as a tool calculating coverage from test-suites produced by competing test-generation tools. TestCoCa is implemented in C++, its source code is released under the open-source zlib license and it is freely available at https://github.com/staticafi/TestCoCa .