Bug Localisation in Model-Based Testing using Model-Centric Shrinking
Year: 2024
Type: conference-paper
Abstract: In Model-Based Testing (MBT), long traces to errors complicate bug localisation. Shrinking of these long traces, aimed at finding smaller counterexamples from existing ones, traditionally operates at the trace-level. However, leveraging the detailed behaviour captured by MBT models suggests potential for more effective shrinking methods. We propose a model-centric shrinking approach, the ShortestPathShrinker. It centres around the idea that finding shorter traces in MBT is similar to finding shorter paths in graphs. Our experimental results show that the algorithm yields smaller or comparable traces to existing methods, in a faster fashion depending on the type of bug. Future work is discussed.
Authors: Susan van den Broek, Ana Oprescu, Theo C. Ruys
Institution: University of Amsterdam
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4402527448