Autonomní generátor testovacích skriptů

Abstract

Tato diplomová práce se zabývá řídícími jednotkami a jejich testováním. Pro tyto potřeby je zde popsána aplikace, která je schopná tyto řídící jednotky autonomně testovat. Aplikace má dvě části, první je generátor a editor dat a druhou je testovací procedura, která otestuje vytvořený stavový automat a vygeneruje záznam o provedeném testu.

The subject of this master thesis are state machines and their testing. To this purpose, an application is described, which is able to test these state machines autonomously. Application have two parts, first generator and editor of data is built and second part is testing procedure, which is able to test state machines in question and to give corresponding test report.