Structural Coverage Achieved

error

structural_coverage_achieved

software-assurance safety pure_temporal software-assurancedo-178cavionicstestingrag-reddal-A-C

Structural coverage analysis confirms the achieved coverage appropriate to the DAL (MC/DC at A, decision at B, statement at C).

Formula

G(CoverageAnalysis → coverage_achieved)

Why it matters

DO-178C Table A-7 obj 5-8: structural coverage is analysed — modified condition/decision coverage at DAL A, decision coverage at B, statement coverage at C. No structural coverage objective at DAL D.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

ponens policies add structural_coverage_achieved --into ./trace.json
ponens trace check ./trace.json