Automatic Fault Localization for BIP

Qiang Wang,Yan Lei,Simon Bliudze,Xiaoguang Mao
DOI: https://doi.org/10.1007/978-3-319-25942-0_18
2015-01-01
Abstract:This paper presents a novel idea of automatic fault localization by exploiting counterexamples generated by a model checker. The key insight is that, if a candidate statement is faulty, it is possible to modify i.e. correct this statement so that the counterexample is eliminated. We have implemented the proposed fault localization algorithm for component-based systems modelled in the BIP Behaviour, Interaction and Priority language, and conducted the first experimental evaluation on a set of benchmarks with injected faults, showing that our approach is promising and capable of quickly and precisely localizing faults.
What problem does this paper attempt to address?