Diplomová práce

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

Graphical User Interface for a C++ Simulator

Bc. Vojtěch Frnoch
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 …ví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 …více

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
Zadání práce
Cílem práce je implementovat grafické uživatelské rozhraní pro existující simulátor s rozhraním příkazovým, který umožňuje simulaci programů napsaných v jazyce C nebo C++. Simulátor by měl zejména umět zobrazovat zdrojový kód se zvýrazněním syntaxe, podobně LLVM bitkód a v neposlední řadě by měl poskytovat vizuální nástroje pro práci s daty a haldou. Měl by také umožňovat program krokovat, nastavovat body zastavení a sledovat hodnoty konkrétních proměnných. Navíc k těmto standardním vlastnostím by měl umožnit vizualizaci a navigaci ve stavovém prostoru programu (reverzní ladění). Implementace samotné manipulace s programem a stavovým prostorem je k dispozici jako knihovna pro jazyk C++ a je součástí nástroje DIVINE. Grafické rozhraní by mělo být implementováno též v jazyce C++, ideálně za pomocí knihoven Qt5 (v takovém případě pak může používat QML a JavaScript pro rozvržení rozhraní a interakci s uživatelem).
Administrativní informace
Práce zkontrolována:
18. 5. 2018 18:58, RNDr. Petr Ročkai, Ph.D., učo 139761
Plný text práce
13,1 MB / soubor PDF
Přílohy (3)
Jazyk práce
čeština čeština
Termín obhajoby
22. 6. 2018
Práce byla úspěšně obhájena

Vedoucí

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU

Oponent

doc. RNDr. Petr Švenda, Ph.D., učo 4085
KPSK FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.