|Table of Contents|

Fault Localization Approach-Based Testing for Message Races(PDF)

南京师范大学学报（工程技术版）[ISSN:1006-6977/CN:61-1281/TN]

Issue:
2018年04期
Page:
44-
Research Field:
计算机工程
Publishing date:

Info

Title:
Fault Localization Approach-Based Testing for Message Races
Author(s):
Zeng Yi
School of Computer Science and Technology,Nanjing Normal University,Nanjing 210023,China
Keywords:
concurrent; non-deterministic; fault localization; message race
PACS:
TP311
DOI:
10.3969/j.issn.1672-1292.2018.04.007
Abstract:
A fault localization method,which combines the program spectrum with the Delta debugging strategy,is proposed to solve the problem on the non-deterministic failure caused by the message race which is difficult to capture,reproduce,and accurately locate. This method first builds a concurrent program execution model,defines the non-deterministic execution path with the synchronous sequence,and turns it into a concise message race sequence. Secondly,it collects and compares the difference of the message race sequence between the correct test execution and the error execution,reduces the fault search space,and obtains the initial fault set. In the end,for every failure in the initial fault set,the Delta debug strategy is used to design and run a set of additional tests to locate the root of the fault gradually. Preliminary experimental results show the effectiveness and feasibility of our method in locating non-deterministic failures for message passing programs.

References:

[1] CHOI J D,ZELLER A. Isolating failure inducing thread schedules[C]//Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis. Rome,Italy,2002.
[2]DALLMEIER V,LINDIG C,ZELLER A. Lightweight defect localization for Java[C]//Proceedings of the 19th European Conference on Object-Oriented Programming. Glasgow,UK,2005.
[3]JONES J A,HARROLD M J. Empirical evaluation of the tarantula automatic to assist fault localization[C]//Proceedings of the 20th International Conference on Automated Software Engineering. California,USA,2005.
[4]YU Y,JONES J,HARROLD M J. An empirical study of the effects of test-suite reduction on fault localization[C]//Proceedings of the 30th International Conference on Software Engineering. Leipzig,Germany,2008.
[5]KOCA F,SOZER H,RUI A. Spectrum-based fault localization for diagnosing concurrency faults[C]//Proceedings of the 25th IFIP WG 6.1 International Conference on Test Software and systems. Istanbul,Turkey,2013.
[6]WONG W E,GAO R,LI Y,et al. A survey of software fault localization[J]. IEEE transactions on software engineering,2016,42(8):707-740.
[7]TANG C M,CHAN W K,YU Y T,et al. Accuracy graphs of spectrum-based fault localization formulas[J]. IEEE transactions on reliability,2017,66(2):403-424.
[8]ARTHO C. Iterative delta debugging[J]. International journal on software tools for technology transfer,2011,13(3):223-246.
[9]HAMMOUDI M,BURG B,BAE G,et al. On the use of delta debugging to reduce recordings and facilitate debugging of web applications[C]//Proceedings of the 10th Joint Meeting on Foundations of Software Engineering. Bergamo,Italy,2015.
[10]GROCE A,ALIPOUR M A,ZHANG C,et al. Cause reduction:delta debugging,even without bugs[J]. Software testing verification and reliability,2016,26(1):40-68.
[11]XU J,LEI Y,CARVER R. Using delta debugging to minimize stress tests for concurrent data structures[C]//Proceedings of the IEEE International Conference on Software Testing,Verification and Validation. Tokyo,Japan,2017.
[12]LIU C,FEI L,YAN X,et al. Statistical debugging:a hypothesis testing-based approach[J]. IEEE transactions on software engineering,2006,32(10):831-848.
[13]LI J. Nonparametric multivariate statistical process control charts:a hypothesis testing-based approach[J]. Journal of nonparametric statistics,2015,27(3):384-400.
[14]DING Z,WANG R,HU J,et al. Detecting bugs of concurrent programs with program invariants[C]//Proceedings of the IEEE International Conference on Software Quality,Reliability and Security Companion. Vienna,Austria,2016.
[15]SATO K,DONG H A,LAGUNA I,et al. Noise injection techniques to expose subtle and unintended message races[C]//Proceedings of the 22th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Texas,USA,2017.
[16]LAMPORT L. Time,clocks,and the ordering of events in a distributed system[J]. Communications of the ACM,2008,21(7):558-565.

Memo

Memo:
-
Last Update: 2018-12-30