Original title: Nástroj pro vyhledávání testovacích cest
Translated title: Tool for Searching for Test Paths
Authors: Rybka, Jan ; Kozák, David (referee) ; Smrčka, Aleš (advisor)
Document type: Bachelor's theses
Year: 2025
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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
Keywords: a tool for automatic test suite generation.; 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; 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; which enables execution of the path in the program. This tool was developed in the context of the work used to create TRIP; 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; 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í; 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.; poté jsou za pomocí SMT solveru a definice funkcí a získány vstupní hodnoty; Tato práce řeší problém automatického určování podmínek

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/255468

Permalink: http://www.nusl.cz/ntk/nusl-688050


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses