Implementace rozhraní mezi nástrojem TaSysTest a softwarem EXAM
TaSysTest and EXAM software interface implementation
dc.contributor.advisor | Sobotka Jan | |
dc.contributor.author | Veselka Michal | |
dc.date.accessioned | 2016-06-05T09:43:18Z | |
dc.date.available | 2016-06-05T09:43:18Z | |
dc.date.issued | 2016-05-26 | |
dc.identifier | KOS-587865122705 | |
dc.identifier.uri | http://hdl.handle.net/10467/64840 | |
dc.description.abstract | 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 grafické testovací prostředí pro provádění integračních testů automobilové elektroniky používaný především koncernem Volkswagen. Propojení umožní testování systémů specifikovaných časovanými automaty metodou hardware-in-the-loop na různých testovacích platformách dostupných v testovacím softwaru EXAM. Práce nejprve zkoumá zmíněné softwarové nástroje, následně navrhuje vhodnou softwarovou architekturu k jejich propojení a nakonec je formou implementovaného ukázkového testu předvedena funkcionalita rozhraní na modelu zamykání automobilu. | cze |
dc.description.abstract | The main goal of this bachelor thesis is to implement the interface between the test tool TaSysTest and the EXAM software. TaSysTest is a testing tool that uses models specified timed automata for testing and EXAM is a graphical testing environment for performing integration tests of automotive electronics used primarily by Volkswagen concern. The interconnection allows testing systems specified by timed automaton using hardware-in-the-loop testing on different platforms available in testing software EXAM. The thesis examines the said software tools, then suggests appropriate software architecture to connect them and in conclusion is implemented in the form of sample test demonstrated the functionality of the interface model locking the car. | eng |
dc.language.iso | CZE | |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | cze |
dc.subject | TaSysTest, EXAM, UPPAAL, Časované automaty | cze |
dc.subject | TaSysTest, EXAM, UPPAAL, Timed automaton | eng |
dc.title | Implementace rozhraní mezi nástrojem TaSysTest a softwarem EXAM | cze |
dc.title | TaSysTest and EXAM software interface implementation | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.date.accepted | ||
dc.contributor.referee | Matouš Karel | |
theses.degree.discipline | Systémy a řízení | cze |
theses.degree.grantor | katedra řídicí techniky | cze |
theses.degree.programme | Kybernetika a robotika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 13135 [476]