Commit 286ded8f authored by YannGarcia's avatar YannGarcia
Browse files

Start validation of AtsPki; Add missing AcSecurity primitive implementation in Facilities

parent 446dbf9c

ItsDenm_TestCases.ttcn

+58 −58
Original line number Diff line number Diff line
@@ -48,7 +48,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSGF/BV-01

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSGF/BV-01

           * @reference ETSI EN 302 637-3 v1.3.1, Annex B.1

           */

          testcase TC_DEN_MSGF_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -78,7 +78,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSGF/BV-02

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSGF/BV-02

           * @reference ETSI EN 302 637-3 v1.3.1, clause  6.1.3.2

           */

          testcase TC_DEN_MSGF_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -111,7 +111,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-01

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-01

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.2.1

           */

          testcase TC_DEN_EVGN_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -143,7 +143,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-02

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-02

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.1.1

           */

          testcase TC_DEN_EVGN_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -175,7 +175,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-03

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-03

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.1.1

           */

          testcase TC_DEN_EVGN_BV_03() runs on ItsDenm system ItsDenmSystem {
@@ -215,7 +215,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-04

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-04

           * @reference ETSI EN 302 637-3 v1.3.1, clause 7.1.3

           */

          testcase TC_DEN_EVGN_BV_04() runs on ItsDenm system ItsDenmSystem {
@@ -247,7 +247,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-05

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-05

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.3

           */

          testcase TC_DEN_EVGN_BV_05() runs on ItsDenm system ItsDenmSystem {
@@ -286,7 +286,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-07

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-07

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 6.1.1.1, 8.2.1.2

           */

          testcase TC_DEN_EVGN_BV_07() runs on ItsDenm system ItsDenmSystem {
@@ -324,7 +324,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVGN/BV-10

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVGN/BV-10

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 6.1.1.2

           */

          testcase TC_DEN_EVGN_BV_10() runs on ItsDenm system ItsDenmSystem {
@@ -358,7 +358,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVUP/BV-01

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVUP/BV-01

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.2.2

           */

          testcase TC_DEN_EVUP_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -394,7 +394,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVUP/BV-02

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVUP/BV-02

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 6.1.2.2, 8.1.1.1

           */

          testcase TC_DEN_EVUP_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -433,7 +433,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVUP/BV-03

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVUP/BV-03

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.2.2

           */

          testcase TC_DEN_EVUP_BV_03() runs on ItsDenm system ItsDenmSystem {
@@ -467,7 +467,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVUP/BO-04

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVUP/BO-04

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.1.2

           */

          testcase TC_DEN_EVUP_BO_04() runs on ItsDenm system ItsDenmSystem {
@@ -512,7 +512,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BV-01

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BV-01

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 6.1.2.4, 8.2.1.3

           */

          testcase TC_DEN_EVTR_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -552,7 +552,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BV-02

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BV-02

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.2.4

           */

          testcase TC_DEN_EVTR_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -600,7 +600,7 @@ module ItsDenm_TestCases { 
           *      }

           *  }

           * </pre>

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BV-03

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BV-03

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 6.1.2.4, 8.2.1.3

           */

          testcase TC_DEN_EVTR_BV_03() runs on ItsDenm system ItsDenmSystem {
@@ -640,7 +640,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BV-04

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BV-04

           * @reference ETSI EN 302 637-3 v1.3.1, clause 7.1.1

           */

          testcase TC_DEN_EVTR_BV_04() runs on ItsDenm system ItsDenmSystem {
@@ -682,7 +682,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BV-05

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BV-05

           * @reference ETSI EN 302 637-3 v1.3.1, clause 7.1.1

           */

          testcase TC_DEN_EVTR_BV_05() runs on ItsDenm system ItsDenmSystem {
@@ -723,7 +723,7 @@ module ItsDenm_TestCases { 
           *        table as its stationID is IUT’s stationID (see TP/DEN/EVTR/BO-07)

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BO-06

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BO-06

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 8.2.2

           */

          testcase TC_DEN_EVTR_BO_06() runs on ItsDenm system ItsDenmSystem {
@@ -764,7 +764,7 @@ module ItsDenm_TestCases { 
           *        stationID is not IUT’s stationID (see TP/DEN/EVTR/BO-06)

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BO-07

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BO-07

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 8.2.2

           */

          testcase TC_DEN_EVTR_BO_07() runs on ItsDenm system ItsDenmSystem {
@@ -807,7 +807,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVTR/BV-08

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVTR/BV-08

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.3

           */

          testcase TC_DEN_EVTR_BV_08() runs on ItsDenm system ItsDenmSystem {
@@ -855,7 +855,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/TI-01

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/TI-01

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.2.3 and 8.2.2

           */

          testcase TC_DEN_EVRP_TI_01() runs on ItsDenm system ItsDenmSystem {
@@ -895,7 +895,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-02

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-02

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.2.3 and 8.2.2

           */

          testcase TC_DEN_EVRP_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -938,7 +938,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-03

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-03

           * @reference ETSI EN 302 637-3 v1.3.1, clauses 6.1.2.4 and 8.2.2

           */

          testcase TC_DEN_EVRP_BV_03() runs on ItsDenm system ItsDenmSystem {
@@ -981,7 +981,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-04

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-04

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.2

           */

          testcase TC_DEN_EVRP_BV_04() runs on ItsDenm system ItsDenmSystem {
@@ -1016,7 +1016,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-05

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-05

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.1.2

           */

          testcase TC_DEN_EVRP_BV_05() runs on ItsDenm system ItsDenmSystem {
@@ -1051,7 +1051,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-06

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-06

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.1.2

           */

          testcase TC_DEN_EVRP_BV_06() runs on ItsDenm system ItsDenmSystem {
@@ -1099,7 +1099,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-08

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-08

           * @reference ETSI EN 302 637-3 v1.3.1, clause 6.1.1.2

           */

          testcase TC_DEN_EVRP_BV_08() runs on ItsDenm system ItsDenmSystem {
@@ -1145,7 +1145,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-09

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-09

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.2

           */

          testcase TC_DEN_EVRP_BV_09() runs on ItsDenm system ItsDenmSystem {
@@ -1194,7 +1194,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-10

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-10

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.2

           */

          testcase TC_DEN_EVRP_BV_10() runs on ItsDenm system ItsDenmSystem {
@@ -1234,7 +1234,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/EVRP/BV-11

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/EVRP/BV-11

           * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.5

           */

          testcase TC_DEN_EVRP_BV_11() runs on ItsDenm system ItsDenmSystem {
@@ -1268,7 +1268,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/PAR/BV-01

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/PAR/BV-01

           * @reference EN 302 637-3 clause 5.4.2.2

           */

          testcase TC_DEN_PAR_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -1297,7 +1297,7 @@ module ItsDenm_TestCases { 
           *  }

           * </pre>

           * 

           * @see       ETSI 102 869-2 v1.5.3 TP/DEN/PAR/BV-02

           * @see       ETSI 102 869-2 v1.6.1 TP/DEN/PAR/BV-02

           * @reference EN 302 637-3 clause 5.4.2.2

           */

          testcase TC_DEN_PAR_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -1337,7 +1337,7 @@ module ItsDenm_TestCases { 
         *    }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/SSP/BV-01

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/SSP/BV-01

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

         */

        testcase TC_DEN_SSP_BV_01_01() runs on ItsDenm system ItsDenmSystem {
@@ -1373,7 +1373,7 @@ module ItsDenm_TestCases { 
         *    }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/SSP/BV-01

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/SSP/BV-01

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

         */

        testcase TC_DEN_SSP_BV_01_02() runs on ItsDenm system ItsDenmSystem {
@@ -1414,7 +1414,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-01

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-01

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

         */

        testcase TC_DEN_MSRV_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -1455,7 +1455,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-02

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-02

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

         */

        testcase TC_DEN_MSRV_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -1490,7 +1490,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BO-03

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BO-03

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.3.2

         */

        testcase TC_DEN_MSRV_BO_03() runs on ItsDenm system ItsDenmSystem {
@@ -1524,7 +1524,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BO-04

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BO-04

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.3.2

         */

        testcase TC_DEN_MSRV_BO_04() runs on ItsDenm system ItsDenmSystem {
@@ -1564,7 +1564,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BO-05

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BO-05

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.3.2

         */

        testcase TC_DEN_MSRV_BO_05() runs on ItsDenm system ItsDenmSystem {
@@ -1609,7 +1609,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BO-06

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BO-06

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.3.2

         */

        testcase TC_DEN_MSRV_BO_06() runs on ItsDenm system ItsDenmSystem {
@@ -1653,7 +1653,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-07

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-07

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.3.2

         */

        testcase TC_DEN_MSRV_BV_07() runs on ItsDenm system ItsDenmSystem {
@@ -1695,7 +1695,7 @@ module ItsDenm_TestCases { 
             *  }

             * </pre>

             * 

             * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-08-01

             * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-08-01

             * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

             */

			testcase TC_DEN_MSRV_BO_08_01() runs on ItsDenm system ItsDenmSystem {
@@ -1735,7 +1735,7 @@ module ItsDenm_TestCases { 
             *  }

             * </pre>

             * 

             * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-08-0@reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

             * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-08-0@reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

             */

            testcase TC_DEN_MSRV_BO_08_02() runs on ItsDenm system ItsDenmSystem {
@@ -1790,7 +1790,7 @@ module ItsDenm_TestCases { 
             *   }

             * </pre>

             * 

             * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-09-01

             * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-09-01

             * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

             */

			testcase TC_DEN_MSRV_BO_09_01() runs on ItsDenm system ItsDenmSystem {
@@ -1846,7 +1846,7 @@ module ItsDenm_TestCases { 
			 *   }

			 * </pre>

			 * 

			 * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-09-02

			 * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-09-02

             * @reference ETSI EN 302 637-3 v1.3.1, clause 8.4.2

			 */

            testcase TC_DEN_MSRV_BO_09_02() runs on ItsDenm system ItsDenmSystem {
@@ -1892,7 +1892,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/MSRV/BV-10

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/MSRV/BV-10

         * @reference ETSI EN 302 637-3 v1.3.1, clause B.40

         */

        testcase TC_DEN_MSRV_BV_10() runs on ItsDenm system ItsDenmSystem {
@@ -1937,7 +1937,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-01

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-01

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.2

         */

        testcase TC_DEN_KAFW_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -1986,7 +1986,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-02

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-02

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.2

         */

        testcase TC_DEN_KAFW_BV_02() runs on ItsDenm system ItsDenmSystem {
@@ -2022,7 +2022,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/TI-03

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/TI-03

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.4

         */

        testcase TC_DEN_KAFW_TI_03() runs on ItsDenm system ItsDenmSystem {
@@ -2064,7 +2064,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-04

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-04

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.6

         */

        testcase TC_DEN_KAFW_BV_04() runs on ItsDenm system ItsDenmSystem {
@@ -2105,7 +2105,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-05

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-05

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.1

         */

        testcase TC_DEN_KAFW_BV_05() runs on ItsDenm system ItsDenmSystem {
@@ -2149,7 +2149,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-06

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-06

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.2

         */

        testcase TC_DEN_KAFW_BV_06() runs on ItsDenm system ItsDenmSystem {
@@ -2193,7 +2193,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-07

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-07

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.3

         */

        testcase TC_DEN_KAFW_BV_07() runs on ItsDenm system ItsDenmSystem {
@@ -2245,7 +2245,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-08

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-08

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.1.6

         */

        testcase TC_DEN_KAFW_BV_08() runs on ItsDenm system ItsDenmSystem {
@@ -2285,7 +2285,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-09

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-09

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.2

         */

        testcase TC_DEN_KAFW_BV_09() runs on ItsDenm system ItsDenmSystem {
@@ -2323,7 +2323,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI 102 869-2 v1.5.3 TP/DEN/KAFW/BV-10

         * @see       ETSI 102 869-2 v1.6.1 TP/DEN/KAFW/BV-10

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.2

         */

        testcase TC_DEN_KAFW_BV_10() runs on ItsDenm system ItsDenmSystem {
@@ -2354,7 +2354,7 @@ module ItsDenm_TestCases { 
         *  }

         * </pre>

         * 

         * @see       ETSI TS 102 869-2 v1.5.3 TP/DEN/KAFW/BV-10

         * @see       ETSI TS 102 869-2 v1.6.1 TP/DEN/KAFW/BV-10

         * @reference ETSI EN 302 637-3 v1.3.1, clause 8.2.2

         */

        testcase TC_DEN_KAFW_BV_11() runs on ItsDenm system ItsDenmSystem {