Název: | Generování jednotkových testů na základě toku řízení programu |
Další názvy: | Unit test generator based on program control flow |
Autoři: | Albl, Jan |
Vedoucí práce/školitel: | Lipka Richard, Ing. Ph.D. |
Oponent: | Herout Pavel, Doc. Ing. Ph.D. |
Datum vydání: | 2019 |
Nakladatel: | Západočeská univerzita v Plzni |
Typ dokumentu: | diplomová práce |
URI: | http://hdl.handle.net/11025/37415 |
Klíčová slova: | jednotkové testování;generování testovacích dat;graf toku řízení;závislosti parametrů;statická analýza |
Klíčová slova v dalším jazyce: | unit testing;control flow graph;dependence of parameters;static analysis;generating test data |
Abstrakt: | Cílem této diplomové práce bylo navrhnout a implementovat postup pro~generování testovacích dat, která se využijí při automatickém generování jednotkových testů pro Java kód. Navržený postup by měl být založen na analýze grafu toku řízení testované metody. V teoretické části práce jsou popsány způsoby pro generování testovacích dat a problematika, která se s tímto generováním pojí. Dále byly zkoumány nástroje pro extrakci grafu toku řízení z Java kódu. Jeden z těchto nástrojů byl vybrán a na jeho základě byla navržena metoda pro získání parametrů jednotkových testů. V praktické části byla vytvořena knihovna, která dokáže vygenerovat testovací data na základě analýzy grafu toku řízení pro některé metody objektů. Z těchto dat jsou poté generovány jednotkové testy. |
Abstrakt v dalším jazyce: | The aim of presented thesis was to design and implement a procedure for test data generation that will be used in the process of automatic generation of unit tests for Java code. The proposed procedure ought to be based on an analysis of the control flow graph of the test method. In the theoretical part there are described the methods for test data generation and the questions that are involved with this generation. Furthermore, the tools for extraction of control flow graph from Java code were researched. One of these tools was selected and on the base a method for gaining of unit test parameters was proposed. In the practical part the library which is able to generate test data by analyzing the control flow graph for some object methods was created. Then unit tests are generated from these data. |
Práva: | Plný text práce je přístupný bez omezení. |
Vyskytuje se v kolekcích: | Diplomové práce / Theses (KIV) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
DP-Albl-Jan.pdf | Plný text práce | 1,67 MB | Adobe PDF | Zobrazit/otevřít |
A16N0027Pposudek-op.PDF | Posudek oponenta práce | 765,36 kB | Adobe PDF | Zobrazit/otevřít |
A16N0027Phodnoceni-ved.PDF | Posudek vedoucího práce | 436,51 kB | Adobe PDF | Zobrazit/otevřít |
A16N0027Pobhajoba.PDF | Průběh obhajoby práce | 198,89 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/37415
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.