Full metadata record
DC poleHodnotaJazyk
dc.contributor.advisorLipka Richard, Ing. Ph.D.
dc.contributor.authorAlbl, Jan
dc.contributor.refereeHerout Pavel, Doc. Ing. Ph.D.
dc.date.accepted2019-6-17
dc.date.accessioned2020-07-17T13:41:22Z-
dc.date.available2018-9-10
dc.date.available2020-07-17T13:41:22Z-
dc.date.issued2019
dc.date.submitted2019-5-15
dc.identifier79553
dc.identifier.urihttp://hdl.handle.net/11025/37415
dc.description.abstractCí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.cs
dc.format81 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isocscs
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.subjectjednotkové testovánícs
dc.subjectgenerování testovacích datcs
dc.subjectgraf toku řízenícs
dc.subjectzávislosti parametrůcs
dc.subjectstatická analýzacs
dc.titleGenerování jednotkových testů na základě toku řízení programucs
dc.title.alternativeUnit test generator based on program control flowen
dc.typediplomová prácecs
dc.thesis.degree-nameIng.cs
dc.thesis.degree-levelNavazujícícs
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta aplikovaných vědcs
dc.thesis.degree-programInženýrská informatikacs
dc.description.resultObhájenocs
dc.rights.accessopenAccessen
dc.description.abstract-translatedThe 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.en
dc.subject.translatedunit testingen
dc.subject.translatedcontrol flow graphen
dc.subject.translateddependence of parametersen
dc.subject.translatedstatic analysisen
dc.subject.translatedgenerating test dataen
Vyskytuje se v kolekcích:Diplomové práce / Theses (KIV)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
DP-Albl-Jan.pdfPlný text práce1,67 MBAdobe PDFZobrazit/otevřít
A16N0027Pposudek-op.PDFPosudek oponenta práce765,36 kBAdobe PDFZobrazit/otevřít
A16N0027Phodnoceni-ved.PDFPosudek vedoucího práce436,51 kBAdobe PDFZobrazit/otevřít
A16N0027Pobhajoba.PDFPrůběh obhajoby práce198,89 kBAdobe PDFZobrazit/otevřít
Zobrazit minimální záznam Zobrazit statistiky


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.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Vysokoškolské kvalifikační práce / Theses
  3. Fakulta aplikovaných věd / Faculty of Applied Sciences
  4. Katedra informatiky a výpočetní techniky / Department of Computer Science and Engineering
  5. Diplomové práce / Theses (KIV)