Software Considerations in Airborne Systems and Equipment Certification¶
RTCA, I. Software Considerations in Airborne Systems and Equipment Certification.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Test Coverage Link
- High structural code coverage — even a rigorous criterion like MC/DC, which requires each condition in a decision to independently affect the outcome — proves the code was exercised, not that it does what the requirement demanded
This sourceDO-178C. RTCA, Inc. (2011). Defines MC/DC through each condition's independent effect and distinguishes structural exercise from requirements-based verification.
- High structural code coverage — even a rigorous criterion like MC/DC, which requires each condition in a decision to independently affect the outcome — proves the code was exercised, not that it does what the requirement demanded
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:c44bdbb187e2 · see in the full table