Instrumentace programů pro měření pokrytí
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. František Grézl, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Smrčka, Aleš | cs |
| dc.contributor.author | Václavík, Jan | cs |
| dc.contributor.referee | Peringer, Petr | cs |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Tato práce se zabývá návrhem a implementací nástroje Ginstrum sloužící pro instrumentaci programů napsaných v jazyce C během překladu. Nástroj je implementován formou zásuvného modulu pro překladač GCC a instrumentuje místa programu, která přistupují do paměti, zapisují do paměti nebo volají funkce. Vzhledem k plánovanému použití nástroje pro testování a dynamickou analýzu umožňuje nástroj také vytvořit data z překladu, která slouží pro následnou analýzu pokrytí překládaného kódu testy. | cs |
| dc.description.abstract | This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | VÁCLAVÍK, J. Instrumentace programů pro měření pokrytí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 142733 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211042 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | instrumentace | cs |
| dc.subject | GCC | cs |
| dc.subject | GENERIC | cs |
| dc.subject | GIMPLE | cs |
| dc.subject | graf toku řízení | cs |
| dc.subject | abstraktní syntaktický strom | cs |
| dc.subject | kritérium pokrytí | cs |
| dc.subject | základní blok | cs |
| dc.subject | GCC modul | cs |
| dc.subject | instrumentation | en |
| dc.subject | GCC | en |
| dc.subject | GENERIC | en |
| dc.subject | GIMPLE | en |
| dc.subject | control flow graph | en |
| dc.subject | abstract syntax tree | en |
| dc.subject | coverage criterion | en |
| dc.subject | basic block | en |
| dc.subject | GCC plugin | en |
| dc.title | Instrumentace programů pro měření pokrytí | cs |
| dc.title.alternative | Program Instrumentation Enabling Coverage Measurement | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2023-06-15 | cs |
| dcterms.modified | 2023-06-15-16:05:34 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 142733 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 19:46:27 | en |
| sync.item.modts | 2025.01.17 10:28:07 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |