Commit 14062f56 authored by Yann Garcia's avatar Yann Garcia
Browse files

Validate TC_VBS_MSGF_BV_15

parent 48e9ac8a

ItsVru_TestCases.ttcn

+33 −1
Original line number Diff line number Diff line
@@ -557,7 +557,7 @@ module ItsVru_TestCases { 
      v_iut.start(f_TC_VBS_MSGF_BV_15_iut());



      // Synchronization

      f_serverSync2ClientsAndStop({c_prDone, c_tbDone});

      f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});



      // Cleanup

      f_cfMtcDown01(v_vam_cluster_leader, v_iut);
@@ -2221,8 +2221,40 @@ module ItsVru_TestCases { 


    } // End of TC_VBS_CLTR_BV_02





























































  } // End of group vruTransitionTriggering



  group vruTriggeringCondition {

  } // End of group vruTriggeringCondition



  group securityConstraints {



    /**

ItsVru_TpFunctions.ttcn

+260 −91

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsVru_Pixits.ttcn

+30 −6
Original line number Diff line number Diff line
@@ -11,16 +11,40 @@ module LibItsVru_Pixits { 
  // LibItsCommon

  import from LibItsCommon_ASN1_NamedNumbers all;



  modulepar UInt8 PX_IUT_VRU_PROFILE_TYPE := 2;



  modulepar CardinalNumber1B PX_VRU_CLUSTER_CREATE_CARDINALITY := 3;



  /**

   * @desc To trigger to the IUT which profile to apply

   * @see PX_VRU_CLUSTER_CREATE_PROFILE

   */

  modulepar UInt8 PX_IUT_VRU_PROFILE_TYPE := Vru_profile_bicyclistAndLightVruVehicle;



  /**

   * @desc To trigger to the IUT which cluster profile to apply

   */

  modulepar VruClusterProfiles PX_VRU_CLUSTER_CREATE_PROFILE   := '0001'B; // bicyclist



  /**

   * @desc To indicates how many time a message shall be sent

   */

  modulepar integer PX_VRU_REPETITION := 1;



  /**

   * @desc To indicates the cardinality of a cluster initiated by the IUT (>= 3, 3 + the IUT as leader)

   */

  modulepar CardinalNumber1B PX_VRU_CLUSTER_CREATE_CARDINALITY := 4;



  /**

   * @desc To indicates the cluster ID when initiated by the TS

   */

  modulepar Identifier1B PX_VRU_CLUSTER_CREATE_ID              := 78; // Random number



  /**

   * @desc To indicates the size of the clusterBoundingBoxShape

   */

  modulepar StandardLength12b PX_VRU_CLUSTER_CREATE_RADIUS     := 30; // 3 meters



  modulepar VruClusterProfiles PX_VRU_CLUSTER_CREATE_PROFILE   := '0000'B; // At least one pedestrian



  /**

   * @desc To indicates the reason of breaking the cluster

   */

  modulepar ClusterBreakupReason PX_VRU_CLUSTER_BREAKUP_REASON := Vru_ClusterBreakupReason_clusteringPurposeCompleted;



  modulepar UInt32 PX_DELTA_LATITUDE_IN_BOX      := 10;

lib_system/LibItsVru_Functions.ttcn

+4 −4
Original line number Diff line number Diff line
@@ -246,8 +246,8 @@ module LibItsVru_Functions { 
                         out ItsVru p_vam_cluster_leader,

                         out ItsVru p_iut

                         ) runs on ItsBaseMtc {

      p_vam_cluster_leader := ItsVru.create("VRU-CLUSTER_LEADER") alive;

      p_iut := ItsVru.create("VRU-IUT") alive;

      p_vam_cluster_leader := ItsVru.create("VRU_CLUSTER_LEADER") alive;

      p_iut := ItsVru.create("VRU_IUT") alive;

      

      connect(self:syncPort, mtc:syncPort);

      connect(p_vam_cluster_leader:syncPort, self:syncPort);
@@ -353,7 +353,7 @@ module LibItsVru_Functions { 
     */

    function f_cfUp_cluster_leader() runs on ItsVru system ItsVruSystem {

      

      map(self:utPort, system:utPort);

      //map(self:utPort, system:utPort);

      map(self:acPort, system:acPort);

      map(self:vamPort, system:vamPort);

      f_connect4SelfOrClientSync();
@@ -375,7 +375,7 @@ module LibItsVru_Functions { 
      unmap(self:vamPort, system:vamPort);

      

      f_acStopScenario();

      unmap(self:utPort, system:utPort);

      //unmap(self:utPort, system:utPort);

      unmap(self:acPort, system:acPort);

      f_disconnect4SelfOrClientSync();