Aplikace pro generování testovacích situací pro techniku State Transition Test

Abstract

Cílem této bakalářské práce je provést návrh a vytvořit a otestovat aplikaci pro generování testovacích situací pro techniku State transition test popsanou v metodice TMap pro testování softwaru. Tato technika se používá pro testování programu, specifikace, nebo jejich částí, které lze popsat stavovým automatem. Výsledná aplikace bude uživateli umožňovat vytváření stavového automatu pomocí tabulky a interaktivního grafického editoru, kontrolu konzistence vytvořeného stavového automatu a jeho import a export do formátů CSV a XML. Aplikace bude umět generovat testovací situace a následně je exportovat do formátů CSV a XML. V práci se zabývám procesem vývoje aplikace od návrhu přes implementaci po testování. Popisuji zde požadavky na aplikaci, architekturu aplikace, použité algoritmy, formáty vstupních a výstupních dat a grafické uživatelské rozhraní.

The goal of this bachelor's thesis is to design and create an application for generating test situations for the State transition test technique described in TMap methodics for software testing. This technique is used for testing of a program or specification or their part, which can be described by a state automaton. The resulting application will allow the user to create a state automaton using a table and an interactive graphic editor, the created state automaton's consistency checking and its import and export to CSV and XML formats. The application will be able to generate test situations and subsequently export them to CSV and XML formats. My thesis describes the process of application development from design to implementation to testing. Here I describe the requirements, architecture, used algorithms, formats of input and output data and graphical user interface.