Using distinguishing tests to reduce the number of fault candidates

Mihai Nica, Simona Nica, and Franz Wotawa
Submission Type: 
Full Paper
phmc_10_116.pdf95.84 KBJune 29, 2010 - 6:32am

Tools for automated fault localization usually generate too many bug candidates depending on the underlying technique. Hence, further information is required in order to further restrict the bug candidates. Approaches that rely on specific
knowledge of the program to be debugged like variable values at specific position in the source code, are not easily accessible for users especially in case of software maintenance. In order to avoid this problem we suggest to integrate testing for restricting the number of bug candidates. In particular, we suggest to compute possible corrections of the program and from this, distinguishing
test cases. A distinguishing test case is a test that reveals different output values for two given program variants, given the same input values. Besides
the formal definitions, and algorithms we present the first empirical results of our approach. The use of mutations and distinguishing test cases substantially reduces the number of bug candidates.

Publication Control Number: 
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed