Commit 8f5c8000 authored by garciay's avatar garciay
Browse files

Start validation of TD_AUTO_IOT_DENM_RWW_BV_01

parent 67fe47fc
Loading
Loading
Loading
Loading
+2 −10
Original line number Diff line number Diff line
@@ -436,15 +436,7 @@ module ItsAutoInterop_Functions {
                                    in ItsPduHeader.messageID p_messageID, 
                                    in integer p_stationID
        ) return template octetstring {
            /*var template (present) Oct2 v_t1 := int2oct(p_dst_port, 2);
            var template (present) Oct2 v_t2 := int2oct(p_src_port, 2);
            var template (present) Oct1 v_t3 := int2oct(LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_, 1);
            var template (present) Oct1 v_t4 := int2oct(p_messageID, 1);
            var template (present) Oct4 v_t5 := int2oct(p_stationID, 4);
            var template (present) octetstring v_t6 := ? length (5 .. 65535);
            var template (present) octetstring v_out := v_t1 & v_t2 & v_t3 & v_t4 & v_t5 & v_t6;*/
            var octetstring v_t1 := int2oct(p_dst_port, 2) & int2oct(p_src_port, 2) & int2oct(LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_, 1) & int2oct(p_messageID, 1) & int2oct(p_stationID, 4);
            var template octetstring v_out := v_t1; // FIXME How to sepcify an octetstring template such as '07D200'O followed by one or more bytes
          var template octetstring v_out := int2oct(p_dst_port, 2) & int2oct(p_src_port, 2) & int2oct(LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_, 1) & int2oct(p_messageID, 1) & int2oct(p_stationID, 4) & ? length (1) & ?;
          return v_out;
        }
        
+17 −38
Original line number Diff line number Diff line
@@ -1423,12 +1423,12 @@ module ItsAutoInterop_TestCases {
                                ?,
                                ?,
                                e_btpB,
                                ?/*f_payload_template(
                                f_payload_template(
                                                   PICS_DENM_BTP_DESTINATION_PORT, 
                                                   PICS_DENM_BTP_SOURCE_PORT, 
                                                   LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_, 
                                                   10171
                                                   )*/
                                                   )
                  )))) -> value v_gnInd { // Receive a DEN message
                    tc_ac.stop;
                    // Check DENM paylod
@@ -1470,24 +1470,13 @@ module ItsAutoInterop_TestCases {
                                ?,
                                ?,
                                e_btpB,
                                ?/*'07D200000101000027BB?'O*/ /*mw_denm_stationId(
                                    PX_EUT_DESC[p_eut_id].stationId,
                                    mw_denm(
                                        mw_denmMgmtCon_with_relevances(
                                            ?, 
                                            LibItsCommon_ASN1_NamedNumbers.StationType_roadSideUnit_,
                                            -,
                                            -,
                                            -,
                                            -,
                                            -,
                                            -,
                                            mw_referencePosition(PICS_Z1_D2_EP)
                                        ),
                                        mw_situation(
                                            LibItsCommon_ASN1_NamedNumbers.CauseCodeType_roadworks_, 
                                            ?
                )))*/)))) -> value v_gnInd { // Receive a DEN message
                                f_payload_template(
                                                   PICS_DENM_BTP_DESTINATION_PORT, 
                                                   PICS_DENM_BTP_SOURCE_PORT, 
                                                   LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_, 
                                                   10171
                                                   )
                )))) -> value v_gnInd { // Receive a DEN message
                    tc_ac.stop;
                    // Check DENM paylod
                    if (f_check_payload_denm(
@@ -1528,24 +1517,13 @@ module ItsAutoInterop_TestCases {
                                ?,
                                ?,
                                e_btpB,
                                ?/*'07D200000101000027BB?'O*/ /*mw_denm_stationId(
                                    PX_EUT_DESC[p_eut_id].stationId,
                                    mw_denm(
                                        mw_denmMgmtCon_with_relevances(
                                            ?, 
                                            LibItsCommon_ASN1_NamedNumbers.StationType_roadSideUnit_,
                                            -,
                                            -,
                                            -,
                                            -,
                                            -,
                                            -,
                                            mw_referencePosition(PICS_Z1_D3_EP)
                                        ),
                                        mw_situation(
                                            LibItsCommon_ASN1_NamedNumbers.CauseCodeType_roadworks_, 
                                            ?
                )))*/)))) -> value v_gnInd { // Receive a DEN message
                                f_payload_template(
                                                   PICS_DENM_BTP_DESTINATION_PORT, 
                                                   PICS_DENM_BTP_SOURCE_PORT, 
                                                   LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_, 
                                                   10171
                                                   )
                )))) -> value v_gnInd { // Receive a DEN message
                    tc_ac.stop;
                    // Check DENM paylod
                    if (f_check_payload_denm(
@@ -1668,6 +1646,7 @@ module ItsAutoInterop_TestCases {
            } // End of 'alt' statement
            
            // Test Body
            log("*** " & testcasename() & "INFO: Start test body");
            tc_wait.start;
             alt {
                [] eutGeoNetworkingPort.receive(