Nástroj pro vyhledávání testovacích cest
| 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 D. | cs |
| but.jazyk | slovenština (Slovak) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Smrčka, Aleš | sk |
| dc.contributor.author | Stupar, Michal | sk |
| dc.contributor.referee | Rogalewicz, Adam | sk |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Práca obsahuje úvod do problematiky testovania založeného na modeloch, návrh frameworku pre vyhľadávanie testovacích ciest nad grafom toku riadenia, implementáciu tried a metód, ktorých realizácia bola overená sadou automatických testov. Vyhľadávanie ciest v grafe je vykonávané pomocou algoritmov prehľadávania do šírky a prehľadávania do hĺbky, ktoré sa snažia o nájdenie testovacích ciest pre splnenie štyroch implementovaných kritérií pokrytia grafu. Nástroj TRIP pri svojej činnosti využíva dva externé moduly, GCC plugin pre získanie grafu toku riadenia a SMT solver pre zistenie ohodnotenia cesty. Komunikácia medzi modulmi prebieha pomocou JSON formátu, ktorý sa využíva aj pre ukladanie nájdených ciest medzi jednotlivými behmi nástroja. | sk |
| dc.description.abstract | The work contains an introduction into problematics model-based testing, framework design for searching test paths over a control-flow graph, the implementation of classes and methods, the implementation of which was verified by a set of automatic tests. Searching path in graphs using breadth-first search and depth-first search algorithms that try to find test paths for performance of the four implemented graph coating criterias. Tool TRIP uses two externals modules - GCC plugin for obtaining the control-flow graph and the SMT solver for determining the evaluation of the path. Communication between moduls is JSON format, which is also used for saving found paths between individual runs of the tool. | en |
| dc.description.mark | D | cs |
| dc.identifier.citation | STUPAR, M. Nástroj pro vyhledávání testovacích cest [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 145048 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211080 | |
| dc.language.iso | sk | 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 | testovanie založené na modeloch | sk |
| dc.subject | kritéria pokrytia | sk |
| dc.subject | graf toku riadenia | sk |
| dc.subject | generovanie testovacej sady | sk |
| dc.subject | nástroj TRIP | sk |
| dc.subject | model-based testing | en |
| dc.subject | coverage criteria | en |
| dc.subject | control-flow graph | en |
| dc.subject | test suite generation | en |
| dc.subject | tool TRIP | en |
| dc.title | Nástroj pro vyhledávání testovacích cest | sk |
| 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 | 2023-06-15 | cs |
| dcterms.modified | 2023-08-21-14:56:48 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 145048 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 19:47:18 | en |
| sync.item.modts | 2025.01.15 13:33:42 | 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 |