From e19c87e68c2627482ffd1cf65ef5e3f574511bbf Mon Sep 17 00:00:00 2001 From: YannGarcia Date: Fri, 13 Mar 2020 15:19:52 +0100 Subject: [PATCH] Add TC_RCA_CTLGEN_01_BV --- ttcn/AtsPki/ItsPki_TestCases.ttcn | 212 ++++++++++++++++++++++-------- ttcn/LibIts | 2 +- 2 files changed, 159 insertions(+), 55 deletions(-) diff --git a/ttcn/AtsPki/ItsPki_TestCases.ttcn b/ttcn/AtsPki/ItsPki_TestCases.ttcn index e067f2d29..e8e39c4ec 100644 --- a/ttcn/AtsPki/ItsPki_TestCases.ttcn +++ b/ttcn/AtsPki/ItsPki_TestCases.ttcn @@ -26,6 +26,7 @@ module ItsPki_TestCases { import from EtsiTs102941TypesAuthorization language "ASN.1:1997" all; import from EtsiTs102941TypesAuthorizationValidation language "ASN.1:1997" all; import from EtsiTs102941MessagesCa language "ASN.1:1997" all; + import from EtsiTs102941TrustLists language "ASN.1:1997" all; import from EtsiTs103097Module language "ASN.1:1997" all; import from ITS_Container language "ASN.1:1997" all; import from CAM_PDU_Descriptions language "ASN.1:1997" all; @@ -334,7 +335,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_01_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_01_BV * @reference ETSI TS 102 941 [2], clause 6.1.3 */ testcase TC_SECPKI_ITSS_ENR_01_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -508,7 +509,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_02_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_02_BV * @reference ETSI TS 102 941, clause 6.1.3 */ testcase TC_SECPKI_ITSS_ENR_02_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -567,7 +568,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_03_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_03_BV * @reference ETSI TS 102 941, clause 6.1.3 */ testcase TC_SECPKI_ITSS_ENR_03_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -735,7 +736,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_04_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_04_BV * @reference ETSI TS 102 941, clause 6.1.3, 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_04_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -779,7 +780,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_05_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_05_BV * @reference ETSI TS 102 941, clause 6.1.3, 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_05_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -825,7 +826,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_06_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_06_BV * @reference ETSI TS 102 941, clause 6.1.3 */ testcase TC_SECPKI_ITSS_ENR_06_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1040,7 +1041,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_07_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_07_BV * @reference ETSI TS 102 941, clause 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_07_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1101,7 +1102,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_08_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_08_BV * @reference ETSI TS 102 941, clause 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_08_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1157,7 +1158,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_09_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_09_BV * @reference ETSI TS 102 941, clause 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_09_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1215,7 +1216,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_10_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_10_BV * @reference ETSI TS 102 941, clause 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_10_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1271,7 +1272,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_11_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_11_BV * @reference ETSI TS 102 941, clause 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_11_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1328,7 +1329,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_12_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_12_BV * @reference ETSI TS 102 941, clause 6.1.3, 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_12_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1378,7 +1379,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_RECV_01_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_RECV_01_BV * @reference ETSI TS 102 941, clause 6.1.3, 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_RECV_01_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1563,7 +1564,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_ENR_RECV_02_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_ENR_RECV_02_BV * @reference ETSI TS 102 941, clause 6.1.3, 6.2.3.2.1 */ testcase TC_SECPKI_ITSS_ENR_RECV_02_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1746,7 +1747,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_AUTH_01_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_AUTH_01_BV * @reference ETSI TS 102 941 [2], clause 6.2.3.3.0 */ testcase TC_SECPKI_ITSS_AUTH_01_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1934,7 +1935,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_AUTH_02_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_AUTH_02_BV * @reference ETSI TS 102 941 [2], clause 6.2.3.3.1 */ testcase TC_SECPKI_ITSS_AUTH_02_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -1989,7 +1990,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_AUTH_03_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_AUTH_03_BV * @reference ETSI TS 102 941 [2], clause 6.2.3.3.1 */ testcase TC_SECPKI_ITSS_AUTH_03_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -2044,7 +2045,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_AUTH_04_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_AUTH_04_BV * @reference ETSI TS 102 941 [2], clause 6.2.3.3.1 */ testcase TC_SECPKI_ITSS_AUTH_04_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -2264,7 +2265,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_ITSS_AUTH_05_BV + * @see ETSI TS 103 525-2 SECPKI_ITSS_AUTH_05_BV * @reference ETSI TS 102 941 [2], clause 6.2.3.3.1 */ testcase TC_SECPKI_ITSS_AUTH_05_BV() runs on ItsMtc system ItsPkiHttpSystem { @@ -2339,7 +2340,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_RCV_01_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_RCV_01_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_RCV_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -2462,7 +2463,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_RCV_02_BI + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_RCV_02_BI * @reference ETSI TS 102 941, clause B.5 */ testcase TC_SECPKI_EA_ENR_RCV_02_BI_01() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -3544,7 +3545,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_01_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_01_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -3656,7 +3657,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP 22 + * @see ETSI TS 103 525-2 TP 22 * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_02_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -3770,7 +3771,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_03_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_03_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_03_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -3889,7 +3890,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_04_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_04_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_04_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4005,7 +4006,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_05_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_05_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_05_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4120,7 +4121,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_06_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_06_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_06_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4235,7 +4236,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_07_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_07_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_07_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4346,7 +4347,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_08_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_08_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_08_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4455,7 +4456,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_09_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_09_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_09_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4569,7 +4570,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_10_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_10_BV * @reference ETSI TS 102 941, clause 6.2.3.2.2 */ testcase TC_SECPKI_EA_ENR_10_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4685,7 +4686,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_11_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_11_BV * @reference ETSI TS 102 941, clause B[5] */ testcase TC_SECPKI_EA_ENR_11_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -4811,7 +4812,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_ENR_12_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_ENR_12_BV * @reference ETSI TS 102 941, clause B[5] */ testcase TC_SECPKI_EA_ENR_12_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5059,7 +5060,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_RCV_01_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_RCV_01_BV * @reference ETSI TS 102 941, clause 6.2.3.4 */ testcase TC_SECPKI_EA_AUTHVAL_RCV_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5195,7 +5196,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_RCV_02_BI + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_RCV_02_BI * @reference ETSI TS 102 941, clause B[5] */ testcase TC_SECPKI_EA_AUTHVAL_RCV_02_BI() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5346,7 +5347,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_01_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_01_BV * @reference ETSI TS 102 941, clause 6.2.3.4.2 */ testcase TC_SECPKI_EA_AUTHVAL_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5480,7 +5481,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_02_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_02_BV * @reference ETSI TS 102 941, clause 6.2.3.4.2 */ testcase TC_SECPKI_EA_AUTHVAL_02_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5619,7 +5620,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_03_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_03_BV * @reference ETSI TS 102 941, clause 6.2.3.4.2 */ testcase TC_SECPKI_EA_AUTHVAL_03_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5758,7 +5759,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_04_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_04_BV * @reference ETSI TS 102 941, clause 6.2.3.4.2 */ testcase TC_SECPKI_EA_AUTHVAL_04_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -5895,7 +5896,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_05_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_05_BV * @reference ETSI TS 102 941, clause 6.2.3.4.2 */ testcase TC_SECPKI_EA_AUTHVAL_05_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -6029,7 +6030,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 TP SECPKI_EA_AUTHVAL_06_BV + * @see ETSI TS 103 525-2 TP SECPKI_EA_AUTHVAL_06_BV * @reference ETSI TS 102 941, clause 6.2.3.4.2 */ testcase TC_SECPKI_EA_AUTHVAL_06_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -6277,7 +6278,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_01_BV + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_01_BV * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -6439,7 +6440,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_02_BV + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_02_BV * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_02_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -6583,7 +6584,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_03_BI + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_03_BI * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_03_BI() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -6723,7 +6724,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_04_BI + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_04_BI * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_04_BI() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -6858,7 +6859,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_05_BI + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_05_BI * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_05_BI() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -7006,7 +7007,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_06_BI + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_06_BI * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_06_BI() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -7161,7 +7162,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTH_RCV_07_BI + * @see ETSI TS 103 525-2 SECPKI_AA_AUTH_RCV_07_BI * @reference ETSI TS 102 941, clause 6.2.3.3.1 */ testcase TC_SECPKI_AA_AUTH_RCV_07_BI() runs on ItsPkiHttp system ItsPkiHttpSystem { @@ -8439,7 +8440,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTHVAL_01_BV + * @see ETSI TS 103 525-2 SECPKI_AA_AUTHVAL_01_BV * @reference ETSI TS 102 941, clause 6.2.3.3.2 */ testcase TC_SECPKI_AA_AUTHVAL_01_BV() runs on ServerSyncComp system ItsPkiHttpSystem { @@ -8697,7 +8698,7 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTHVAL_RCV_01_BV + * @see ETSI TS 103 525-2 SECPKI_AA_AUTHVAL_RCV_01_BV * @reference ETSI TS 102 941, clause 6.2.3.3.2 */ testcase TC_SECPKI_AA_AUTHVAL_RCV_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem {/* @@ -8889,13 +8890,116 @@ module ItsPki_TestCases { * } * * - * @see ETSI TS 103 525-2 v0.0.10 SECPKI_AA_AUTHVAL_RCV_02_BI + * @see ETSI TS 103 525-2 SECPKI_AA_AUTHVAL_RCV_02_BI * @reference ETSI TS 102 941, clause 6.2.3.3.2 */ testcase TC_SECPKI_AA_AUTHVAL_RCV_02_BI() runs on ItsPkiHttp system ItsPkiHttpSystem {} // End of testcase TC_SECPKI_AA_AUTHVAL_RCV_02_BI - + } // End of group authorization_validation_response - + } // End of group aa_beavior - + + group ca_behavior { + + /** + * @desc Check that the RootCA generates the Full CTL when new EA is about to be added to the Root CTL + * 
+       * Pics Selection: PICS_IUT_CA_ROLE
+       * Initial conditions: 
+       *     }
+       * Expected behaviour:
+       *     ensure that {
+       *         when {
+       *             the RootCA is triggered to add new EA certificate (CERT_EA) in the CTL
+       *         }
+       *         then {
+       *             the IUT issue a new CTL of type CtlFormat
+       *                 containing isFullCtl
+       *                     indicating TRUE
+       *                 and containing ctlCommands
+       *                     containing CtlCommand
+       *                         containing add
+       *                             containing ea
+       *                                 containing eaCertificate
+       *                                     indicating CERT_EA
+       *         }
+       *     }
+       *
+ * + * @see ETSI TS 103 525-2 TP RCA_CTLGEN_01_BV + * @reference ETSI TS 102 941, clause 6.3.2 and 6.3.4 + */ + testcase TC_RCA_CTLGEN_01_BV() runs on ItsPkiHttp system ItsPkiHttpSystem { + // Local variables + var HeaderLines v_headers; + var HttpMessage v_response; + + // Test control + if (not PICS_IUT_CA_ROLE) { + log("*** " & testcasename() & ": PICS_IUT_CA_ROLE required for executing the TC ***"); + setverdict(inconc); + stop; + } + + // Test component configuration + f_cfHttpUp_ca(); + + // Test adapter configuration + + // Preamble + f_init_default_headers_list(-, "ca_request", v_headers); + action("The RootCA is triggered to add new EA certificate (CERT_EA) in the CTL"); + f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); + + // Test Body + f_http_send( + v_headers, + m_http_request( + m_http_request_get( + PICS_HTTP_GET_URI_CTL, + v_headers + ))); + tc_ac.start; + alt { + [] httpCaPort.receive( + mw_http_response( + mw_http_response_ok( + mw_http_message_body_binary( + mw_binary_body_ieee1609dot2_data( + mw_etsiTs103097Data_signed( + mw_signedData( + -, + mw_toBeSignedData( mw_signedDataPayload ), + mw_signerIdentifier_digest + ))))))) -> value v_response { + var ToBeSignedRcaCtl v_to_be_signed_rca_ctl; + + tc_ac.stop; + + if (f_verify_rca_response_message(v_response.response.body.binary_body.ieee1609dot2_data, true, v_to_be_signed_rca_ctl) == false) { + log("*** " & testcasename() & ": FAIL: Failed to verify RCA message ***"); + f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error); + } else { + if (f_verify_full_ctl(v_to_be_signed_rca_ctl) == true) { + log("*** " & testcasename() & ": PASS: ToBeSignedRcaCtl received ***"); + f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); + } else { + log("*** " & testcasename() & ": FAIL: Receive unexpected message ***"); + f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error); + } + } + } + [] tc_ac.timeout { + log("*** " & testcasename() & ": INCONC: Expected message not received ***"); + f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout); + } + } // End of 'alt' statement + + // Postamble + f_cfHttpDown_ca(); + + } // End of testcase TC_RCA_CTLGEN_01_BV + + } // End of group ca_behavior + } // End of module ItsPki_TestCases diff --git a/ttcn/LibIts b/ttcn/LibIts index 9ee2927d0..6e0111d02 160000 --- a/ttcn/LibIts +++ b/ttcn/LibIts @@ -1 +1 @@ -Subproject commit 9ee2927d05591ca6f2fee4aff7b87605fe5e10f7 +Subproject commit 6e0111d02cdab632db6ac26074214f15b57e395b -- GitLab