Návrh a implementace algoritmu simulace sítí časovaných automatů

Abstract

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.