Commit 809cffe2 authored by YannGarcia's avatar YannGarcia
Browse files

Review TTCN-3 code

parent 8513dd85

ttcn/AtsCAM/ItsCam_TestControl.ttcn

+1 −1
Changes for ttcn/AtsCAM/ItsCam_TestControl.ttcn: 1 added line, 1 removed line.
Original line number Diff line number Diff line
@@ -12,7 +12,7 @@ 
module ItsCam_TestControl {

    

    // ATS CAM

    import from ItsCam_TestCases {testcase all};

    import from ItsCam_TestCases all;

    

    // LibIts

    import from LibItsCam_Pics all;

ttcn/AtsDENM/ItsDenm_TestControl.ttcn

+1 −1
Changes for ttcn/AtsDENM/ItsDenm_TestControl.ttcn: 1 added line, 1 removed line.
Original line number Diff line number Diff line
@@ -12,7 +12,7 @@ 
module ItsDenm_TestControl {

    

    // ATS DENM

    import from ItsDenm_TestCases {testcase all;}

    import from ItsDenm_TestCases all;

    

    // LibIts

    import from LibItsDenm_Pics all;

ttcn/AtsGeoNetworking/ItsGeoNetworking_TestControl.ttcn

+1 −1
Changes for ttcn/AtsGeoNetworking/ItsGeoNetworking_TestControl.ttcn: 1 added line, 1 removed line.
Original line number Diff line number Diff line
@@ -12,7 +12,7 @@ 
module ItsGeoNetworking_TestControl {

    

    // ATS GeoNetworking

    import from ItsGeoNetworking_TestCases {testcase all};

    import from ItsGeoNetworking_TestCases all;

    

    // LibItsGeoNetworking

