An improved distributed concolic testing approach. (26th May 2016)

• Record Type: Journal Article
• Authors: Godboley, Sangharatna; Mohapatra, Durga Prasad; Das, Avijit; Mall, Rajib
• Is Part Of: Software, practice & experience. Volume 47:Number 2(2017)
• Page Start: 311
• Page End: 342
• Publication Date: 2016-05-26
• Subjects: MC/DC -- concolic testing -- distributed concolic testing -- code transformation -- Coverage Analyser; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2405
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: 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.