Modified condition/decision coverage: Difference between revisions

Revision as of 13:18, 5 May 2014

Revision as of 12:00, 18 June 2014

Line 1:

ToThe satisfy'''modified thecondition/decision coverage''' ('''MC/DC''') is a [[code coverage]] criterion, duringthat testingrequires all of the below must beduring true at least oncetesting:<ref>{{cite journal | title = A Practical Tutorial on Modified Condition/ Decision Coverage |date=May 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>

The most critical (Level A) software, which is defined as that which could '''provide (or prevent failure of)''' continued safe flight and landing of an aircraft, must satisfy a level of [[code coverage|coverage]] called '''modified 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 |date=May 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>

*Each decision tries every possible outcome

Line 9 ⟶ 7:

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

TheMC/DC is used in the standard [[DO-178B]] to ensure that the most critical (Level A) [[software]], which is defined as that which could '''provide (or prevent failure of)''' continued safe flight and landing of an aircraft, must satisfy a level of [[code coverage|coverage]] called '''modified condition/decision coverage''' (MC/DC). It is used in the standard [[DO-178B]] to ensure that Level A [[software]] is [[Software testing|tested]] adequately.

==Criticism==