DO-178C / ED-12C - Software Considerations in Airborne Systems
Table A-7: Verification of verification process results – DO-178C / ED-12C - Software Considerations in Airborne Systems

DO-178C / ED-12C - Software Considerations in Airborne Systems A-7.5: Structural coverage by modified condition/decision coverage (level A)

Structural coverage analysis of the requirements-based tests reaches modified condition/decision coverage, each condition shown to affect its decision's outcome independently. Table A-7 objective 5, described in 6.4.4.c; applies at level A, independence required at level A; activities 6.4.4.2 (items a, b and d) and 6.4.4.3; outputs Software Verification Results. Only requirements-based tests count (6.4.4.1.d); the analysis may be run on source, object or executable code; the revised definition admits masking MC/DC; uncovered code is resolved as a test or requirement gap, extraneous code or deactivated code.

Maintained by Gerard BlokdykControl text last updated

Other controls in Table A-7: Verification of verification process results – DO-178C / ED-12C - Software Considerations in Airborne Systems

Query this from an agent

The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.