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 metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00542783
Contributor : Didier Vojtisek <>
Submitted on : Friday, December 3, 2010 - 3:06:12 PM
Last modification on : Friday, November 16, 2018 - 1:23:49 AM
Long-term archiving on : Friday, March 4, 2011 - 3:45:21 AM

File

baudry06a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00542783, version 1

Citation

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⟩

Share

Metrics

Record views

425

Files downloads

425