Detail práce

Nástroj pro tvorbu CEG grafů

Bakalářská práce Student: Mutňanský Filip Akademický rok: 2016/2017 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
A Tool for Building CEG Graphs
Jazyk práce
český
Abstrakt

Testovanie pomocou grafov príčin a dôsledkov je jeden z prístupov ku testovaniu na základe požiadaviek. Grafy príčin a dôsledkov (angl. Cause-Effect Graph, CEG) sa používajú na vizualizáciu logických vzťahov medzi požiadavkami a na vyplnenie rozhodovacej tabuľky na vytvorenie testovacích prípadov. Cieľom tejto bakalárskej práce je navrhnúť a implementovať nástroj na vytváranie a manipuláciu s grafmi príčin a dôsledkov. Vytvorený nástroj je implementovaný ako single-page webová apikácia. Manipulácia s grafom je možná cez grafické rozhranie, alebo cez textovú definíciu grafu v jazyku vytvorenom pre CEG. Nástroj používa logic solver na uľahčenie vytvárania rozhodovacej tabuľky užívateľovi.

Klíčová slova

testovanie na základe požiadaviek, Javascript, D3.js, CEG, rozhodovacia tabuľka

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
12. června 2017
Oponent
Češka Milan, doc. RNDr., Ph.D.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm "C".

Otázky u obhajoby

Vysvětlete, jak jste do Vašeho nástroje integroval nástroj na řešení SAT problémů.

Komise
Zendulka Jaroslav, doc. Ing., CSc. (UIFS FIT VUT), předseda
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT), člen
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Citace
MUTŇANSKÝ, Filip. Nástroj pro tvorbu CEG grafů. Brno, 2017. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-12. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/19050/
BibTeX 
@bachelorsthesis{FITBT19050,
    author = "Filip Mut\v{n}ansk\'{y}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "N\'{a}stroj pro tvorbu CEG graf\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19050/"
}

Závěrečné práce

Nahoru