Nástroj pro vyhledávání testovacích cest

Simple item page
but.committeedoc. 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)cs
but.defenceStudent 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í.cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce nebyla úspěšně obhájenacs
dc.contributor.advisorSmrčka, Alešcs
dc.contributor.authorRybka, Jancs
dc.contributor.refereeKozák, Davidcs
dc.date.created2025cs
dc.description.abstractHlavní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.cs
dc.description.abstractMain 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.en
dc.description.markDcs
dc.identifier.citationRYBKA, J. Nástroj pro vyhledávání testovacích cest [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.cs
dc.identifier.other164373cs
dc.identifier.urihttp://hdl.handle.net/11012/253206
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectCestacs
dc.subjecttestovánícs
dc.subjectCodeformulecs
dc.subjectGimplecs
dc.subjectC-like Gimplecs
dc.subjectPythoncs
dc.subjectzákladní blokcs
dc.subjectSMT-LIB 2cs
dc.subjectCFGcs
dc.subjectSMTcs
dc.subjectsymbolická exekucecs
dc.subjectPathen
dc.subjecttestingen
dc.subjectCodeformuleen
dc.subjectGimpleen
dc.subjectC-like Gimpleen
dc.subjectPythonen
dc.subjectbasic blocken
dc.subjectSMT-LIB 2en
dc.subjectCFGen
dc.subjectSMTen
dc.subjectsymbolic executionen
dc.titleNástroj pro vyhledávání testovacích cestcs
dc.title.alternativeTool for Searching for Test Pathsen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2025-06-17cs
dcterms.modified2025-08-21-12:30:07cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid164373en
sync.item.dbtypeZPen
sync.item.insts2025.08.22 06:02:08en
sync.item.modts2025.08.22 05:32:36en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs

Files

Original bundle

Now showing 1 - 3 of 3
Thumbnail Image
Name:
final-thesis.pdf
Size:
685.67 KB
Format:
Adobe Portable Document Format
Description:
file final-thesis.pdf
Download
Thumbnail Image
Name:
appendix-1.zip
Size:
1.41 MB
Format:
Unknown data format
Description:
file appendix-1.zip
Download
Thumbnail Image
Name:
review_164373.html
Size:
9.82 KB
Format:
Hypertext Markup Language
Description:
file review_164373.html
Download

Collections

2025