Computer Science ›› 2017, Vol. 44 ›› Issue (11): 109-113.doi: 10.11896/j.issn.1002-137X.2017.11.017

Previous Articles     Next Articles

Mutation Test Based Test Case Minimization for Concurrent Program

ZHENG Wei, FENG Chen, WU Xiao-xue, HUANG Yue-ming and FANG Jing-yun   

  • Online:2018-12-01 Published:2018-12-01

Abstract: In the test of concurrency program,test input and the timing of threads interaction are the two key factors that affect the concurrency bug detection.For narrowing input space of concurrency bug detection,this paper proposed an algorithm of test case minimization based on mutation test.It first studies on different concurrency programs and selects 9 mutation operators which can contribute to the generation of mutants to the testing programs.Then it chooses JPF as the detecting tool during the execution of programs,through which the test cases are sorted according to mutation score(MS) and average cost(AC).Finally it picks those test cases which can find out different bugs in the prioritized test cases.Experimental results show that the method can effectively reduce the size of test cases,shorten running time and improve the effectiveness of concurrency bug detection.

Key words: Concurrency program,Mutation test,Test case prioritization,Test case minimization

[1] MANIKA T.An Approach for Test Case Prioritization Based on Three Factors[J].Information Technology and Computer Scien-ce,2015(4):79-86.
[2] GKE N,BELLI F,EMINOV M,et al.Model-based test case prioritization using cluster analysis:a soft-computing approach.http://journals,tubitak.gov.tr/elektrik/abstract.htm?id=16001.
[3] OURIQUES J F S,CARTAXO E G,M ACHADO P D L.Revealing influence of model structure and test case profile on the prio-ritization of test cases in the context of model-based testing[J].Journal of Software Engineering Research & Development,2015,3(1):1-28.
[4] KAVITHA R,SURESHKUMAR N.Test Case Prioritizationfor Regression Testing based on Severity of Fault[J].International Journal on Computer Science & Engineering,2010,2(5):1462-1466.
[5] CHEN T Y,LAU M F.A new heuristic for test suite reduction [J].Information & Software Technology,1998,40(5):347-354.
[6] CHEN T Y,LAU M F.A simulation study on some heuristics for test suite reduction[J].Information & Software Technology,1998,40(13):777-787.
[7] BRADBURY J S,CORDY J R,DINGEL J.Mutation Operators for Concurrent Java (J2SE 5.0)[C]∥The Workshop on Mutation Analysis.IEEE Computer Society,2006:11.
[8] GLIGORIC M,ZHANG L,PEREIRA C,et al.Selective mutation testing for concurrent code[C]∥International Symposium on Software Testing and Analysis.2013:224-234.
[9] DAN H,HIERONS R M.Semantic Mutation Analysis of Floa-ting-Point Comparison[C]∥IEEE Fifth International Confe-rence on Software Testing,Verification and Validation.IEEE,2012:290-299.
[10] DENG D,ZHANG W,LU S.Efficient concurrency-bug detec-tion across inputs[C]∥Acm Sigplan International Conference on Ojbect Oriented Prgramming Systems Languages & Applications.ACM,2013:785-802.
[11] LUCIA B,CEZE L,STRAUSS K.ColorSafe:architectural support for debugging and dynamically avoiding multi-variable atomicity violations[J].ACM Sigarch Computer Architecture News,2010,38(3):222-233.
[12] GAO Q,ZHANG W,CHEN Z,et al.2ndStrike:toward manifesting hidden concurrency typestate bugs[J].ACM SIGPLAN Notices,2012,47(4):239-250.
[13] MUZAHID A,QI S,TORRELLAS J.Vulcan:Hardware sup-port for detecting sequential consistency violations dynamically[C]∥2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).IEEE,2012:363-375.
[14] DEMILLO R A,LIPTION R J,SAYWARD F G.Hints on Test Data Selection:Help for the Practicing Programmer[J].Computer,1978,11(4):34-41.
[15] HAMLET R G.Testing Programs with the Aid of a Compiler[J].IEEE Transactions on Software Engineering,1977,SE-3(4):279-290.
[16] ANDREWS J H,BRIAND L C,Labiche Y.Is mutation an appropriate tool for testing experiments?[C]∥International Conference on Software Engineering,2005(ICSE 2005).IEEE,2005:402-411.
[17] ZHONG H,ZHANG L,MEI H.An experimental study of four typical test suite reduction techniques [J].Information & Software Technology,2008,50(6):534-546.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!