Detail práce

Automatická tvorba testovacích případů z datových toků

Bakalářská práce Student: Kraut Daniel Akademický rok: 2015/2016 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
Automatic Generation of Test Cases from Data-Flow
Jazyk práce
český
Abstrakt

Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.

Klíčová slova

testování, statická analýza, automatizace, Clang, CSP, Gecode, jazyk C

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
neobhájeno
Obhajoba
14. června 2016
Oponent
Fiedor Tomáš, Ing., 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. Oponent hodnotil práci stupněm 4F, protože student nesplnil body 1 a 4 zadání. Student nedokázal vyvrátit výtky oponenta. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující.

Otázky u obhajoby
  1. Bylo by možné (a pokud ano, tak jak) rozšířit Váš přístup pro jiné front-endy LLVM frameworku (např. pro Javu)?
  2. Diskutujte možné využití Vašeho nástroje/přístupu v dalších oblastech analýzy programů, např. pro hledání chyb apod.
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
Citace
KRAUT, Daniel. Automatická tvorba testovacích případů z datových toků. Brno, 2016. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2016-06-14. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/18777/
BibTeX 
@bachelorsthesis{FITBT18777,
    author = "Daniel Kraut",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Automatick\'{a} tvorba testovac\'{i}ch p\v{r}\'{i}pad\r{u} z datov\'{y}ch tok\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 = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18777/"
}

Závěrečné práce

Nahoru