Nástroj pro vyhledávání testovacích cest
Loading...
Date
Authors
Rybka, Jan
Advisor
Referee
Mark
D
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
Abstract
Hlavním cílem této práce je vytvořit nástroj pro ověřování splnitelnosti cest v programu s ohledem na sémantiku. Tato práce nabízí návrh řešení, implementaci řešení a testovací sadu pro takový nástroj. K řešení je použit postup využívající symbolickou exekuci.
Main goal of this work is creating instrument for checking if path in code is feasible with regards for program’s semantics. This work offers solution, implemantation, and set of tests for testing such instrument. This problem is solved by approach of symbolic execution.
Main goal of this work is creating instrument for checking if path in code is feasible with regards for program’s semantics. This work offers solution, implemantation, and set of tests for testing such instrument. This problem is solved by approach of symbolic execution.
Description
Keywords
Cesta , testování , Codeformule , Gimple , C-like Gimple , Python , základní blok , SMT-LIB 2 , CFG , SMT , symbolická exekuce , Path , testing , Codeformule , Gimple , C-like Gimple , Python , basic block , SMT-LIB 2 , CFG , SMT , symbolic execution
Citation
RYBKA, J. Nástroj pro vyhledávání testovacích cest [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
doc. RNDr. Milan Češka, Ph.D. (předseda)
Ing. Radek Kočí, Ph.D. (člen)
Ing. Šárka Květoňová, Ph.D. (člen)
Ing. David Bařina, Ph.D. (člen)
Ing. Marta Jaroš, Ph.D. (člen)
Date of acceptance
2025-06-17
Defence
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. Komise ohodnotila práci stupněm 4F, protože textová část práce je nevyhovující, například chybí úvod do problematiky, srovnávní s existujícími přístupy nebo jasná definice cílů a jejich splnění. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující.
Result of defence
práce nebyla úspěšně obhájena