Automated Tool for Revising Masking MC/DC Test Suite

Abstract

Modified Condition and Decision Coverage (MC/DC) is a software testing criterion to check code coverage. It can be divided into a unique-cause MC/DC and masking MC/DC, according to the level of acceptance in concepts. Although masking MC/DC is used in many applications, in our study we found undetectable cases utilizing Masking MC/DC test suites that could be detected using stricter unique-cause MC/DC. To ensure the strictness of MC/DC criterion, herein we propose an automated tool that revises the masking MC/DC test suite into a unique-cause MC/DC.