Traceable Testing Example

requirements.yaml demonstrates stable requirement identifiers, and latest-report.md demonstrates linking execution results back to requirements. They use tutorial 2’s public DBC and five hardware-captured frames.

Every source points to the bundled DBC or test-policy.md, and all six requirements have expected values. AI generates checks from this teaching YAML; the report lists individual outcomes and coverage.

Download companion examples (ZIP) · Return to the series contents