Modified condition/decision coverage: Difference between revisions

Revision as of 22:35, 15 October 2008

Revision as of 22:37, 15 October 2008

Line 1:

{{Wikify|date=September 2008}}

'''MC/DC''' or '''Modified Condition/Decision Coverage''' (MC/DC), is used in the standard [[DO-178B]] to ensure that Level A (Catastrophic) software is tested adequately.

It is a form of exhaustive testing, in that during testing all of the below must be true at least once:

Line 14:

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

===Definitions===

;Condition: A condition is a leaf-level Boolean expression (it cannot be broken down into a simpler Boolean expression).