Podpora testování sekvenčních kódů v nástroji Kaira

Abstract

Bakalářská práce uvádí do problematiky testování softwaru a její hlavní součástí je nově vytvořená funkcionalita nástroje, který dokáže pracovat v rámci testování sekvenčního kódu a přináší tak nové možnosti rozšíření techniky testování. Práce se zaměřuje na podporu testování sekvenčního kódu a tvorbu jednoduchých unit testů. Čtenářům přiblíží samotné testování, debugování, verifikaci a paralelní systémy. Dále objasní rozšiřovaný nástroj a rozebere možnosti řešení daného problému a uvede jedno z řešení, které bylo implementováno. Hlavním přínosem této práce je vytvořená funkcionalita pro umožnění testování jednotlivých přechodů v testovacím prostředí a generování nové zjednodušené sítě. Z takto zjednodušené sítě je následně generován kratší (jednodušší) kód, což umožní přehlednější práci s kódem v libovolném externím IDE, např. pro účely debuggování.

The Bachelor thesis gives an insight into the issue of software testing. The main part of the thesis is a new functionality of a tool which is able to work in the sequentional code testing frame. It brings us this way the new extended testing possibilities. The thesis is focused on the support of the sequentional code testing and the simple unit-tests development. It brings the reader into testing area, debugging, verification, and parallel systems. Further, it illustrates a peddled tool and looks at options to solve the problem and gives one of the solutions, which have been implemented. The main benefit of this thesis is the fully developped functionality for giving us the posibility of the interfaces testing in test environment and generation of the new simplified network. From these simplified network is subsequently generated less (simpler) code, allowing clearer work with the code in any external IDE, e.g. for debugging purposes.