Assertion: decision coverage | /r/HasProperty | mc/dc
Facets:
Source sentences:
text: However, for safety-critical applications (e.g., for avionics software) it is often required that modified condition/decision coverage (MC/DC) be satisfied.
text: Statement, Branch/Decision, Modified Condition/Decision Coverage (MC/DC), LCSAJ (Linear Code Sequence and Jump)
text: Modified condition/decision coverage (MC/DC) is a code coverage criterion used in software testing.
text: As it is not concerned with the implementation details of the functions the coverage of the units by themselves needs to measured with metrics like Decision (or Branch) Coverage or even better Modified Condition/Decision Coverage (MC/DC).