Hidden Markov Model Based Automated Fault Localization for Integration Testing

Ning Ge (1) , Shin Nakajima (2) , Marc Pantel (3, 4)

1 IRIT - Institut de recherche en informatique de Toulouse
2 NII - National Institute of Informatics
3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
4 Toulouse INP - Institut National Polytechnique (Toulouse)

Integration testing is an expensive activity in software testing, especially for fault localization in complex systems. Model-based diagnosis (MBD) provides various benefits in terms of scalability and robustness. In this work, we propose a novel MBD approach for the automated fault localization in integration testing. Our method is based on Hidden Markov Model (HMM) which is an abstraction of system's component to simulate component's behaviour. The core of this method is a fault localization algorithm that gives out the set of suspect faulty components and a backward algorithm that calculates the matching degree between the HMM and the real system to evaluate the confidence degree of the localization conclusion. The proposed method is evaluated on a specific test bed and is applied to a simple helicopter control system case study.

Mots clés: Integration testing; Model-based diagnosis; Hidden Markov model; Automated fault localization

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

Ning Ge, Shin Nakajima, Marc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing. 4th International Conference on Software Engineering and Service Science (ICSESS 2013), May 2013, Beijing, China. pp. 1-4. ⟨hal-01402565⟩