Generátor testovacích běhů nad GUI

Abstract

Grafické používateľské rozhrania tvoria významnú časť počítačových systémov. Z tohto dôvodu sú kladené čoraz väčšie nároky na ich správne fungovanie, ktoré môže byť dosiahnuté testovaním. Táto práca popisuje princíp testovania na základe modelu, pomocou ktorého je možné automatizovane generovať testovacie prípady. V tejto práci je definovaný model, ktorý je možné využiť na modelovanie bežne používaných GUI, algoritmus na získavanie takéhoto modelu z GUI a prostriedok na definovanie kritéria pokrytia modelu GUI.Graphical user interfaces represent significant part of computer systems. This causes an increase of demands for their proper behavior, which can be achieved by a proper testing during development. This thesis describes the principles of model based testing for automated generation of test cases. In this way, the productivity of test teams can increase. The thesis defines model for modeling the most common GUI elements, algorithm for obtaining such a model from the GUI, and a tool for definition of coverage criteria.