Modified condition/decision coverage: Difference between revisions

Revision as of 06:24, 16 November 2011

Revision as of 05:10, 2 January 2012

Line 15:

;Condition: A condition is a leaf-level [[Boolean algebra (logic)|Boolean]] [[Expression (programming)|expression]] (it cannot be broken down into a simpler Boolean expression).

;Decision: A Boolean expression composed of conditions and zero or more Boolean operators. A decision without a Boolean operator is a condition.

;Condition coverage: Every condition in a decision in the program has taken all possible outcomes at least once.

Line 24:

;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 on 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]]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.

[[Category:Software testing]]

{{Comp-sci-stub}}

[[fr:MC/DC]]

[[nl:Semantische_test]]

== External links ==

* [http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/cast/cast_papers/media/cast-10.pdf What is a "Decision" in Application of Modified Condition/Decision Coverage (MC/DC) and Decision Coverage (DC)?]

* [http://www.tc.faa.gov/its/worldpac/techrpt/ar01-18.pdf An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion]

Line 38 ⟶ 31:

== References ==

<references/>

[[Category:Software testing]]

{{Comp-sci-stub}}

[[fr:MC/DC]]

[[nl:Semantische test]]