Metamorphic slice: An application in spectrum-based fault localization

  • Authors:

  • Xiaoyuan Xie;W. Eric Wong;Tsong Yueh Chen;Baowen Xu

  • Affiliations:

  • Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, VIC 3122, Australia and School of Computer Science and Engineering, Southeast University, Nanji ...;Department of Computer Science, University of Texas at Dallas, Richardson, TX 75083, United States;Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, VIC 3122, Australia;State Key Laboratory for Novel Software Technology & Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China

  • Venue:
  • Information and Software Technology
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Context: Because of its simplicity and effectiveness, Spectrum-Based Fault Localization (SBFL) has been one of the popular approaches towards fault localization. It utilizes the execution result of failure or pass, and the corresponding coverage information (such as program slice) to estimate the risk of being faulty for each program entity (such as statement). However, all existing SBFL techniques assume the existence of a test oracle to determine the execution result of a test case. But, it is common that test oracles do not exist, and hence the applicability of SBFL has been severely restricted. Objective: We aim at developing a framework that can extend the application of SBFL to the common situations where test oracles do not exist. Method: Our approach uses a new concept of metamorphic slice resulting from the integration of metamorphic testing and program slicing. In SBFL, instead of using the program slice and the result of failure or pass for an individual test case, a metamorphic slice and the result of violation or non-violation of a metamorphic relation are used. Since we need not know the execution result for an individual test case, the existence of a test oracle is no longer a requirement to apply SBFL. Results: An experimental study involving nine programs and three risk evaluation formulas was conducted. The results show that our proposed solution delivers a performance comparable to the performance observed by existing SBFL techniques for the situations where test oracles exist. Conclusion: With respect to the problem that SBFL is only applicable to programs with test oracles, we propose an innovative solution. Our solution is not only intuitively appealing and conceptually feasible, but also practically effective. Consequently, test oracles are no longer mandatory for SBFL, and hence the applicability of SBFL is significantly extended.