Skip to main content

Table 2 Example MC/DC-Test Set

From: Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation

Test case A B C \( A \& \& (B || C)\)
\(\bar{1}\) F F F F
\(\bar{2}\) F F T F
\(\bar{3}\) F T F F
\(\bar{4}\) F T T F
\(\bar{5}\) T F F F
\(\bar{6}\) T F T T
\(\bar{7}\) T T F T
\(\bar{8}\) T T T T