Návrh a implementace algoritmu simulace sítí časovaných automatů
Design and implementation of simulation algorithm for timed automata networks
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Matěj Šťastna
Vedoucí práce
Krejčí Lukáš
Oponent práce
Pospíšil Tomáš
Studijní program
Kybernetika a robotikaInstituce přidělující hodnost
katedra měřeníPráva
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://knihovny.cvut.cz/vychova/vskp.htmlVysokoš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://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Cílem této bakalářské práce je návrh a implementace nového simulačního algoritmu průchodu sítí časovaných automatů simulačního nástroje Taster. V úvodní části je nejprve seznámení s problematikou integračního testování a s jazykem sítí časovaných automatů. Poté je analyzován modelovací jazyk nástroje UPPAAL využívaný v nástroji Taster pro modelově orientované testování. Následuje analýza zdrojového kódu procesu simulace časovaných automatů nástroje Taster a vhodný návrh nové architektury simulačního algoritmu eliminující nedostatky původní verze. Po odzkoušení návrhu na prototypu je následně nová architektura implementována do nástroje Taster. V závěru je na několika provedených experimentálních simulacích ověřena validita vytvořeného návrhu. The aim of the presented bachelor’s thesis is to design and implement a new simulation algorithm for traversing through timed automata networks in the simulation tool Taster. In the Introduction, the issues regarding integration testing and timed automata network language are presented. Next, the modelling language of the tool UPPAAL, which is used by Taster for Model-based testing, and the source code of the Taser timed automata simulation process are analysed. This is followed by an appropriate design of a new simulation algorithm architecture eliminating the shortcomings of the original version. After testing the design on a prototype, the new architecture is implemented into the tool. Finally, the validity of the created design is verified through a series of conducted experimental simulations.
Kolekce
- Bakalářské práce - 13138 [281]