@@ -742,6 +742,8 @@ The following parameters are used by the oneM2M ATS for the correct execution of
...
@@ -742,6 +742,8 @@ The following parameters are used by the oneM2M ATS for the correct execution of
# 8 TTCN-3 Verifications
# 8 TTCN-3 Verifications
The principles for Verifying the TTCN-3 test code are given in oneM2M TS-0015 [i.2].
The principles for Verifying the TTCN-3 test code are given in oneM2M TS-0015 [i.2].
Adding a new change
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.
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.
# <br/>Annex A (normative):<br/>TTCN-3 library modules
# <br/>Annex A (normative):<br/>TTCN-3 library modules
