|
|
A Tool for Building CEG Graphs
Mutňanský, Filip ; Češka, Milan (referee) ; Smrčka, Aleš (advisor)
Cause-effect graphing is one of approaches to requirement-based testing. Cause-effect graphs (CEG) are used to visualize logic relations among requirements and to fill in a decision table to form test cases. The goal of this bachelor's thesis is to design and implement a tool for creating and manipulating with CEG graphs. The developed tool is implemented as a single-page web application. The manipulation with CEG is possible via graphical user interface and/or via text-based specification in a CEG specific language. Moreover, the tool uses logic solver to ease a user with creation of the decision table.
|
|
|
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.
|
|
| |
|
|
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.
|
|
| |
|
|
A Tool for Building CEG Graphs
Mutňanský, Filip ; Češka, Milan (referee) ; Smrčka, Aleš (advisor)
Cause-effect graphing is one of approaches to requirement-based testing. Cause-effect graphs (CEG) are used to visualize logic relations among requirements and to fill in a decision table to form test cases. The goal of this bachelor's thesis is to design and implement a tool for creating and manipulating with CEG graphs. The developed tool is implemented as a single-page web application. The manipulation with CEG is possible via graphical user interface and/or via text-based specification in a CEG specific language. Moreover, the tool uses logic solver to ease a user with creation of the decision table.
|
guest ::
