Modified condition/decision coverage: Difference between revisions

Revision as of 16:33, 19 April 2012

Revision as of 07:52, 11 October 2012

Line 1:

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 [[code coverage|coverage]] called '''Modifiedmodified condition/decision coverage''' (MC/DC),. It is used in the standard [[DO-178B]] to ensure that Level A [[software]] is [[Software testing|tested]] adequately.

To satisfy the MC/DC coverage criterion, during testing all of the below must be true at least once<ref>{{cite journal | title = A Practical Tutorial on Modified Condition/ Decision Coverage | month = May | year = 2001 | journal = NASA | last1 = Hayhurst | first1 = Kelly | last2 = Veerhusen | first2 = Dan | last3 = Chilenski | first3 = John | last4 = Rierson | first4 = Leanna | url = http://shemesh.larc.nasa.gov/fm/papers/Hayhurst-2001-tm210876-MCDC.pdf}}</ref>:

Line 9:

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 [[code coverage|coverage]] called ''modified condition/decision coverage'' (MC/DC).

==Definitions==