Improving spectral‐based fault localization using static analysis. (13th March 2017)

• Record Type: Journal Article
• Authors: Neelofar, Neelofar; Naish, Lee; Lee, Jason; Ramamohanarao, Kotagiri
• Is Part Of: Software, practice & experience. Volume 47:Number 11(2017)
• Page Start: 1633
• Page End: 1655
• Publication Date: 2017-03-13
• Subjects: spectral debugging -- static analysis -- dynamic analysis -- fault localization metrics; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2490
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: Debugging is crucial for producing reliable software. One of the effective bug localization techniques is spectral‐based fault localization (SBFL). It helps to locate a buggy statement by applying an evaluation metric to program spectra and ranking program components on the basis of the score it computes. SBFL is an example of a dynamic analysis – an analysis of computer program that is performed by executing it with sufficient number of test cases. Static analysis, on the other hand, is performed in a non‐runtime environment. We introduce a weighting technique by combining these two kinds of program analysis. Static analysis is performed to categorize program statements into different classes and giving them weights based on the likelihood of being buggy statement. Statements are finally ranked on the basis of the weights computed by statements' categorization (static analysis) and scores computed by SBFL metrics (dynamic analysis). We evaluate the performance of our technique on Siemens test suite and Flex (having seeded bugs seeded by expert developers), Sed (having mixture of real and seeded bugs), and Space (having real bugs). In our evaluation, proposed weighting technique improves the performance of a wide variety of fault localization metrics up to 20% on single bug datasets and up to 42% on multi‐bug datasets. Copyright © 2017 John Wiley & Sons, Ltd.