The embedded software is tested in the target environment (hardware-in-the-loop, electronic control unit network, vehicle) to demonstrate that it fulfils the software safety requirements in the target environment, with test cases derived from requirements, equivalence classes and boundary values and the test environment representative of the target; the software compliance book restates the target-environment testing requirement. Its aims, per the SGS quotation, are evidence that the embedded software meets its safety-related requirements in the target environment and contains no unwanted functions or properties; the audited activities are the test environments, test case derivation and the testing itself. Requirement text not held.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.