Premium
An improved distributed concolic testing approach
Author(s) -
Godboley Sangharatna,
Mohapatra Durga Prasad,
Das Avijit,
Mall Rajib
Publication year - 2017
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.2405
Subject(s) - discrete cosine transform , concolic testing , scalability , calculator , computer science , algorithm , computer engineering , artificial intelligence , software , programming language , database , image (mathematics) , operating system , symbolic execution
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.