8 TTCN-3 Verifications

The principles for Verifying the TTCN-3 test code are given in oneM2M TS-0015 [i.2].

All test cases provided with the present document in annex A which correspond to at least one of the product profiles defined in oneM2M TS-0025 [i.3] have been verified at the time of publication of the present document which corresponds with the TTCN-3 code gitlab tag provided in annex A.