← Policy gallery

tests_requirements_based

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

Test cases are requirements-based, exercising the software against its requirements (normal and robustness).

Formula

G(Test → requirements_based)

Why it matters

DO-178C Table A-6: test cases and procedures are developed from the high- and low-level requirements; testing is requirements-based.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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