An improved distributed concolic testing approach

Distributed concolic testing (DCT) for complex programs takes a remarkable computational time. Also, the achieved modified condition/decision coverage (MC/DC) for such programs is often inadequate. We propose an improved DCT approach that reduces the computational time and simultaneously enhanced the MC/DC. We have named our approach SMCDCT (scalable MC/DC percentage calculator using DCT). Our experimental study on forty‐five C programs indicates 6.62% of average increase in MC/DC coverage. Copyright © 2016 John Wiley & Sons, Ltd.

[1]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[2]  Durga Prasad Mohapatra,et al.  SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing , 2015, ICDCIT.

[3]  G. S. Prashanth,et al.  Increase in Modified Condition/Decision Coverage using program code transformer , 2013, 2013 3rd IEEE International Advance Computing Conference (IACC).

[4]  Kunal Taneja,et al.  RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications , 2016, Softw. Pract. Exp..

[5]  Koushik Sen,et al.  Heuristics for Scalable Dynamic Test Generation , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[6]  A. Jefferson Offutt,et al.  Coverage criteria for logical expressions , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

[7]  Steven P. Miller,et al.  Applicability of modified condition/decision coverage to software testing , 1994, Softw. Eng. J..

[8]  Xiang Li,et al.  Assuring the model evolution of protocol software specifications by regression testing process improvement , 2011, Softw. Pract. Exp..

[9]  Nikolai Tillmann,et al.  Guided test generation for coverage criteria , 2010, 2010 IEEE International Conference on Software Maintenance.

[10]  Giuliano Antoniol,et al.  MC/DC automatic test input data generation , 2009, GECCO '09.

[11]  Prasad Bokil,et al.  Automatic Test Data Generation for C Programs , 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

[12]  S. Godboley,et al.  Enhanced modified condition/decision coverage using exclusive-nor code transformer , 2013, 2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s).

[13]  Moonzoo Kim,et al.  Automated unit testing of large industrial embedded software using concolic testing , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[14]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[15]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[16]  Moonzoo Kim,et al.  SCORE: a scalable concolic testing tool for reliable embedded software , 2011, ESEC/FSE '11.

[17]  William R. Bush,et al.  A static analyzer for finding dynamic programming errors , 2000, Softw. Pract. Exp..

[18]  Rupak Majumdar,et al.  Hybrid Concolic Testing , 2007, 29th International Conference on Software Engineering (ICSE'07).

[19]  Sangharatna Godboley.  Improved Modified Condition/ Decision Coverage using Code Transformation Techniques , 2013 .

[20]  Yannis Smaragdakis,et al.  JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..

[21]  Moonzoo Kim,et al.  Industrial Application of Concolic Testing on Embedded Software: Case Studies , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[22]  J Hayhurst Kelly,et al.  A Practical Tutorial on Modified Condition/Decision Coverage , 2001 .

[23]  Gregg Rothermel,et al.  A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[24]  Avijit Das,et al.  AUTOMATIC GENERATION OF MC/DC TEST DATA , 2013 .

[25]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[26]  Moonzoo Kim,et al.  Concolic testing of the multi-sector read operation for flash storage platform software , 2012, Formal Aspects of Computing.