Content deleted Content added
Citation bot (talk | contribs) Altered template type. | Use this bot. Report bugs. | Suggested by Superegz | Category:Accuracy disputes from January 2018 | #UCB_Category 22/43 |
Jnestorius (talk | contribs) |
||
| (One intermediate revision by one other user not shown) | |||
Line 15:
Additionally, NASA requires 100% MC/DC coverage for any safety critical software component in Section 3.7.4 of NPR 7150.2D.<ref>{{cite web |title = NASA Software Engineering Requirements |url=https://nodis3.gsfc.nasa.gov/displayDir.cfm?t=NPR&c=7150&s=2D |publisher=NASA}}</ref>
European Space Agency requires MC/DC coverage for Criticality Category A per ECSS-E-ST-40C Rev. 1 <ref>{{cite web |title = European Cooperation for Space Standardization - Space Engineering Software |url=https://ecss.nl/standard/ecss-e-st-40c-rev-1-software-30-april-2025|publisher=ECSS}}</ref>
==Definitions==
Line 22 ⟶ 24:
;Decision coverage: Every point of entry and exit in the program has been invoked at least once, and every decision in the program has taken all possible outcomes at least once.
;Condition/decision coverage: Every point of entry and exit in the program has been invoked at least once, every condition in a decision in the program has taken all possible outcomes at least once, and every decision in the program has taken all possible outcomes at least once.
;Modified condition/decision coverage: Every point of entry and exit in the program has been invoked at least once, every condition in a decision in the program has taken all possible outcomes at least once, and each condition has been shown to affect that decision outcome independently. A condition is shown to affect a decision's outcome independently by varying just that condition while holding fixed all other possible conditions. The condition/decision criterion does not guarantee the coverage of all conditions in the module because in many [[test case (software)|test case]]s, some conditions of a decision are masked by the other conditions. Using the modified condition/decision criterion, each condition must be shown to be able to act on the decision outcome by itself, everything else being held fixed. The MC/DC criterion is thus much stronger than the condition/decision coverage.
==Criticism==
| |||