Avijit Das and Rajib Mall
Automated test data generation, MC/DC, Concolic testing, code transformation, Boolean logic
Though modified condition/decision coverage (MC/DC) is a well accepted and standard test coverage criterion, existing automated test generation approaches do not achieve MC/DC coverage. To address this issue, we present an automated approach to achieve increased MC/DC coverage for a program under test. We use a code transformation technique that drives a Concolic tester to generate test data for achieving increased MC/DC coverage. Our experimental results show that our approach helps to increase MC/DC coverage by approximately 20.7% as compared to pure Concolic testing.
Important Links:
Go Back
