Commit 8f6cb06c authored by Yann Garcia's avatar Yann Garcia
Browse files

Validate TC_VBS_TRANS_BV_xx

parent 94ae4668

ItsVru_TestCases.ttcn

+48 −44
Original line number Diff line number Diff line
@@ -712,7 +712,7 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_MSGF_BV_18() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader;

      var ItsVru v_vam_cluster_member;

      var ItsVru v_iut;



      // Test control
@@ -723,17 +723,17 @@ module ItsVru_TestCases { 
      }



      // Test component configuration

      f_cfMtcUp01(v_vam_cluster_leader, v_iut);

      f_cfMtcUp01(v_vam_cluster_member, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader()); // Set the IUT in VRU-PASSIVE mode

      v_vam_cluster_member.start(f_TC_VBS_MSGF_BV_18_cluster_member()); // Set the IUT in VRU-PASSIVE mode and move the cluster to put IUT out of box

      v_iut.start(f_TC_VBS_MSGF_BV_18_iut());



      // Synchronization

      f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



      // Cleanup

      f_cfMtcDown01(v_vam_cluster_leader, v_iut);

      f_cfMtcDown01(v_vam_cluster_member, v_iut);



    } // End of testcase TC_VBS_MSGF_BV_18
@@ -772,7 +772,7 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_MSGF_BV_19() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader;

      var ItsVru v_vam_cluster_member;

      var ItsVru v_iut;



      // Test control
@@ -783,17 +783,17 @@ module ItsVru_TestCases { 
      }



      // Test component configuration

      f_cfMtcUp01(v_vam_cluster_leader, v_iut);

      f_cfMtcUp01(v_vam_cluster_member, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader()); // Set the IUT in VRU-PASSIVE mode

      v_vam_cluster_member.start(f_TC_VBS_MSGF_BV_19_cluster_member()); // Set the IUT in VRU-PASSIVE mode and increase the speed of the cluster to put IUT out of speed

      v_iut.start(f_TC_VBS_MSGF_BV_19_iut());



      // Synchronization

      f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



      // Cleanup

      f_cfMtcDown01(v_vam_cluster_leader, v_iut);

      f_cfMtcDown01(v_vam_cluster_member, v_iut);



    } // End of testcase TC_VBS_MSGF_BV_19
@@ -832,8 +832,8 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_MSGF_BV_20() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader_1;

      var ItsVru v_vam_cluster_leader_2;

      var ItsVru v_vam_cluster_member_1;

      var ItsVru v_vam_cluster_member_2;

      var ItsVru v_iut;



      // Test control
@@ -844,18 +844,18 @@ module ItsVru_TestCases { 
      }



      // Test component configuration

      f_cfMtcUp02(v_vam_cluster_leader_1, v_vam_cluster_leader_2, v_iut);

      f_cfMtcUp02(v_vam_cluster_member_1, v_vam_cluster_member_2, v_iut);



      // Start components

      v_vam_cluster_leader_1.start(f_TC_VBS_MSGF_BV_15_cluster_leader()); // Set the IUT in VRU-PASSIVE mode

      v_vam_cluster_leader_2.start(f_TC_VBS_MSGF_BV_20_cluster_leader_2());

      v_vam_cluster_member_1.start(f_TC_VBS_MSGF_BV_20_cluster_member_1()); // Set the IUT in VRU-PASSIVE mode

      v_vam_cluster_member_2.start(f_TC_VBS_MSGF_BV_20_cluster_member_1()); // Second cluster

      v_iut.start(f_TC_VBS_MSGF_BV_20_iut());



      // Synchronization

      f_serverSync2ClientsAndStop({c_prDone, c_tbDone});

      f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});



      // Cleanup

      f_cfMtcDown02(v_vam_cluster_leader_1, v_vam_cluster_leader_2, v_iut);

      f_cfMtcDown02(v_vam_cluster_member_1, v_vam_cluster_member_2, v_iut);



    } // End of testcase TC_VBS_MSGF_BV_20
