Prohlížení Bakalářské práce - 13135 dle předmětu "TaSysTest, EXAM, UPPAAL, Časované automaty"
Zobrazují se záznamy 1-1 z 1
-
Implementace rozhraní mezi nástrojem TaSysTest a softwarem EXAM
; Vedoucí práce: Sobotka Jan; Oponent práce: 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 ...