The verification log shall explicitly detail the verification activities as well documenting the rationale for those activities. Some of the key considerations that should be included in the verification log are given below.
Details of the test cases shall be provided along with the required result for that test case. A justification for the sufficiency of the coverage that the test cases provide shall be included in the verification log. For AS the coverage should in particular consider:
Details of the test environment shall be included in the verification log. A justification shall also be provided that the test environment is sufficiently representative of the real operating domain of the AS. This justification is required in order to provide confidence that the results obtained for the test cases for the AS in operation would match the results observed in the test environment.
The formal properties shall be specified in the verification log along with the rationale for the specification and a justification that the specified properties are equivalent to the relevant safety requirements. The formal models that are used for verification shall be documented in the verification log along with a justification for all assumptions and abstractions made in the model, both with respect to the AS itself, and with respect to the operating environment.