MUSEUM: Debugging real-world multilingual programs using mutation analysis

详细信息    查看全文

• 作者：Shin Hong^a ; ^{hongshin@handong.edu} ; Taehoon Kwak^b ; ^{thkwak@kaist.ac.kr} ; Byeongcheol Lee ; ^c ; ^{byeong@gist.ac.kr} ; Yiru Jeon^b ; ^{podray@kaist.ac.kr} ; Bongseok Ko^c ; ^{bsk@gist.ac.kr} ; Yunho Kim^b ; ^{kimyunho@kaist.ac.kr} ; Moonzoo Kim^b ; ^{moonzoo@cs.kaist.ac.kr}
• 关键词：Debugging ; mutation analysis ; Language interoperability ; Foreign function interface
• 刊名：Information and Software Technology
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：82
• 期：Complete
• 页码：80-95
• 全文大小：1636 K
• 卷排序：82

文摘

Context: The programming language ecosystem has diversified over the last few decades. Non-trivial programs are likely to be written in more than a single language to take advantage of various control/data abstractions and legacy libraries.Objective: Debugging multilingual bugs is challenging because language interfaces are difficult to use correctly and the scope of fault localization goes beyond language boundaries. To locate the causes of real-world multilingual bugs, this article proposes a mutation-based fault localization technique (MUSEUM).Method: MUSEUM modifies a buggy program systematically with our new mutation operators as well as conventional mutation operators, observes the dynamic behavioral changes in a test suite, and reports suspicious statements. To reduce the analysis cost, MUSEUM selects a subset of mutated programs and test cases.Results: Our empirical evaluation shows that MUSEUM is (i) effective: it identifies the buggy statements as the most suspicious statements for both resolved and unresolved non-trivial bugs in real-world multilingual programming projects; and (ii) efficient: it locates the buggy statements in modest amount of time using multiple machines in parallel. Also, by applying selective mutation analysis (i.e., selecting subsets of mutants and test cases to use), MUSEUM achieves significant speedup with marginal accuracy loss compared to the full mutation analysis.Conclusion:It is concluded that MUSEUM locates real-world multilingual bugs accurately. This result shows that mutation analysis can provide an effective, efficient, and language semantics agnostic analysis on multilingual code. Our light-weight analysis approach would play important roles as programmers write and debug large and complex programs in diverse programming languages.