Commit 8110f6c7 authored by YannGarcia's avatar YannGarcia
Browse files

CV2X#3 Validation against OBUs

parent b4ae0532

ItsMapem_TestCases.ttcn

+4 −0
Original line number Original line Diff line number Diff line
@@ -19,6 +19,10 @@ module ItsMapem_TestCases { 
    // ItsMapemSpatem

    // ItsMapemSpatem

    import from ItsMapem_TpFunctions all;

    import from ItsMapem_TpFunctions all;

    

    

    testcase TC_IS_RLT_xxx_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {

        f_TC_IS_RLT_xxx_BV_01 ();

    }



    group mapeMessageDissemination { 

    group mapeMessageDissemination { 

        

        

        group mapeMessageFormat { 

        group mapeMessageFormat {

ItsMapem_TpFunctions.ttcn

+15 −0
Original line number Original line Diff line number Diff line
@@ -37,6 +37,21 @@ module ItsMapem_TpFunctions { 
    import from LibItsMapemSpatem_Pics all;

    import from LibItsMapemSpatem_Pics all;

    import from LibItsMapemSpatem_Pixits all;

    import from LibItsMapemSpatem_Pixits all;

    

    

    function f_TC_IS_RLT_xxx_BV_01 () runs on ItsMapemSpatem {

        var octetstring v_os := '020500013db0080000100010bb9022a2e1d0839cb41410092050a000000000a16861a51f74c081432101422000000000a334c34a86e48040018a00020b79ddab69488064c78c07981e0d4a80801655d5e609b1de5f1ca0a16995ebc979347dce9708356c609b294df59f7af4b82c83c48d45cc5688cdbe80fb62d18876ecb839b25496000480260bc4118c67ec'O;

        var bitstring v_bs := oct2bit(v_os);

        var MAPEM v_mapem;

       

        if (decvalue(v_bs, v_mapem) == 0) {

            log("Mapem: ", v_mapem);

            setverdict(pass);

        } else {

            log("Error");

            setverdict(fail);

        }



    }



    group mapeMessageDissemination { 

    group mapeMessageDissemination { 

        

        

        group mapeMessageFormat { 

        group mapeMessageFormat {

ItsSpatem_TestCases.ttcn

+4 −0
Original line number Original line Diff line number Diff line
@@ -19,6 +19,10 @@ module ItsSpatem_TestCases { 
    // LibItsMapemSpatem

    // LibItsMapemSpatem

    import from ItsSpatem_TpFunctions all;

    import from ItsSpatem_TpFunctions all;

    

    

     testcase TC_IS_TLM_xxx_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {

        f_TC_IS_TLM_xxx_BV_01();

    }



    group spateMessageDissemination { 

    group spateMessageDissemination { 

        

        

        group spateMessageFormat { 

        group spateMessageFormat {

ItsSpatem_TpFunctions.ttcn

+29 −1
Original line number Original line Diff line number Diff line
@@ -35,7 +35,35 @@ module ItsSpatem_TpFunctions { 
    import from LibItsMapemSpatem_TypesAndValues all;

    import from LibItsMapemSpatem_TypesAndValues all;

    import from LibItsMapemSpatem_Pics all;

    import from LibItsMapemSpatem_Pics all;

    

    

    group spateMessageDissemination { 

     function f_TC_IS_TLM_xxx_BV_01 () runs on ItsMapemSpatem {

        var octetstring v_os := '020400013db00018800085dc8100001e7800444000321450005523c002a8043840018900020b79de8c1c418064c78c07981e0d4a808047b94b941ccb4474cd5ac58df09911feeacb4c89ad487e6b7cdd0a7de2fd6bdfec6786ee22eea496e6afd96f1462a451292339071786fbf918ca11b08b913472'O;

        var bitstring v_bs := oct2bit(v_os);

        var SPATEM v_spatem;

       

        if (decvalue(v_bs, v_spatem) == 0) {

            log("Spatem #1: ", v_spatem);

            v_os := '020400013db00018800085dc8100001e77fb7d8000321430460f22c2307802a840018900020b79ddb60e938064c78c07981e0d4a808054602ffa352f526f59f3d14b35c6b5728663ee2229c7b865fb96c45765c8c9f34d56030279b078247c94c5aa3456053e21675f8d037b0a467df414eb3f2ca720'O;

            v_bs := oct2bit(v_os);

            if (decvalue(v_bs, v_spatem) == 0) {

                log("Spatem #2: ", v_spatem);

                v_os := '020400013db00018800085dc8100001e77fbbc1000321450005523c002a8043840018900020b79ddc556b48064c78c07981e0d4a808067e9afcdea14074c82dd4d98b5d1fbaecc0bc57ede228bb71db35aa8438ef03c3a229a1b886630f0aad89fdfc169536407b653142f60f2998753ae1b2c540f6e'O;

                v_bs := oct2bit(v_os);

                if (decvalue(v_bs, v_spatem) == 0) {

                    log("Spatem #3: ", v_spatem);

                    setverdict(pass);

                } else {

                    log("Error");

                    setverdict(fail);

                }

            } else {

                log("Error");

                setverdict(fail);

            }

        } else {

            log("Error");

            setverdict(fail);

        }

    }    group spateMessageDissemination { 

        

        

        group spateMessageFormat { 

        group spateMessageFormat {

ItsRtcmem_TpFunctions.ttcn

+1 −1

File changed.

Contains only whitespace changes.