Browsing katedra řídicí techniky by Author "Matouš Karel"
Now showing items 1-2 of 2
-
Implementace rozhraní mezi nástrojem TaSysTest a softwarem EXAM
Author: Veselka Michal; Supervisor: Sobotka Jan; Opponent: Matouš Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-26)Cílem této bakalářské práce je implementovat rozhraní testovacího nástroje TaSysTest se softwarem EXAM. TaSysTest je testovací nástroj využívající modely specifikované časovanými automaty pro provádění testů a EXAM je ... -
Implementace softwarového nástroje pro generování integračních testů
Author: Grus Tomáš; Supervisor: Sobotka Jan; Opponent: Matouš Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)