Nástroj pro vyhledávání testovacích cest
| but.committee | doc. Ing. František Zbořil, CSc. (předseda) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Lukáš Kekely, Ph.D. (člen) doc. Ing. Radek Burget, 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 D. | 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 | Rybka, Jan | cs |
| dc.contributor.referee | Kozák, David | cs |
| dc.date.created | 2025 | cs |
| dc.description.abstract | Cesta, testování, Gimple, jazyk Gimple připomínající jazyk C, Python, základní blok, SMT- LIB 2, CFG, SMT, symbolická exekuce, jednotkový test | cs |
| dc.description.abstract | Path, testing, Gimple, C-like Gimple, Python, basic block, SMT-LIB 2, CFG, SMT, sym- bolic execution, unit test | en |
| dc.description.mark | D | cs |
| dc.identifier.citation | RYBKA, J. Nástroj pro vyhledávání testovacích cest [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025. | cs |
| dc.identifier.other | 170514 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/255468 | |
| 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 | Tato práce řeší problém automatického určování podmínek | cs |
| dc.subject | kdy je cesta programem prove- ditelná. Obsahuje rozbor tohoto problému a návrh jeho řešení. Dále se věnuje implementaci řešení | cs |
| dc.subject | jeho testování a srovnání s podobnými nástroji. Tato implementace byla pojmeno- vána Codeformule. Codeformule převede vstupní kód do SMT-LIB 2 formátu | cs |
| dc.subject | poté jsou za pomocí SMT solveru a definice funkcí a získány vstupní hodnoty | cs |
| dc.subject | které umožní provedení zadané cesty programem. Pro vytvoření Codeformule byla provedena analýza ja- zyka Gimple zapsaného v formátu připomínajícím jazyk C. Codeformule pro svoji činnost využívá symbolickou exekuci a SMT solver. Výsledkem Codeformule jsou vstupní hodnoty k vykonání programem proveditelné cesty. Tento nástroj vznikl v kontextu prací sloužících k vytvoření nástroje TRIP | cs |
| dc.subject | který je nástrojem pro automatickou generaci testovacích sad. | cs |
| dc.subject | This work solves the problem of automatically determining the conditions when a path in program is feasible. It contains an analysis of this problem and a design of its solution. It also discusses the implementation of the solution | en |
| dc.subject | its testing and comparison with similar tools. This implementation was named Codeformule. Codeformule converts the input code into SMT-LIB 2 format | en |
| dc.subject | then using a SMT solver and definition of functions and are obtained input values which enables feasibility of path. An analysis of C like Gimple was made for Codeformule creation. Codeformule uses symbolic execution and SMT solver. The results of Codeformule are input values | en |
| dc.subject | which enables execution of the path in the program. This tool was developed in the context of the work used to create TRIP | en |
| dc.subject | a tool for automatic test suite generation. | en |
| dc.title | Nástroj pro vyhledávání testovacích cest | cs |
| dc.title.alternative | Tool for Searching for Test Paths | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2025-08-21 | cs |
| dcterms.modified | 2025-08-21-12:30:07 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 170514 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.08.27 00:02:21 | en |
| sync.item.modts | 2025.08.26 20:00:11 | 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 |