Automatic Fault Localization for BIP

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.


Editor(s):
Li, Xuandong
Liu, Zhiming
Wang, Yi
Published in:
Proceedings of the 1st Symposium on Dependable Software Engineering Theories, Tools and Applications, 277--283
Presented at:
1st Symposium on Dependable Software Engineering Theories, Tools and Applications, Nanjing, China, November 4-6, 2015
Year:
2015
Publisher:
Springer
Keywords:
Laboratories:




 Record created 2015-09-14, last modified 2018-09-13

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)