Grafické rozhraní pro simulátor C++ programů

Bc. Vojtěch Frnoch

Diplomová práce

Graphical User Interface for a C++ Simulator

Anotace:

Cílem diplomové práce bylo vytvořit grafické rozhraní pro simulátor programů v prostředí projektu DIVINE, který dosud měl jen rozhraní v příkazové řádce. Na základě toho bylo rozhraní vytvořeno v programovacím jazyce C++ s aplikačním rámcem Qt. Textová část práce slouží jako vstup do problematiky formální verifikace a metody ověřování modelu. Popisuje projekt DIVINE a jeho jednotlivé nástroje. Dále analyzuje funkcionalitu simulátoru, ze které následně vychází návrh řešení. Následně je popsána implementace a zhodnocena úspěšnost práce.

Abstract:

The goal of the master's thesis was to implement a graphical user interface for a simulator which has been developed as part of the DIVINE project and thus far only had a command line interface. On this basis the new interface was developed using the C++ programming language and the Qt framework. The written part of the thesis consists of an introduction to formal verification and model checking which is then used to describe the DIVINE project and the tools it consists of. Furthermore, it analyses the functionality of the existing simulator and designs an architecture for the new solution. Afterwards the implementation is described, and the work concludes with an evaluation of achieved goals.

Klíčová slova

DIVINE, simulátor, formální verifikace, ověřování modelu, grafické rozhraní, uživatelské rozhraní, C++, Qt, formal verification, model checking, UI

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 17. 5. 2018

Obhajoba závěrečné práce

• Obhajoba proběhla 22. 6. 2018
• Vedoucí: RNDr. Petr Ročkai, Ph.D.
• Oponent: RNDr. Petr Švenda, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika