Add to ORKGThis tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software products that must comply with regulatory guidance for DO-178B level A software. The tutorial's approach to MC/DC is a 5-step process that allows a certification authority or verification analyst to evaluate MC/DC claims without the aid of a coverage tool. In addition to the MC/DC approach, the tutorial addresses factors to consider in selecting and qualifying a structural coverage analysis tool, tips for reviewing life cycle data related to MC/DC, and pitfalls common to structural coverage analysis
Structural testing is often the most common sought criteria for exercising aspects of control flow (...
MC/DC testing is recommended by the RTCA DO-178B for the development of avionics software. Many test...
Test coverage refers to the extent to which a given software verification activity satisfies its obj...
Testing of software intended for safety-critical applications in commercial transport aircraft must ...
2001Final ReportPDFTech ReportDOT/FAA/AR-01/18Reliability (Statistics)AircraftCertificationFlight te...
NOTE: This position paper has been coordinated among the software specialists of certification auth...
Modified Condition/Decision Coverage (MC/DC) is a structural coverage criterion widely used in testi...
Abstract—Software testing is particularly expensive for developers of high-assurance software, such ...
Associated research group: Critical Systems Research GroupIn many critical systems domains, test sui...
In the early 1990s , the Modi ed Condition/Decision Coverage (MC/DC) criterion was suggested as a s...
International audienceThis paper presents formal results derived from the COUVERTURE project, whose ...
Abstract—In many critical systems domains, test suite ade-quacy is currently measured using structur...
In order to be certified by the FAA, airborne software must comply with the DO-178B standard. For th...
Software Verification is a discipline of Software Engineering which aims at assuring that the softwa...
Modified Condition / Decision Coverage (MC / DC) is a white box testing criteria aiming to prove tha...
Structural testing is often the most common sought criteria for exercising aspects of control flow (...
MC/DC testing is recommended by the RTCA DO-178B for the development of avionics software. Many test...
Test coverage refers to the extent to which a given software verification activity satisfies its obj...
Testing of software intended for safety-critical applications in commercial transport aircraft must ...
2001Final ReportPDFTech ReportDOT/FAA/AR-01/18Reliability (Statistics)AircraftCertificationFlight te...
NOTE: This position paper has been coordinated among the software specialists of certification auth...
Modified Condition/Decision Coverage (MC/DC) is a structural coverage criterion widely used in testi...
Abstract—Software testing is particularly expensive for developers of high-assurance software, such ...
Associated research group: Critical Systems Research GroupIn many critical systems domains, test sui...
In the early 1990s , the Modi ed Condition/Decision Coverage (MC/DC) criterion was suggested as a s...
International audienceThis paper presents formal results derived from the COUVERTURE project, whose ...
Abstract—In many critical systems domains, test suite ade-quacy is currently measured using structur...
In order to be certified by the FAA, airborne software must comply with the DO-178B standard. For th...
Software Verification is a discipline of Software Engineering which aims at assuring that the softwa...
Modified Condition / Decision Coverage (MC / DC) is a white box testing criteria aiming to prove tha...
Structural testing is often the most common sought criteria for exercising aspects of control flow (...
MC/DC testing is recommended by the RTCA DO-178B for the development of avionics software. Many test...
Test coverage refers to the extent to which a given software verification activity satisfies its obj...