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

Abstract

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.