Aplikace pro nahrávání a přehrávání diskrétního stavového grafu

Abstract

Cílem této práce je vytvořit balíček nástrojů pro integrační testování C++ systémů na základě stavových diagramů. Všechny komponenty balíčku jsou od sebe oddělené a umožňují snadnou výměnu za jinou. Součástí tohoto balíčku je knihovna definující vytváření a přechody stavového diagramu. Dalším nástrojem je rozhraní pracující nad touto knihovnou, které zaznamenává přechody stavů za běhu systému. V rámci testů se uložené přechody porovnávají s etalonem. Etalon je běh systému, který pro dané vstupy považujeme za správný. Další částí je program na samotné porovnávání a skript sloužící k automatizaci testů. Vytvořený systém byl otestován v rámci partnerské společnosti.

The aim of this work is to create a framework for integration testing of C++ systems based on their state diagrams. One part of the framework is a library defining the creation and transitions of a state diagram. Another part is an interface working on this library, that records state transitions in a run of a system. Records are then compared with an etalon. Etalon is the run of the system, that we consider as correct for a given set of inputs. The last part is an application for comparing state transitions and a script for test automation. The created system was tested within a partner company.