Název: Nástroj pro vyhledávání testovacích cest
Překlad názvu: Tool for Searching for Test Paths
Autoři: Stupar, Michal ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2023
Jazyk: slo
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [slo] [eng]
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. 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.
Klíčová slova: control-flow graph; coverage criteria; model-based testing; test suite generation; tool TRIP

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/211080

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-529357


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce