Original title:
Nástroj pro vyhledávání testovacích cest
Translated title:
Tool for Searching for Test Paths
Authors:
Stupar, Michal ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor) Document type: Bachelor's theses
Year:
2023
Language:
slo Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
control-flow graph; coverage criteria; model-based testing; test suite generation; tool TRIP
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/211080