@@ -892,7 +892,8 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_MSGF_BV_21() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader;

      var ItsVru v_vam_cluster_member_1;

      var ItsVru v_vam_cluster_member_2;

      var ItsVru v_iut;



      // Test control
@@ -903,17 +904,18 @@ module ItsVru_TestCases { 
      }



      // Test component configuration

      f_cfMtcUp01(v_vam_cluster_leader, v_iut);

      f_cfMtcUp02(v_vam_cluster_member_1, v_vam_cluster_member_2, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_21_cluster_leader()); // Initiate the cluster

      v_vam_cluster_member_1.start(f_TC_VBS_MSGF_BV_21_cluster_member_1()); // Set the IUT in VRU-PASSIVE mode

      v_vam_cluster_member_2.start(f_TC_VBS_MSGF_BV_21_cluster_member_1()); // Second cluster

      v_iut.start(f_TC_VBS_MSGF_BV_21_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);

      f_cfMtcDown02(v_vam_cluster_member_1, v_vam_cluster_member_2, v_iut);



    } // End of testcase TC_VBS_MSGF_BV_21
@@ -950,7 +952,8 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_MSGF_BV_22() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader;

      var ItsVru v_vam_cluster_member_1;

      var ItsVru v_vam_cluster_member_2;

      var ItsVru v_iut;



      // Test control
@@ -961,17 +964,18 @@ module ItsVru_TestCases { 
      }



      // Test component configuration

      f_cfMtcUp01(v_vam_cluster_leader, v_iut);

      f_cfMtcUp02(v_vam_cluster_member_1, v_vam_cluster_member_2, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_21_cluster_leader()); // FIXME Seems to be identical to TP/VBS/MSGF/BV-21

      v_iut.start(f_TC_VBS_MSGF_BV_21_iut());

      v_vam_cluster_member_1.start(f_TC_VBS_MSGF_BV_22_cluster_member_1()); // Set the IUT in VRU-PASSIVE mode

      v_vam_cluster_member_2.start(f_TC_VBS_MSGF_BV_22_cluster_member_1()); // Second cluster

      v_iut.start(f_TC_VBS_MSGF_BV_22_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);

      f_cfMtcDown02(v_vam_cluster_member_1, v_vam_cluster_member_2, v_iut);



    } // End of testcase TC_VBS_MSGF_BV_22
