Commit 48e9ac8a authored by Yann Garcia's avatar Yann Garcia
Browse files

Validate TC_VBS_MSGF_BV_01..TC_VBS_MSGF_BV_14

parent fbcf1cfa

ItsVru_TpFunctions.ttcn

+8 −5
Original line number Diff line number Diff line
@@ -1138,7 +1138,7 @@ module ItsVru_TpFunctions { 
      

      // Test control

      if (not PICS_VAM_GENERATION or not PICS_PROFILE_PEDESTRIAN or PICS_IS_IUT_SECURED) {

        log("*** " & testcasename() & ": PICS_VAM_GENERATION and PICS_PROFILE_PEDESTRIAN and not PICS_IS_IUT_SECURED required for executing the TC ***");

        log("*** " & testcasename() & ": PICS_VAM_GENERATION and PICS_PROFILE_PEDESTRIAN and PICS_IS_IUT_SECURED required for executing the TC ***");

        setverdict(inconc);

        stop;

      }
@@ -1299,8 +1299,8 @@ module ItsVru_TpFunctions { 
      // Local variables

      

      // Test control

      if (not PICS_VAM_GENERATION or not PICS_PROFILE_BICYCLIST or PICS_IS_IUT_SECURED) {

        log("*** " & testcasename() & ": PICS_VAM_GENERATION and PICS_PROFILE_BICYCLIST and not PICS_IS_IUT_SECURED required for executing the TC ***");

      if (not PICS_VAM_GENERATION or not PICS_PROFILE_BICYCLIST or not PICS_IS_IUT_SECURED) {

        log("*** " & testcasename() & ": PICS_VAM_GENERATION and PICS_PROFILE_BICYCLIST and PICS_IS_IUT_SECURED required for executing the TC ***");

        setverdict(inconc);

        stop;

      }
@@ -1314,6 +1314,9 @@ module ItsVru_TpFunctions { 
      f_prInitialState();

      f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

      

      // Set VRU profile

      f_utTriggerEvent(m_setVruProfile(Vru_profile_bicyclistAndLightVruVehicle));



      // Test Body

      tc_ac.start;

      alt {
@@ -2970,7 +2973,7 @@ module ItsVru_TpFunctions { 
      

      // Test control

      if (not PICS_VAM_TRANSMISSION or PICS_IS_IUT_SECURED) {

        log("*** " & testcasename() & ": PICS_VAM_TRANSMISSION and not PICS_IS_IUT_SECURED required for executing the TC ***");

        log("*** " & testcasename() & ": PICS_VAM_TRANSMISSION and PICS_IS_IUT_SECURED required for executing the TC ***");

        setverdict(inconc);

        stop;

      }
@@ -3286,7 +3289,7 @@ module ItsVru_TpFunctions { 
      

      // Test control

      if (not PICS_CLUSTERING or PICS_IS_IUT_SECURED) {

        log("*** " & testcasename() & ": PICS_CLUSTERING and not PICS_IS_IUT_SECURED required for executing the TC ***");

        log("*** " & testcasename() & ": PICS_CLUSTERING and PICS_IS_IUT_SECURED required for executing the TC ***");

        setverdict(inconc);

        stop;

      }