Modified condition/decision coverage: Difference between revisions

Content deleted Content added
Jzandin (talk | contribs)
Added links.
Line 11:
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 [[Safety integrity level|SIL]] 4 in part 3 Annex B of the basic safety publication<ref>IEC 61508-3:2010</ref> and [[Automotive Safety Integrity Level|ASIL]] D in part 6 of automotive standard [[ISO 26262]].<ref>ISO 26262-2011 Part 6 Table 12</ref>
 
==Definitions==