Normal-range requirements-based tests on the executable object code show it satisfies the high-level requirements, with trace data between requirements, test cases, procedures and results. Table A-6 objective 1, described in 6.4.a; applies at levels A, B, C, D, no independence required; activities 6.4.2, 6.4.2.1, 6.4.3, 6.5; outputs: Trace Data, Software Verification Results, and Software Verification Cases and Procedures. All tests, normal and robustness, are requirements-based; the purpose of verification trace data (6.5, new) is requirements coverage analysis and proof that every procedure ran.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.