Název:
Vizualizace datových struktur pro verifikační nástroje
Překlad názvu:
Data Structure Visualization for Verification Tools
Autoři:
Holubec, Michael ; Lengál, Ondřej (oponent) ; Peringer, Petr (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2016
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Cílem práce je objektově orientovaný návrh a implementace knihovny, která poskytne verifikačnímu nástroji Predator a dalším nástrojům jednotné rozhraní pro vizualizaci interních datových struktur především pro účely jejich ladění. Práce analyzuje některé vlastnosti verifikačních nástrojů Predator, Forester a CPAchecker. Knihovna poskytuje nejen grafický, ale také textový výstup ve formátu jazyka DOT. Výsledek byl otestován připojením knihovny k verifikačnímu nástroji Predator.
The aim of my bachelor thesis is an object-oriented design and implementation of a library which will provide a unified interface to a verification tool Predator and other tools for making a vizualization of data structures primarily for debuging purposes. This work analyses some qualities of the verification tool Predator, Forester and CPAchecker. The library offers not only a graphic but also a text-based output in DOT language. The result has been tested by connecting to the verification tool Predator.
Klíčová slova:
CPAchecker; Forester; Predator; Verifikace; Verifikační nástroj; Vizualizace datových struktur; CPAchecker; Forester; Predator; Verification; Verification tool; Visualization of data structures
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/62113