Content deleted Content added
Not stub anymore |
m changed the obvious typo use of the word 'prevent' to either 'provide' or 'prevent failure of' |
||
Line 1:
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>
| |||