@@ -2010,8 +2014,8 @@ module ItsVru_TestCases { 
      var ItsVru v_iut;



      // Test control

      if (not(PICS_VAM_TRANSMISSION and PICS_CLUSTERING and not PICS_IS_IUT_SECURED)) {

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

      if (not(PICS_VAM_TRANSMISSION and PICS_CLUSTERING and PICS_IS_IUT_SECURED)) {

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

        setverdict(inconc);

        stop;

      }
@@ -2020,11 +2024,11 @@ module ItsVru_TestCases { 
      f_cfMtcUp01(v_vam_cluster_leader, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_TRANS_BV_02_cluster_leader());

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader());

      v_iut.start(f_TC_VBS_TRANS_BV_02_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);
@@ -2057,28 +2061,28 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_TRANS_BV_03() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader;

      var ItsVru v_vam_cluster_member;

      var ItsVru v_iut;



      // Test control

      if (not(PICS_VAM_TRANSMISSION and PICS_CLUSTERING and not PICS_IS_IUT_SECURED)) {

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

      if (not(PICS_VAM_TRANSMISSION and PICS_CLUSTERING and PICS_IS_IUT_SECURED)) {

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

        setverdict(inconc);

        stop;

      }



      // Test component configuration

      f_cfMtcUp01(v_vam_cluster_leader, v_iut);

      f_cfMtcUp01(v_vam_cluster_member, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader());

      v_vam_cluster_member.start(f_TC_VBS_MSGF_BV_17_cluster_member());

      v_iut.start(f_TC_VBS_TRANS_BV_03_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);

      f_cfMtcDown01(v_vam_cluster_member, v_iut);



    } // End of TC_VBS_TRANS_BV_03
@@ -2108,28 +2112,28 @@ module ItsVru_TestCases { 
     */

    testcase TC_VBS_TRANS_BV_04() runs on ItsBaseMtc system ItsVruSystem {

      // Local variables

      var ItsVru v_vam_cluster_leader;

      var ItsVru v_vam_cluster_member;

      var ItsVru v_iut;



      // Test control

      if (not(PICS_VAM_TRANSMISSION and PICS_CLUSTERING and not PICS_IS_IUT_SECURED)) {

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

      if (not(PICS_VAM_TRANSMISSION and PICS_CLUSTERING and PICS_IS_IUT_SECURED)) {

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

        setverdict(inconc);

        stop;

      }



      // Test component configuration

      f_cfMtcUp01(v_vam_cluster_leader, v_iut);

      f_cfMtcUp01(v_vam_cluster_member, v_iut);



      // Start components

      v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader());

      v_vam_cluster_member.start(f_TC_VBS_MSGF_BV_17_cluster_member());

      v_iut.start(f_TC_VBS_TRANS_BV_04_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);

      f_cfMtcDown01(v_vam_cluster_member, v_iut);



    } // End of TC_VBS_TRANS_BV_04

ItsVru_TpFunctions.ttcn

+381 −274

File changed.

Preview size limit exceeded, changes collapsed.

lib_system/LibItsVru_Functions.ttcn

+14 −14
Original line number Diff line number Diff line
@@ -258,17 +258,17 @@ module LibItsVru_Functions { 
    } // End of function f_cfMtcUp01

    

    function f_cfMtcUp02(

                         out ItsVru p_vam_cluster_leader_1,

                         out ItsVru p_vam_cluster_leader_2,

                         out ItsVru p_vam_cluster_1,

                         out ItsVru p_vam_cluster_2,

                         out ItsVru p_iut

                         ) runs on ItsBaseMtc {

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

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

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

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

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

      

      connect(self:syncPort, mtc:syncPort);

      connect(p_vam_cluster_leader_1:syncPort, self:syncPort);

      connect(p_vam_cluster_leader_2:syncPort, self:syncPort);

      connect(p_vam_cluster_1:syncPort, self:syncPort);

      connect(p_vam_cluster_2:syncPort, self:syncPort);

      connect(p_iut:syncPort, self:syncPort);

      

      //connect(p_vam_cluster_leader:infoPort, p_iut:infoPort);
@@ -293,22 +293,22 @@ module LibItsVru_Functions { 
    }



    function f_cfMtcDown02(

                           out ItsVru p_vam_cluster_leader_1,

                           out ItsVru p_vam_cluster_leader_2,

                           out ItsVru p_vam_cluster_1,

                           out ItsVru p_vam_cluster_2,

                           inout ItsVru p_iut

                           ) runs on ItsBaseMtc {

      

      deactivate;



      disconnect(self:syncPort, mtc:syncPort);

      disconnect(p_vam_cluster_leader_1:syncPort, self:syncPort);

      disconnect(p_vam_cluster_leader_2:syncPort, self:syncPort);

      disconnect(p_vam_cluster_1:syncPort, self:syncPort);

      disconnect(p_vam_cluster_2:syncPort, self:syncPort);

      disconnect(p_iut:syncPort, self:syncPort);

      

      //disconnect(p_vam_cluster_leader:infoPort, p_iut:infoPort);

      

      p_vam_cluster_leader_1.done;

      p_vam_cluster_leader_2.done;

      p_vam_cluster_1.done;

      p_vam_cluster_2.done;

      p_iut.done;

    }
@@ -351,7 +351,7 @@ module LibItsVru_Functions { 
     * @desc  Setups default configuration   

     * @param   p_certificateId The certificate identifier the TA shall use in case of secured IUT

     */

    function f_cfUp_cluster_leader() runs on ItsVru system ItsVruSystem {

    function f_cfUp_cluster() runs on ItsVru system ItsVruSystem {

      

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

      map(self:acPort, system:acPort);
@@ -361,7 +361,7 @@ module LibItsVru_Functions { 
      // Initialise secured mode

      f_initialiseSecuredMode();



    } // End of function f_cfUp_cluster_leader

    } // End of function f_cfUp_cluster

    

    /**

     * @desc  Deletes default configuration