Detail práce
Gramatická evoluce v optimalizaci software
Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti aplikace gramatické evoluce v problému automatické opravy softwaru. Na základě získaných poznatků byla navržena a implementována nová metoda pro automatickou opravu softwaru, založená na gramatické evoluci. Její experimentální ověření proběhlo na řadě testovacích programů.
evoluční počítání, genetické programování, gramatická evoluce, soft-computing, gramatika, softwarové inženýrství, oprava softwaru, lokalizace chyby, gcc, Clang, Python, symbolická regrese, umělá inteligence
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ázky 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 B.
Při vývoji aplikací se často využívají jednotkové testy (unit testy), které zpravidla obsahují kombinace vstupních hodnot a očekávané výsledky. Bylo by možné použít tyto existující testy například pro ohodnocení kandidátních řešení v průběhu evoluce?
Burgetová Ivana, Ing., Ph.D. (UIFS FIT VUT), člen
Horák Aleš, doc. RNDr., Ph.D. (FI MUNI), člen
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT), člen
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), člen
@mastersthesis{FITMT19142, author = "Zden\v{e}k Pe\v{c}\'{i}nka", type = "Diplomov\'{a} pr\'{a}ce", title = "Gramatick\'{a} evoluce v optimalizaci software", 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/19142/" }