Generate MC/DC Test

VectorCAST/MCDC™ - Vector Software Inc.

Modified Condition / Decision Coverage (MC/DC) provides two levels of verification for conditional expressions. The first level, named MC/DC Branches, tracks each subcondition in an expression to verify that is has been tested with both True and False values. The second level, named Equivalence Pairs, verifies if each subcondition can affect the value of the condition. This is done by generating a truth table for the expression, and then finding a pair of rows in the table that will generate a different result when all values except the tested value remain constant.