Rozšíření testovacího nástroje Taster

Abstract

Cílem této bakalářské práce je rozšířit nástroj Taster. Rozšíření spočívá v implementaci náhodného časování událostí, dále pak nového intepretu modelovacího jazyka a syntaktického analyzátoru, jehož gramatika generuje modelovací jazyk. Zároveň by formát modelů pro Taster měl být co nejvíce kompatibilní s formátem modelů pro program UPPAAL, tj. modelovací jazyk Tasteru by měl být co nejvíce kompatibilní s modelovacím jazykem UPPAALu. Práce nejprve zkoumá časované automaty, dále nástroje UPPAAL a Taster, následně se zabývá implementací jednotlivých bodů zadání, tj. implementace interpretu modelovacího jazyka, implementace náhodného časování událostí a implementace podpory pro urgent a committed locations. Nakonec je funkčnost celé implementace demonstrována na ukázkovém modelu.

The main goal of this bachelor thesis is to extend Taster test tool. The extension consists of implementation of random timing of events, a new interpret of the modeling language and of a new syntactical analyzer, whose grammar generates that modeling language. At the same time, the Taster modeling language should be compatible as much as possible with the UPPAAL modeling language. The thesis first studies timed automata, the UPPAAL and Taster tool, then it deals with the implementation of individual entry points from the assignemnt, ie. implementation of modeling language interpret, implementation of random timing of events and implementation of support for urgent and committed locations. Finally, the functionality of the entire implementation is demonstrated on sample model.