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.6: Structural coverage by decision coverage (levels A and B)

Structural coverage analysis of the requirements-based tests shows every decision has taken every outcome and every entry and exit point has been invoked. Table A-7 objective 6, described in 6.4.4.c; applies at levels A, B, independence required at levels A, B; activities 6.4.4.2 (items a, b and d) and 6.4.4.3; outputs Software Verification Results.

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.