Normal-range tests at the low level show the executable object code satisfies the low-level requirements. Table A-6 objective 3, described in 6.4.c; applies at levels A, B, C, independence required at levels A, B; 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. Low-level testing develops cases from the low-level requirements, implements them as procedures, exercises the components and checks the results.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.