|
|
Nástroj pro tvorbu CEG grafů
Mutňanský, Filip ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
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.
|
|
|
Parametric Properties for Log Checker
Mutňanský, Filip ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
|
|
|
Vizualizace algoritmů pro plánování cesty
Mutňanský, Filip ; Orság, Filip (oponent) ; Rozman, Jaroslav (vedoucí práce)
Táto práca sa zaoberá algoritmami pre plánovanie cesty, obsahuje teoretický popis najznámejších prístupov pre plánovanie cesty a to: bug algoritmy, roadmapy, bunečná dekompozícia, potenciálové polia a pravdepodobnostné plánovanie. Tiež obsahuje návrh aplikácie, ktorá bude vizualizovať jednotlivé algoritmy.
|
|
|
Parametric Properties for Log Checker
Mutňanský, Filip ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
|
|
|
Vizualizace algoritmů pro plánování cesty
Mutňanský, Filip ; Orság, Filip (oponent) ; Rozman, Jaroslav (vedoucí práce)
Táto práca sa zaoberá algoritmami pre plánovanie cesty, obsahuje teoretický popis najznámejších prístupov pre plánovanie cesty a to: bug algoritmy, roadmapy, bunečná dekompozícia, potenciálové polia a pravdepodobnostné plánovanie. Tiež obsahuje návrh aplikácie, ktorá bude vizualizovať jednotlivé algoritmy.
|
|
|
Nástroj pro tvorbu CEG grafů
Mutňanský, Filip ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
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.
|
host ::
RSS.