다중 조건 커버리지 기반의 논리식 동등성 검사기 개발

초록

Modified Condition/Decision Coverage(MC/DC) is a widely adopted criterion in safety-critical systems, offering a more efficient alternative to Multiple Condition Coverage(MCC). However, existing research on MC/DC test generation has primarily prioritized algorithmic efficiency, often overlooking the reliability of the prerequisite boolean preprocessing step. This implicit assumption of reliability poses a significant risk, as errors during preprocessing can result in the testing of logically non-equivalent expressions. To ensure the integrity of the preprocessing phase, this paper proposes an MCC-based logical equivalence checker. This tool verifies equivalence sequentially at each step by comparing outcomes across all MCC combinations, thereby covering the complete truth table. If a discrepancy is detected, the tool identifies the initial failing stage and provides a corresponding counterexample. By guaranteeing the correctness of the logical expression preprocessing, this research contributes to enhancing the overall reliability of MC/DC testing.

키워드