A tool for evaluation of test suites produced by participants in Test Competition

Bc. Martin Ergang

Bakalářská práce

Anotace:

Táto práca predstavuje TestCoCa, nový nástroj na meranie pokrytia testovacích sád vytvorených účastníkmi súťaže Test-Comp. TestCoCa je navrhnutý tak, aby bol kompatibilný s formátom súťaže Test-Comp a poskytoval nezávislé hodnotenie pokrytia. V práci sú jeho výsledky porovnané s výsledkami existujúceho nástroja TestCov.

Abstract:

This thesis presents TestCoCa, a new tool for measuring the coverage of test suites generated by Test-Comp participants. Designed to integrate with the Test-Comp framework, TestCoCa provides an independent coverage evaluation for this competition. The thesis compares its results with those from the existing tool, TestCov.

Keywords

TestCoCa, TestCov, code\ coverage, dynamic\ program\ analysis, instrumentation, LLVM\ IR, Test-Comp

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 23. 5. 2025

Obhajoba závěrečné práce

• Obhajoba proběhla 23. 6. 2025
• Vedoucí: Mgr. Marek Trtík, Ph.D.
• Oponent: Mgr. Robert Konicar

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Programování a vývoj aplikací / Programování a vývoj aplikací