Automatic MCDC Test Case Generation Tool

Modified Condition/Decision Coverage (MC/DC) is a code coverage approach, necessary as per DO-178C guidelines to ensure that Level A (Catastrophic) software is tested adequately.

To satisfy the MC/DC coverage criterion, during testing all of the below must be true at least once[1]:

* Each decision tries every possible outcome
* Each condition in a decision takes on every possible outcome
* Each entry and exit point is invoked
* Each condition in a decision is shown to independently affect the outcome of the decision.

Tool is available commercially with added features. Visit 

MCDC Tool

Independence of a condition is shown by proving that only one condition changes at a time.

The most critical (Level A) software, which is defined as that which could prevent continued safe flight and landing of an aircraft, must satisfy a level of coverage called Modified Condition/Decision Coverage (MC/DC).

This MCDC Tool generates MC/DC test cases from input condition. Below is the illustration of the tool functionality:

Eaxmple 1: Boolean Expression: (A and B) or C













Example 2: Boolean Expression: (A or B) and (not(A) or C)) (coupled conditions)

For coupled conditions each condition is treated as different input and test case is generated such that impact on output is just because of one input.

Note: The input expression needs to be non-reducible form. 

Tool is available commercially with added features. Visit  

MCDC Tool