• DocumentCode
    625513
  • Title

    MFL: Method-Level Fault Localization with Causal Inference

  • Author

    Gang Shu ; Boya Sun ; Podgurski, Andy ; Feng Cao

  • Author_Institution
    EECS Dept., Case Western Reserve Univ., Cleveland, OH, USA
  • fYear
    2013
  • fDate
    18-22 March 2013
  • Firstpage
    124
  • Lastpage
    133
  • Abstract
    Recent studies have shown that use of causal inference techniques for reducing confounding bias improves the effectiveness of statistical fault localization (SFL) at the level of program statements. However, with very large programs and test suites, the overhead of statement-level causal SFL may be excessive. Moreover cost evaluations of statement-level SFL techniques generally are based on a questionable assumption-that software developers can consistently recognize faults when examining statements in isolation. To address these issues, we propose and evaluate a novel method-level SFL technique called MFL, which is based on causal inference methodology. In addition to reframing SFL at the method level, our technique incorporates a new algorithm for selecting covariates to use in adjusting for confounding bias. This algorithm attempts to ensure that such covariates satisfy the conditional exchangeability and positivity properties required for identifying causal effects with observational data. We present empirical results indicating that our approach is more effective than four method-level versions of well-known SFL techniques and that our confounder selection algorithm is superior to two alternatives.
  • Keywords
    software fault tolerance; statistical analysis; MFL; causal inference techniques; conditional exchangeability; confounder selection algorithm; confounding bias; method-level fault localization; observational data; positivity properties; program statements; software developers; statement-level causal SFL; statistical fault localization; test suites; Algorithm design and analysis; Debugging; Equations; Heuristic algorithms; Inference algorithms; Random variables; Software; causal graph; causal inference; confounder selection; confounding bias; dynamic call graph; dynamic data dependences; positivity; statistical debugging; statistical fault localization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
  • Conference_Location
    Luembourg
  • Print_ISBN
    978-1-4673-5961-0
  • Type

    conf

  • DOI
    10.1109/ICST.2013.31
  • Filename
    6569724