Test Traces to Requirement

error

test_traces_to_requirement

software-assurance structural scoped_temporal software-assurancedo-178cavionicstestingrag-reddal-A-D

Every test case traces to the requirement it verifies (bidirectional requirements-to-test traceability).

Formula

G(Test → P_chain(HLR))

Why it matters

DO-178C Table A-7 obj 1-2: test cases trace to requirements and requirements trace to test cases, ensuring complete coverage of requirements by tests.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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