AUTOMATIC GENERATION OF MC/DC TEST DATA

摘要

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.