Modified condition/decision coverage: Difference between revisions

Content deleted Content added
m correct a reference to ISO 26262
Line 8:
Independence of a condition is shown by proving that only one condition changes at a time.
 
MC/DC is used in avionics software development guidance [[DO-178B]] and [[DO-178C]] to ensure adequate [[Software testing|testing]] of the most critical (Level A) [[software]], which is defined as that software which could ''provide (or prevent failure of)'' continued safe flight and landing of an aircraft. It is also highly recommended for SIL 4 in part 3 Annex B of the basic safety publication<ref>IEC 61508-3:2010</ref> and ASIL D in part 6 of automotive standard [[ISO 26262]].<ref>ISO 26262-20162011 Part 6 Table 1112</ref>
 
==Definitions==