Skip to Main content Skip to Navigation
New interface
Conference papers

Improving Test Suites for Efficient Fault Localization

Benoit Baudry 1 Franck Fleurey 1, 2 Yves Le Traon 1 
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The need for testing-for-diagnosis strategies has been identified for a long time, but the explicit link from testing to diagnosis (fault localization) is rare. Analyzing the type of information needed for efficient fault localization, we identify the attribute (called Dynamic Basic Block) that restricts the accuracy of a diagnosis algorithm. Based on this attribute, a test-for-diagnosis criterion is proposed and validated through rigorous case studies: it shows that a test suite can be improved to reach a high level of diagnosis accuracy. So, the dilemma between a reduced testing effort (with as few test cases as possible) and the diagnosis accuracy (that needs as much test cases as possible to get more information) is partly solved by selecting test cases that are dedicated to diagnosis.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Friday, December 3, 2010 - 3:06:12 PM
Last modification on : Friday, February 4, 2022 - 3:15:08 AM
Long-term archiving on: : Friday, March 4, 2011 - 3:45:21 AM


Files produced by the author(s)


  • HAL Id : inria-00542783, version 1


Benoit Baudry, Franck Fleurey, Yves Le Traon. Improving Test Suites for Efficient Fault Localization. 28th International Conference on Software Engineering (ICSE 06), 2006, Shanghai, China. ⟨inria-00542783⟩



Record views


Files downloads