|
|
Generating of Testing Models from Source Code
Kraut, Daniel ; Malík, Viktor (referee) ; Smrčka, Aleš (advisor)
The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.
|
|
|
Tool for Searching for Test Paths
Stupar, Michal ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
The work contains an introduction into problematics model-based testing, framework design for searching test paths over a control-flow graph, the implementation of classes and methods, the implementation of which was verified by a set of automatic tests. Searching path in graphs using breadth-first search and depth-first search algorithms that try to find test paths for performance of the four implemented graph coating criterias. Tool TRIP uses two externals modules - GCC plugin for obtaining the control-flow graph and the SMT solver for determining the evaluation of the path. Communication between moduls is JSON format, which is also used for saving found paths between individual runs of the tool.
|
|
|
Generating of Testing Models from Source Code
Kraut, Daniel ; Malík, Viktor (referee) ; Smrčka, Aleš (advisor)
The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.
|
guest ::
