Závěrečná práce: Martin Ergang: A tool for evaluation of test suites produced by participants in Test Competition
Bakalářská práce
A tool for evaluation of test suites produced by participants in Test Competition
Martin Ergang
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.
Zadání práce
Test suites generated by tools competing in Test-Comp must be evaluated to asses their performance in the competition. Currently, there is one tool, called Testcov, providing the evaluation of test suites. In order to increase a confidence in obtained results more evaluators of test suites are required. The goal of the thesis is to design and implement a new tool for evaluation of test suites produced by participants in Test Competition. Rather than starting from scratch the work should be based on functionality available in a gray-box fuzzer, called Fizzer, which is developed in Formela laboratory. The implemented tool must be evaluated on tests suites from several tool participating in Test-Comp and the results must be compared with those from the Testcov tool.
Práce zkontrolována:
23. 5. 2025 15:48, Mgr. Marek Trtík, Ph.D., učo 329313
23. 5. 2025 15:48, Mgr. Marek Trtík, Ph.D., učo 329313
Jazyk práce
Termín obhajoby
23. 6. 2025
Práce byla úspěšně obhájena
Studijní program
Plán
Programování a vývoj aplikací
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Adapting SBT-Fizzer for Test-Comp
Mgr. Lukáš Urban -
Skladatelská tvorba Václava Kaprála se zaměřením na instrumentaci vybraných děl
Mgr. Petra Čtveráčková -
Dynamic Analysis of Concurrent Programs
Bc. Jozef Hoschek -
Návrh podrobného sylabu výuky lékařské biofyziky pro studující oboru Všeobecná sestra
Mgr. Šárka Paclová, učo 175268 -
Instrumentation of LLVM IR
Mgr. Martina Vitovská -
Coverage of indirect input dependent atomic Boolean expressions in Fizzer
Ing. Jakub Máca -
Instrumentální styl Jakuba Jana Ryby se zaměřením na tvorbu orchestrální
Mgr. František Ostrý, Ph.D., učo 215594 -
Optimizer of SALA programs
Bc. Filip Weinberger
Název
Vložil
Vloženo
Práva
Složky
Soubory
Ergang, M.
22. 5. 2025
Konicar, R.
11. 6. 2025
12. 6. 2025




