Commit fa94e415 authored by Yann Garcia's avatar Yann Garcia
Browse files

Report issues from devel2 to TTF_T036

parent 0aa44c72

ItsDenm_TestCases.ttcn

+4 −4
Original line number Diff line number Diff line
@@ -49,7 +49,7 @@ module ItsDenm_TestCases { 
           * </pre>

           * 

           * @see       ETSI 102 869-2 v2.1.x TP/DEN/MSGF/BV-01

           * @reference ETSI TS 103 831, clause 7.1.2 and B

           * @reference ETSI TS 103 831, clause 7.1.2 and Annex A

           */

          testcase TC_DEN_MSGF_BV_01() runs on ItsDenm system ItsDenmSystem {
@@ -217,7 +217,7 @@ module ItsDenm_TestCases { 
           * </pre>

           * 

           * @see       ETSI 102 869-2 v2.1.x TP/DEN/EVGN/BV-04

           * @reference ETSI TS 103 831, clause 7.1.3 and B

           * @reference ETSI TS 103 831, clause 7.1.4 and Annex A

           */

          testcase TC_DEN_EVGN_BV_04() runs on ItsDenm system ItsDenmSystem {
@@ -249,7 +249,7 @@ module ItsDenm_TestCases { 
           * </pre>

           * 

           * @see       ETSI 102 869-2 v2.1.x TP/DEN/EVGN/BV-05

           * @reference ETSI TS 103 831, clause 8.2.1.3

           * @reference ETSI TS 103 831, clause 7.1.3 and clause 8.2.1.3

           */

          testcase TC_DEN_EVGN_BV_05() runs on ItsDenm system ItsDenmSystem {
@@ -1894,7 +1894,7 @@ module ItsDenm_TestCases { 
         * </pre>

         * 

         * @see       ETSI 102 869-2 v2.1.x TP/DEN/MSRV/BV-10

         * @reference ETSI TS 103 831, clause B.40

         * @reference ETSI TS 103 831, Annex A

         */

        testcase TC_DEN_MSRV_BV_10() runs on ItsDenm system ItsDenmSystem {

ItsDenm_TpFunctions.ttcn

+4 −0
Original line number Diff line number Diff line
@@ -576,6 +576,10 @@ module ItsDenm_TpFunctions { 
                      log("*** " & testcasename() & ": PASS: Successfully received expected DENM. ***");

                      f_selfOrClientSyncAndVerdict(c_tbDone, e_success);

                  }

                  [] denmPort.receive(mw_denmInd(mw_denmPdu(mw_denm(mw_denmMgmtConTermination(?))))) {

                      log("*** " & testcasename() & ": Info: Skip DENM termination. ***");

                      repeat;

                  }

                  [] denmPort.receive(mw_denmInd(mw_anyDenmPdu)) {

                      tc_ac.stop;

                      log("*** " & testcasename() & ": FAIL: Received an unexpected DENM. ***");

lib/LibItsDenm_Templates.ttcn

+2 −1
Original line number Diff line number Diff line
@@ -145,7 +145,8 @@ module LibItsDenm_Templates { 
            /**

             * @desc    Send template for Upper Tester event changePseudonym

             */

            template (value) UtDenmChangePseudonym m_utDenmChangePseudonym := {

            template (value) UtDenmChangePseudonym m_utDenmChangePseudonym(in Oct8 p_hashedId8 := '0000000000000000'O) := {

                hashedId8 := p_hashedId8

            }

            

            /**

lib/LibItsDenm_TypesAndValues.ttcn

+3 −1
Original line number Diff line number Diff line
@@ -72,6 +72,7 @@ module LibItsDenm_TypesAndValues { 
    /**

     * @desc Upper Tester results message of the DENM IUT

     * @member utDenmInitialize             -

     * @member utDenmChangePseudonymResult  -

     * @member utDenmTriggerResult          -

     * @member utDenmUpdateResult,          -

     * @member utDenmChangePositionResult   -
@@ -167,11 +168,12 @@ module LibItsDenm_TypesAndValues { 
     * @desc Upper Tester message to change the pseudonym of the DENM IUT 

     */

    type record UtDenmChangePseudonym {

      // empty on purpose

      Oct8 hashedId8 

    } with {

      variant "FIELDORDER(msb)"

    }

    

        

    /**

     * @desc Upper Tester message to check event/status on DENM IUT 

     */