Loading ItsPki_TestCases.ttcn +64 −30 Original line number Diff line number Diff line Loading @@ -5977,16 +5977,19 @@ module ItsPki_TestCases { } // End of group itss_ctl_distribution // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.2.6 CRL handling group itss_crl_handling { // TODO To be done after validation of itss_ctl_handling group as CTL and CRL are close } // End of group itss_crl_handling // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.2.7 CRL distribution group itss_crl_distribution { // TODO To be done after validation of itss_ctl_distribution group as CTL and CRL are close } // End of group itss_crl_distribution } // End of group itss_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.3.1 Certificate validation group ca_behaviour { /** Loading Loading @@ -7668,7 +7671,8 @@ module ItsPki_TestCases { } // End of group ea_helpers group enrolment_request_handling { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.1 Enrollment request handling group ea_enrolment_request_handling { /** * @desc The EnrolmentResponse message shall be sent by the EA to the ITS-S across the interface at Loading Loading @@ -8870,9 +8874,10 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_ENR_RCV_13_BI } // End of group enrolment_request_handling } // End of group ea_group enrolment_request_handling group enrolment_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.2 Enrollment response group ea_enrolment_response { /** * @desc The EnrolmentResponse message shall be encrypted using an ETSI TS 103 097 approved Loading Loading @@ -10262,8 +10267,9 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_ENR_12_BV } // End of group enrolment_response } // End of group ea_enrolment_response // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.2 Enrollment response group authorization_validation_request { group atv_helpers { Loading Loading @@ -10678,7 +10684,8 @@ module ItsPki_TestCases { } // End of group authorization_validation_request group authorization_validation_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.4 Authorization validation response group ea_authorization_validation_response { /** * @desc The EtsiTs103097Data-Encrypted is build with the component recipients containing one instance of RecipientInfo Loading Loading @@ -11517,8 +11524,9 @@ module ItsPki_TestCases { // TC_SECPKI_EA_AUTHVAL_09_BV covered by TC_SECPKI_EA_AUTHVAL_02..04_BV } // End of group authorization_validation_response } // End of group eaauthorization_validation_response // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.5 CA Certificate Request group ca_certificate_request { /** Loading Loading @@ -11876,9 +11884,11 @@ module ItsPki_TestCases { } // End of group ca_certificate_request group authorization_with_bfk { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6 Authorization using butterfly key expansion mechanism group ea_authorization_with_bfk { group bfk_auth_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6.1 Butterfly authorization response group ea_bfk_auth_response { /** * @desc Check that the EA sends the butterfly authorization respond message after receiving of the butterfly authorization request Loading Loading @@ -12170,9 +12180,10 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_BFK_AUTH_02_BV } // End of group bfk_auth_response } // End of group ea_bfk_auth_response group bfk_cert_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6 Authorization using butterfly key expansion mechanism group ea_bfk_cert_request { group bfk_auth_request_helpers { Loading Loading @@ -12792,9 +12803,10 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_BFK_AUTH_05_BV } // End of group bfk_cert_request } // End of group ea_bfk_cert_request group bfk_auth_cert_download { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6.2 Authorization certificate download group ea_bfk_auth_cert_download { /** * @desc Check that the butterfly certificate request message sent by EA to AA contains all required elements Loading Loading @@ -12934,12 +12946,13 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_BFK_AUTH_06_BV } // End of group bfk_auth_cert_download } // End of group ea_bfk_auth_cert_download } // End of group authorization_with_bfk } // End of group ea_authorization_with_bfk } // End of group ea_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5 AA behaviour group aa_behavior { group aa_helpers { Loading Loading @@ -12998,7 +13011,8 @@ module ItsPki_TestCases { } // End of group aa_helpers group authorization_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.1 Authorization request handling group aa_authorization_request { /** * @desc Check that the EA/AA is able to decrypt the AuthorizationRequest message using the encryption private key corresponding to the recipient certificate Loading Loading @@ -15353,9 +15367,10 @@ module ItsPki_TestCases { f_cfHttpDown(); } // End of testcase TC_SECPKI_AA_AUTH_RCV_16_BI } // End of group authorization_request } // End of group aa_authorization_request group authorization_validation_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.2 Authorization validation request group aa_authorization_validation_request { /** * @desc Check that the AA sends AuthorizationValidationRequest after receiving of the AuthorizationRequest. Loading Loading @@ -15706,9 +15721,10 @@ module ItsPki_TestCases { f_cfHttpDown(); } // End of testcase TC_SECPKI_AA_AUTHVAL_02_BV } // End of authorization_validation_request } // End of aa_authorization_validation_request group authorization_validation_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.3 Authorization validation response handling group aa_authorization_validation_response { /** * @desc Check that the AA sends AuthorizationResponse after receiving the AuthorizationRequest. Loading Loading @@ -16011,13 +16027,20 @@ module ItsPki_TestCases { */ 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_authorization_validation_response group ca_certificates_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.4 Authorization response group aa_authorization_response { // TODO } // End of group aa_authorization_response } // End of group ca_certificates_request // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.5 CA Certificate Request group aa_ca_certificates_request { // TODO } // End of group aa_ca_certificates_request group authorization_with_bfk { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.6 Authorization using butterfly key expansion mechanism group aa_authorization_with_bfk { group bfk_cert_request_helpers { Loading Loading @@ -16209,13 +16232,15 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_AA_BFK_AUTH_01_BV } // End of group authorization_with_bfk } // End of group aa_authorization_with_bfk } // End of group aa_beavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.6 RootCA behaviour group ca_behavior { group ctl { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.6.1 CTL generation group ca_ctl_generation { /** * @desc Check that the RootCA generates the Full CTL when new EA is about to be added to the Root CTL Loading Loading @@ -16368,9 +16393,10 @@ module ItsPki_TestCases { } // End of testcase TC_RCA_CTLGEN_01_BV } // End of group ctl } // End of ca_group ctl_generation group crl { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.6.2 CRL generation group ca_crl_generation { /** * @desc Check that the RootCA generates the CRL signed with appropriate certificate Loading Loading @@ -16494,13 +16520,20 @@ module ItsPki_TestCases { } // End of testcase TC_RCA_CRLGEN_01_BV } // End of group crl } // End of group ca_crl_generation } // End of group ca_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.7 DC behaviour group dc_behavior { // TODO } // End of group dc_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.8 TLM behaviour group tlm_behavior { group ctl { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.8.1 CTL generation group tlm_ctl_generation { /** * @desc Check that the TLM generates the ECTL when new RootCA is about to be added Loading Loading @@ -16631,10 +16664,11 @@ module ItsPki_TestCases { } // End of testcase TC_TLM_ECTLGEN_01_BV } // End of group ctl } // End of group tlm_ctl_generation } // End of group tlm_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.9 CPOC behaviour group cpoc_behavior { /** Loading
ItsPki_TestCases.ttcn +64 −30 Original line number Diff line number Diff line Loading @@ -5977,16 +5977,19 @@ module ItsPki_TestCases { } // End of group itss_ctl_distribution // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.2.6 CRL handling group itss_crl_handling { // TODO To be done after validation of itss_ctl_handling group as CTL and CRL are close } // End of group itss_crl_handling // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.2.7 CRL distribution group itss_crl_distribution { // TODO To be done after validation of itss_ctl_distribution group as CTL and CRL are close } // End of group itss_crl_distribution } // End of group itss_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.3.1 Certificate validation group ca_behaviour { /** Loading Loading @@ -7668,7 +7671,8 @@ module ItsPki_TestCases { } // End of group ea_helpers group enrolment_request_handling { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.1 Enrollment request handling group ea_enrolment_request_handling { /** * @desc The EnrolmentResponse message shall be sent by the EA to the ITS-S across the interface at Loading Loading @@ -8870,9 +8874,10 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_ENR_RCV_13_BI } // End of group enrolment_request_handling } // End of group ea_group enrolment_request_handling group enrolment_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.2 Enrollment response group ea_enrolment_response { /** * @desc The EnrolmentResponse message shall be encrypted using an ETSI TS 103 097 approved Loading Loading @@ -10262,8 +10267,9 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_ENR_12_BV } // End of group enrolment_response } // End of group ea_enrolment_response // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.2 Enrollment response group authorization_validation_request { group atv_helpers { Loading Loading @@ -10678,7 +10684,8 @@ module ItsPki_TestCases { } // End of group authorization_validation_request group authorization_validation_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.4 Authorization validation response group ea_authorization_validation_response { /** * @desc The EtsiTs103097Data-Encrypted is build with the component recipients containing one instance of RecipientInfo Loading Loading @@ -11517,8 +11524,9 @@ module ItsPki_TestCases { // TC_SECPKI_EA_AUTHVAL_09_BV covered by TC_SECPKI_EA_AUTHVAL_02..04_BV } // End of group authorization_validation_response } // End of group eaauthorization_validation_response // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.5 CA Certificate Request group ca_certificate_request { /** Loading Loading @@ -11876,9 +11884,11 @@ module ItsPki_TestCases { } // End of group ca_certificate_request group authorization_with_bfk { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6 Authorization using butterfly key expansion mechanism group ea_authorization_with_bfk { group bfk_auth_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6.1 Butterfly authorization response group ea_bfk_auth_response { /** * @desc Check that the EA sends the butterfly authorization respond message after receiving of the butterfly authorization request Loading Loading @@ -12170,9 +12180,10 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_BFK_AUTH_02_BV } // End of group bfk_auth_response } // End of group ea_bfk_auth_response group bfk_cert_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6 Authorization using butterfly key expansion mechanism group ea_bfk_cert_request { group bfk_auth_request_helpers { Loading Loading @@ -12792,9 +12803,10 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_BFK_AUTH_05_BV } // End of group bfk_cert_request } // End of group ea_bfk_cert_request group bfk_auth_cert_download { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.4.6.2 Authorization certificate download group ea_bfk_auth_cert_download { /** * @desc Check that the butterfly certificate request message sent by EA to AA contains all required elements Loading Loading @@ -12934,12 +12946,13 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_EA_BFK_AUTH_06_BV } // End of group bfk_auth_cert_download } // End of group ea_bfk_auth_cert_download } // End of group authorization_with_bfk } // End of group ea_authorization_with_bfk } // End of group ea_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5 AA behaviour group aa_behavior { group aa_helpers { Loading Loading @@ -12998,7 +13011,8 @@ module ItsPki_TestCases { } // End of group aa_helpers group authorization_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.1 Authorization request handling group aa_authorization_request { /** * @desc Check that the EA/AA is able to decrypt the AuthorizationRequest message using the encryption private key corresponding to the recipient certificate Loading Loading @@ -15353,9 +15367,10 @@ module ItsPki_TestCases { f_cfHttpDown(); } // End of testcase TC_SECPKI_AA_AUTH_RCV_16_BI } // End of group authorization_request } // End of group aa_authorization_request group authorization_validation_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.2 Authorization validation request group aa_authorization_validation_request { /** * @desc Check that the AA sends AuthorizationValidationRequest after receiving of the AuthorizationRequest. Loading Loading @@ -15706,9 +15721,10 @@ module ItsPki_TestCases { f_cfHttpDown(); } // End of testcase TC_SECPKI_AA_AUTHVAL_02_BV } // End of authorization_validation_request } // End of aa_authorization_validation_request group authorization_validation_response { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.3 Authorization validation response handling group aa_authorization_validation_response { /** * @desc Check that the AA sends AuthorizationResponse after receiving the AuthorizationRequest. Loading Loading @@ -16011,13 +16027,20 @@ module ItsPki_TestCases { */ 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_authorization_validation_response group ca_certificates_request { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.4 Authorization response group aa_authorization_response { // TODO } // End of group aa_authorization_response } // End of group ca_certificates_request // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.5 CA Certificate Request group aa_ca_certificates_request { // TODO } // End of group aa_ca_certificates_request group authorization_with_bfk { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.5.6 Authorization using butterfly key expansion mechanism group aa_authorization_with_bfk { group bfk_cert_request_helpers { Loading Loading @@ -16209,13 +16232,15 @@ module ItsPki_TestCases { } // End of testcase TC_SECPKI_AA_BFK_AUTH_01_BV } // End of group authorization_with_bfk } // End of group aa_authorization_with_bfk } // End of group aa_beavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.6 RootCA behaviour group ca_behavior { group ctl { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.6.1 CTL generation group ca_ctl_generation { /** * @desc Check that the RootCA generates the Full CTL when new EA is about to be added to the Root CTL Loading Loading @@ -16368,9 +16393,10 @@ module ItsPki_TestCases { } // End of testcase TC_RCA_CTLGEN_01_BV } // End of group ctl } // End of ca_group ctl_generation group crl { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.6.2 CRL generation group ca_crl_generation { /** * @desc Check that the RootCA generates the CRL signed with appropriate certificate Loading Loading @@ -16494,13 +16520,20 @@ module ItsPki_TestCases { } // End of testcase TC_RCA_CRLGEN_01_BV } // End of group crl } // End of group ca_crl_generation } // End of group ca_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.7 DC behaviour group dc_behavior { // TODO } // End of group dc_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.8 TLM behaviour group tlm_behavior { group ctl { // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.8.1 CTL generation group tlm_ctl_generation { /** * @desc Check that the TLM generates the ECTL when new RootCA is about to be added Loading Loading @@ -16631,10 +16664,11 @@ module ItsPki_TestCases { } // End of testcase TC_TLM_ECTLGEN_01_BV } // End of group ctl } // End of group tlm_ctl_generation } // End of group tlm_behavior // ETSI TS 103 525-2 V2.0.2 (2023-07) Clause 5.9 CPOC behaviour group cpoc_behavior { /**