|
|
A Tool for Post-Mortem Debugging
Kapičák, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The goal of this work is checking specific properties in trace which program should meet or which it shouldn't meet. Properties and their description are basis of this tool for post-mortem debbuging. Properties are transformed to deterministic finite automaton for checking in trace and their description is important for searching events in trace. Events are pass to automaton as input. Output of a tool is report if properties are meet or not. Solution provides check of properties regardless of log format and shows events that preceded violation of the properties.
|
|
|
Detectors of Structured Data for Generating Test Data
Znojil, Ondřej ; Turoňová, Lenka (referee) ; Smrčka, Aleš (advisor)
This works is focused on design and implementation of utility for analysis of structured data of often used formats as JSON or XML. Utility is one of many components of Testos platform, which is set of testing utilities, communicating with each other. Primary goal of this thesis is creation of analysator for the prupose of testing. Utility is used to aggregate input data, determine occurence of each data entity and abstraction of its scalar values.
|
|
|
Automated Synthesis of Tree Structures from Real Data
Želiar, Dušan ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This masters thesis deals with analysis of tree structure data. The aim of this thesis is to design and implement a tool for automated detection of relation among samples of read data considering their three structure and node values. Output of the tool is a prescription for automated synthesis of data for testing purposes. The tool is a part of Testos platform developed at FIT BUT.
|
|
|
Testing Environment via Cluster Solution
Hostačný, Peter ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
Testos is a project that aims to create a set of tools supporting automated software testing. One of its components is computational cluster whose main goal is to execute parallel tasks and provide computational resources to other tools in the project. This work details the process of its design, implementation and integration with the Testos project. It is expected that the resulting system will be in use after Testos bus is completed.
|
|
|
Automated Detection of Relations in Data Structures
Nováček, Pavel ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This thesis deals with automated knowledge acquisition from structured data, precisely it includes detections of relations of data types in tree-structured data. The thesis is a part of Testos platform, which aims at software testing automation. The goal was to design and implement a solution that would automatically plan and execute detections over samples of real data structures. Detections would be handled by external modules called detectors that would cooperate with the solution. The final tool is a service which implements a algorithm for communicating with detectors via well-defined protocol, sending them requests in parallel to perform detections and handling results of detections. The service can be managed and tasked via created HTTP API. The results of detections, i.e. meanings and relations of input data, are used by other tools of Testos platform for the purpose of generating new test data with structure corresponding to input samples of real data.
|
|
|
Development of Dataster Tool
Vlach, Martin ; Holík, Lukáš (referee) ; Smrčka, Aleš (advisor)
This bachelor thesis deals with expansion of existing web application Dataster in Testos platform. This application serves as a user interface for dbgenx tool from the same platform. The main purpose of Dataster is a user-friendly generation of randomized structured data which are used as a database test content. The first goal of this bachelor thesis was, in particular, to extend dbgenx tool with the possibility of generating test data according to the coverage criteria of combinatorial testing. An existing tool Combine from Testos platform has been selected for this purpose. The other part of the thesis deals with a number of small adjustments and expansion of Dataster web application, for a improvement of usability and overall user-friendliness of this application.
|
|
|
Parametric Properties for Log Checker
Mutňanský, Filip ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
|
|
|
Containerization of Database Detectors
Oberreiter, Michal ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
This thesis deals with containerization of command-line applications including containerization of existing tools for database content analysis. The thesis is a part of Testos platform, which aims at software testing automation. The goal was to design and implement a solution that would be both universally usable for command-line applications and at the same time flexible enough to accommodate database detectors and their specific requirements. Docker was chosen as the containerization platform, on which a management system was built. This system provides both a graphical user interface and an application programming interface. The result allows for easy application management and output retrieval. The primary contribution of this thesis is the streamlining and simplification of running command-line applications with specific dependencies. These features come in form of abstracting the underlying mechanisms and providing a graphical user interface.
|
|
|
Automatic Test Input Generation for Information Systems
Naňo, Andrej ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
ISAGENis a tool for the automatic generation of structurally complex test inputs that imitate real communication in the context of modern information systems . Complex, typically tree-structured data currently represents the standard means of transmitting information between nodes in distributed information systems. Automatic generator ISAGENis founded on the methodology of data-driven testing and uses concrete data from the production environment as the primary characteristic and specification that guides the generation of new similar data for test cases satisfying given combinatorial adequacy criteria. The main contribution of this thesis is a comprehensive proposal of automated data generation techniques together with an implementation, which demonstrates their usage. The created solution enables testers to create more relevant testing data, representing production-like communication in information systems.
|
|
|
Development of Instrumentation during Compilation
Ševčík, Václav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The focus of this master's thesis is on the topic of instrumentation during the compilation process in the LLVM compiler. The tool enables to instrument memory accesses and functions. The instrumentation is realized through adding a novel pass to the LLVM's optimalization phase. Information about variables are managed by the created framework. The framework is linked with the program. The overhead of the instrumentation increases duration of the program by about 14 % in the case of switched off indirect addressing and 23 % in the case of switched on indirect addressing. The main benefit of the work is the possibility of easy instrumentation of the program which can even monitor operation of local variables through indirect addressing) and support multithread programs. The framework is part of Testos's tools where it provides automatic instrumentation in the Spectra tool.
|
guest ::
