PCTgen Module for Generation of Test Cases for Verification of Data Consistency

V rámci práce bude vyvýjen modul do systému PCTgen, který nyní poskytuje generování process cycle testů. Modul bude sloužit ke generování testovacích scénářů pro kontrolu datové konzistence. Snad každá aplikace pracuje s daty a tato data mohou být během práce s nimy poškozena. Toto poškození je potřeba včas odhalit. Odhalení chyb nemůže vždy čekat na první projev této chyby v plném nasazení, neboť by takové odhalení sebou mohlo nést velké problémy a drtivé následky. K odhalení chyb je potřeba zvolit nějakou techniku. Mnou vyvýjený produkt bude využívat techniky DCyT a jeho rozšířenou variantu EDCyT. Produktem těchto technik a tedy i mého modulu jsou testovací scénáře pomocí nichž lze odhalit zmíněné data poškozující operace.In this thesis a module to system PCTgen is going to be developed. The sytem now provides generating of process cycle tests. The module is going to serve the purpose of~generating test scenarios for the control of data consistency. Possibly every application works with data and these data can be damaged during working with them. It is necessary to find this damage in time. We cannot always wait untill the full effect of the damage, because this finding could cause great problems and consequences. It is necessary to choose a technique how to find these damages. The product I am developing is using the DcyT technique and its extended version EDCyT. The product of these techniques as well as of my module are the testing scenarios thanks to which it is possible to find the data damaging the operations