Model-Based Debugging with High-Level Observations

13 years 7 months ago
Model-Based Debugging with High-Level Observations
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standalone perspective. Instead, this paper focuses on the highly unusual properties of the testing and measurement process, where capabilities differ strongly from the classical hardware diagnosis paradigm. In particular, in an interactive debugging process user interaction may result in highly complex input to improve the process. This work proposes a heuristic entropy-based measurement selection algorithm, which incorporates high-level properties of the intended behavior of Java programs, specific to a set of test cases. We show how to integrate the approach into previously developed modelbased debugging frameworks and how reasoning about high-level properties of programs can improve fault localization.
Wolfgang Mayer, Markus Stumptner
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where IFIP12
Authors Wolfgang Mayer, Markus Stumptner
Comments (0)