    import from LibItsGeoNetworking_Pics all;

ttcn/AtsGeoNetworking/ItsGeoNetworking_TpFunctions.ttcn

+336 −336

File changed.

Preview size limit exceeded, changes collapsed.

ttcn/AtsPki/ItsPki_TestCases.ttcn

+56 −42
Changes for ttcn/AtsPki/ItsPki_TestCases.ttcn: 56 added lines, 42 removed lines.
Original line number Diff line number Diff line
@@ -100,7 +100,7 @@ module ItsPki_TestCases { 
        

        if (f_verify_pki_request_message(vc_eaPrivateEncKey, vc_eaWholeHash/*salt*/, ''O, p_request.body.binary_body.ieee1609dot2_data, true, v_request_hash, v_etsi_ts_102941_data, v_aes_enc_key) == false) { // Cannot decrypt the message

          // Send error message

          v_response := m_http_response(m_http_response_ko(m_http_message_body_binary(m_binary_body_ieee1609dot2_data(v_ieee1609dot2_signed_and_encrypted_data)), p_headers, 400, "Bad request")); // Initialize v_reponse with an error message

          v_response := m_http_response(m_http_response_ko_no_body(p_headers, 400, "Bad request")); // Initialize v_reponse with an error message

          // Set verdict

          p_result := -1;

        } else {
@@ -172,7 +172,7 @@ module ItsPki_TestCases { 
        

        if (f_verify_pki_request_message(vc_eaPrivateEncKey, vc_eaWholeHash/*salt*/, ''O, p_request.body.binary_body.ieee1609dot2_data, true, v_request_hash, v_etsi_ts_102941_data, v_aes_enc_key) == false) { // Cannot decrypt the message

          // Send error message

          v_response := m_http_response(m_http_response_ko(m_http_message_body_binary(m_binary_body_ieee1609dot2_data(v_ieee1609dot2_signed_and_encrypted_data)), p_headers, 400, "Bad request")); // Initialize v_reponse with an error message

          v_response := m_http_response(m_http_response_ko_no_body(p_headers, 400, "Bad request")); // Initialize v_reponse with an error message

          // Set verdict

          p_result := -1;

        } else {
@@ -337,7 +337,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_01_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -352,7 +352,7 @@ module ItsPki_TestCases { 
        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start component

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -366,7 +366,7 @@ module ItsPki_TestCases { 
      

      group f_TC_SECPKI_ITSS_ENR_01_BV {

        

        function f_TC_SECPKI_ITSS_ENR_01_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_01_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -416,7 +416,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_ENR_01_BV_itss

        

        function f_TC_SECPKI_ITSS_ENR_01_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_01_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var HeaderLines v_headers;

          var HttpMessage v_request;
@@ -511,7 +511,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_02_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -526,7 +526,7 @@ module ItsPki_TestCases { 
        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);



        // Start component

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -570,7 +570,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_03_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -585,7 +585,7 @@ module ItsPki_TestCases { 
        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start component

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_03_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_03_BV_pki());
@@ -599,7 +599,7 @@ module ItsPki_TestCases { 
      

      group f_TC_SECPKI_ITSS_ENR_03_BV {

        

        function f_TC_SECPKI_ITSS_ENR_03_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_03_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -649,7 +649,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_ENR_03_BV_itss

        

        function f_TC_SECPKI_ITSS_ENR_03_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_03_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var HeaderLines v_headers;

          var HttpMessage v_request;
@@ -738,7 +738,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_04_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var Oct32      v_private_key;

        var Oct32      v_public_key_x;
@@ -782,7 +782,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_05_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var Oct32      v_private_key;

        var Oct32      v_public_key_x;
@@ -828,7 +828,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_06_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -841,7 +841,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_06_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_06_BV_pki());
@@ -854,7 +856,7 @@ module ItsPki_TestCases { 
      

      group f_TC_SECPKI_ITSS_ENR_06_BV {

        

        function f_TC_SECPKI_ITSS_ENR_06_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_06_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -901,7 +903,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_ENR_06_BV_itss

        

        function f_TC_SECPKI_ITSS_ENR_06_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_06_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var integer v_counter := 0;

          var HeaderLines v_headers;
@@ -1041,7 +1043,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_07_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var Oct32      v_private_key;

        var Oct32      v_public_key_x;
@@ -1059,7 +1061,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -1100,7 +1104,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_08_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1113,7 +1117,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -1154,7 +1160,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_09_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1167,7 +1173,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -1210,7 +1218,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_10_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1223,7 +1231,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -1264,7 +1274,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_11_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1277,7 +1287,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());
@@ -1319,7 +1331,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_12_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1332,7 +1344,9 @@ module ItsPki_TestCases { 
        }

        

        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_03_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_03_BV_pki());
@@ -1367,7 +1381,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_RECV_01_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1382,7 +1396,7 @@ module ItsPki_TestCases { 
        // Test component configuration

        f_cfMtcUp01(v_itss, v_ea);

        

        // Start component

        // Start components

        v_itss.start(f_TC_SECPKI_ITSS_ENR_01_BV_itss());

        v_ea.start(f_TC_SECPKI_ITSS_ENR_01_BV_pki());

        /* v_itss.start(f_TC_SECPKI_ITSS_ENR_RECV_01_BV_itss()); */
@@ -1398,7 +1412,7 @@ module ItsPki_TestCases { 
      

      group f_TC_SECPKI_ITSS_ENR_RECV_01_BV {

        

        function f_TC_SECPKI_ITSS_ENR_RECV_01_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_RECV_01_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -1463,7 +1477,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_ENR_RECV_01_BV_itss

        

        function f_TC_SECPKI_ITSS_ENR_RECV_01_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_RECV_01_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var HeaderLines v_headers;

          var HttpMessage v_request;
@@ -1552,7 +1566,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_ENR_RECV_02_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1583,7 +1597,7 @@ module ItsPki_TestCases { 


      group f_TC_SECPKI_ITSS_ENR_RECV_02_BV {

        

        function f_TC_SECPKI_ITSS_ENR_RECV_02_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_RECV_02_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -1645,7 +1659,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_ENR_RECV_02_BV_itss

        

        function f_TC_SECPKI_ITSS_ENR_RECV_02_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_ENR_RECV_02_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var HeaderLines v_headers;

          var HttpMessage v_request;
@@ -1735,7 +1749,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_AUTH_01_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1764,7 +1778,7 @@ module ItsPki_TestCases { 
      

      group f_TC_SECPKI_ITSS_AUTH_01_BV {

        

        function f_TC_SECPKI_ITSS_AUTH_01_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_AUTH_01_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -1820,7 +1834,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_AUTH_01_BV_itss

        

        function f_TC_SECPKI_ITSS_AUTH_01_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_AUTH_01_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var HeaderLines v_headers;

          var HttpMessage v_request;
@@ -1923,7 +1937,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_AUTH_02_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -1978,7 +1992,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_AUTH_03_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -2033,7 +2047,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_AUTH_04_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -2062,7 +2076,7 @@ module ItsPki_TestCases { 
      

      group f_TC_SECPKI_ITSS_AUTH_04_BV {

        

        function f_TC_SECPKI_ITSS_AUTH_04_BV_itss() runs on ItsPkiItss /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_ITSS_AUTH_04_BV_itss() runs on ItsPkiItss system ItsPkiHttpSystem {

          // Local variables

          var HashedId8               v_certificate_digest;

          var EtsiTs103097Certificate v_certificate;
@@ -2111,7 +2125,7 @@ module ItsPki_TestCases { 
          f_cfDown_itss();

        } // End of function f_TC_SECPKI_ITSS_AUTH_04_BV_itss

        

        function f_TC_SECPKI_ITSS_AUTH_04_BV_pki() runs on ItsPkiHttp /*system ItsPkiHttpSystem*/ {

        function f_TC_SECPKI_ITSS_AUTH_04_BV_pki() runs on ItsPkiHttp system ItsPkiHttpSystem {

          // Local variable

          var integer v_counter := 0;

          var HeaderLines v_headers;
@@ -2253,7 +2267,7 @@ module ItsPki_TestCases { 
       * @see       ETSI TS 103 525-2 v0.0.10 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 ItsPkiItssSystem*/ {

      testcase TC_SECPKI_ITSS_AUTH_05_BV() runs on ItsMtc system ItsPkiHttpSystem {

        // Local variables

        var ItsPkiItss v_itss;

        var ItsPkiHttp v_ea;
@@ -8457,7 +8471,7 @@ module ItsPki_TestCases { 


      group f_TC_SECPKI_AA_AUTHVAL_01_BV {



        function f_TC_SECPKI_AA_AUTHVAL_01_BV_itss() runs on ItsPkiHttp /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_AA_AUTHVAL_01_BV_itss() runs on ItsPkiHttp system ItsPkiHttpSystem {

          var Oct32 v_private_key_ec;

          var Oct32 v_public_compressed_key_ec;

          var integer v_compressed_key_mode_ec;
@@ -8548,7 +8562,7 @@ module ItsPki_TestCases { 
          f_cfHttpDown_itss();

        } // End of function f_TC_SECPKI_AA_AUTHVAL_01_BV_itss

        

        function f_TC_SECPKI_AA_AUTHVAL_01_BV_ea() runs on ItsPkiHttp /*system ItsPkiItssSystem*/ {

        function f_TC_SECPKI_AA_AUTHVAL_01_BV_ea() runs on ItsPkiHttp system ItsPkiHttpSystem {

          var Oct32 v_private_key_ec;

          var Oct32 v_public_compressed_key_ec;

          var integer v_compressed_key_mode_ec;
@@ -8571,7 +8585,7 @@ module ItsPki_TestCases { 
          var HttpMessage v_request;

          var HttpMessage v_response;

          var EtsiTs102941Data v_etsi_ts_102941_data;

          var Oct16 v_aes_enc_key;

          var Oct16 v_aes_enc_key := int2oct(0, 16);

          var SharedAtRequest v_shared_at_request;

          var AuthorizationValidationResponse v_authorization_validation_response;