A dynamic modeling approach to software multiple-fault localization
- Citation:
- Abreu R, Zoeteweij P, Van Gemund AJC. 2008. A dynamic modeling approach to software multiple-fault localization. Proceedings of the Nineteenth International Workshop on Principles of Diagnosis - DX. 8
Date Presented:
SeptemberAbstract:
Current model-based approaches to software debugging use static program analysis to derive model of the program. In contrast, in the software engineering domain diagnosis approaches are based on analyzing dynamic execution behavior. We present a model-based approach where the program model is derived from dynamic execution behavior, and evaluate its diagnostic performance for both synthetic programs and the Siemens software benchmark, extended by us to accommodate multiple faults. We show that our approach outperforms other model-based software debugging techniques, which is partly due to the use of De Kleer’s intermittency model to account for the variability of software component behavior.
Citation Key:
abreu2008dynamic
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.