University of Twente Student Theses


Test case shrinking for Model Based Testing on Symbolic Transition Systems

Meijer, L. (2021) Test case shrinking for Model Based Testing on Symbolic Transition Systems.

[img] PDF
Abstract:Test case shrinking is the process of reducing the size of failing test case to make them easier to analyse and debug. This thesis sets out to evaluate the effectiveness of shrinking algorithms such as Delta Debugging minimisation on failing test case derived from STSs. The five tested algorithms are: The Element Elimination Shrinking algorithm, the Binary Elimination Shrinking Algorithm and the Cycle Shrinking algorithm, all first introduced by Koopman et al. The other two algorithms have not yet been used test cases derived from state based models as STSs. They are the Location Cycle Shrinking algorithm, based on the Cycle Shrinking algorithm and the Delta Debugging shrinking algorithm based on the ddmin algorithm by Andreas Zeller. These five algorithms were tested in two experiments. One based on the experiment by Koopman et al. on a simple vending machine. The second experiment tested shrinking on a real system-world system provided by Axini. The best way to shrink test case derived from STSs depends on the system and the type of bug. In general the Cycle Shrinking algorithm or Location Cycle Shrinking algorithm is the best algorithm to start the shrinking process.
Item Type:Essay (Master)
Axini B.V., Amsterdam, Netherlands
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page