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
Cesta, testování, Gimple, jazyk Gimple připomínající jazyk C, Python, základní blok, SMT- LIB 2, CFG, SMT, symbolická exekuce, jednotkový test
Path, testing, Gimple, C-like Gimple, Python, basic block, SMT-LIB 2, CFG, SMT, sym- bolic execution, unit test
Path, testing, Gimple, C-like Gimple, Python, basic block, SMT-LIB 2, CFG, SMT, sym- bolic execution, unit test
Description
Keywords
Tato práce řeší problém automatického určování podmínek , kdy je cesta programem prove- ditelná. Obsahuje rozbor tohoto problému a návrh jeho řešení. Dále se věnuje implementaci řešení , jeho testování a srovnání s podobnými nástroji. Tato implementace byla pojmeno- vána Codeformule. Codeformule převede vstupní kód do SMT-LIB 2 formátu , poté jsou za pomocí SMT solveru a definice funkcí a získány vstupní hodnoty , které umožní provedení zadané cesty programem. Pro vytvoření Codeformule byla provedena analýza ja- zyka Gimple zapsaného v formátu připomínajícím jazyk C. Codeformule pro svoji činnost využívá symbolickou exekuci a SMT solver. Výsledkem Codeformule jsou vstupní hodnoty k vykonání programem proveditelné cesty. Tento nástroj vznikl v kontextu prací sloužících k vytvoření nástroje TRIP , který je nástrojem pro automatickou generaci testovacích sad. , This work solves the problem of automatically determining the conditions when a path in program is feasible. It contains an analysis of this problem and a design of its solution. It also discusses the implementation of the solution , its testing and comparison with similar tools. This implementation was named Codeformule. Codeformule converts the input code into SMT-LIB 2 format , then using a SMT solver and definition of functions and are obtained input values which enables feasibility of path. An analysis of C like Gimple was made for Codeformule creation. Codeformule uses symbolic execution and SMT solver. The results of Codeformule are input values , which enables execution of the path in the program. This tool was developed in the context of the work used to create TRIP , a tool for automatic test suite generation.
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. Ing. František Zbořil, CSc. (předseda)
doc. Ing. Petr Matoušek, Ph.D., M.A. (člen)
Ing. František Grézl, Ph.D. (člen)
Ing. Lukáš Kekely, Ph.D. (člen)
doc. Ing. Radek Burget, Ph.D. (člen)
Date of acceptance
2025-08-21
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. 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 D.
Result of defence
práce byla úspěšně obhájena