/** * @author ETSI / STF484 / TTF002 * @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsMapemSpatem/ItsMapemSpatem_TestControl.ttcn $ * $Id: ItsMapemSpatem_TestControl.ttcn 2639 2016-12-14 09:22:07Z garciay $ * @desc Test Control file for MAPEM SPATEM * @copyright ETSI Copyright Notification * No part may be reproduced except as authorized by written permission. * The copyright and the foregoing restriction extend to reproduction in all media. * All rights reserved. * */ module ItsMapemSpatem_TestControl { // LibItsMapemSpatem import from LibItsMapemSpatem_Pics all; // ATS MAPSpat import from ItsMapem_TestCases all; import from ItsSpatem_TestCases all; // Test Execution control { if (PICS_MAPEM_GENERATION) { execute(TC_IS_RLT_GEN_MSGF_BV_01 ()); execute(TC_IS_RLT_GEN_MSGF_BV_02 ()); execute(TC_IS_RLT_GEN_MSGF_BV_03 ()); execute(TC_IS_RLT_GEN_MSGF_BV_04 ()); execute(TC_IS_RLT_GEN_MSGF_BV_05 ()); execute(TC_IS_RLT_GEN_MSGF_BV_06 ()); execute(TC_IS_RLT_GEN_MSGF_BV_07 ()); execute(TC_IS_RLT_GEN_MSGF_BV_08 ()); if (PICS_PEDESTRIAN_MANOEUVRES) { execute(TC_IS_RLT_GEN_MSGF_BV_09 ()); } if (PICS_SPECIALIZED_CARS_MANOEUVRES) { execute(TC_IS_RLT_GEN_MSGF_BV_10 ()); } execute(TC_IS_RLT_GEN_MSGF_BV_11 ()); if (PICS_MAPEM_HAS_LANE_WIDTH) { execute(TC_IS_RLT_GEN_MSGF_BV_12 ()); execute(TC_IS_RLT_GEN_MSGF_BV_13 ()); } execute(TC_IS_RLT_GEN_MSGF_BV_14 ()); execute(TC_IS_RLT_GEN_MSGF_BV_15 ()); execute(TC_IS_RLT_GEN_MSGF_BV_16 ()); if (PICS_ETSI_STRICT) { execute(TC_IS_RLT_GEN_MSGF_BV_17 ()); } if (PICS_SPATEM_GENERATION) { execute(TC_IS_RLT_GEN_COM_BV_01 ()); // execute(TC_IS_RLT_GEN_COM_BV_02 ()); } execute(TC_IS_RLT_GEN_COM_BV_03 ()); if (PICS_SHORT_RANGE) { execute(TC_IS_RLT_GEN_COM_BV_04 ()); } if (PICS_IS_IUT_SECURED) { execute(TC_IS_RLT_GEN_SEC_BV_01 ()); execute(TC_IS_RLT_GEN_SEC_BV_02 ()); execute(TC_IS_RLT_GEN_SSP_BV_01 ()); execute(TC_IS_RLT_GEN_SSP_BV_02 ()); execute(TC_IS_RLT_GEN_SSP_BO_03 ()); execute(TC_IS_RLT_GEN_SSP_BV_04 ()); execute(TC_IS_RLT_GEN_SSP_BO_05 ()); } } if (PICS_MAPEM_RECEPTION) { if (PICS_MAPEM_TRANSMISSION_RATE) { execute(TC_IS_RLT_GEN_RATE_BV_01 ()); } execute(TC_IS_RLT_GEN_RCV_BV_03 ()); if (PICS_IS_IUT_SECURED) { execute(TC_IS_RLT_RCV_SEC_BV_01 ()); execute(TC_IS_RLT_RCV_SEC_BO_02 ()); execute(TC_IS_RLT_RCV_SEC_BO_03 ()); execute(TC_IS_RLT_RCV_SEC_BO_04 ()); } } if (PICS_SPATEM_GENERATION) { execute(TC_IS_TLM_GEN_MSGF_BV_01 ()); execute(TC_IS_TLM_GEN_MSGF_BV_02 ()); execute(TC_IS_TLM_GEN_MSGF_BV_03 ()); execute(TC_IS_TLM_GEN_MSGF_BV_04 ()); execute(TC_IS_TLM_GEN_MSGF_BV_05 ()); execute(TC_IS_TLM_GEN_MSGF_BV_06 ()); if (PICS_SPATEM_PEDESTRIAN_MANOEUVRES) { execute(TC_IS_TLM_GEN_MSGF_BV_07 ()); } execute(TC_IS_TLM_GEN_MSGF_BV_08 ()); if (PICS_SPATEM_HAS_TIMING) { execute(TC_IS_TLM_GEN_MSGF_BV_09 ()); } if (PICS_SPATEM_PRIORITIZATION ) { execute(TC_IS_TLM_GEN_MSGF_BV_10 ()); } if (PICS_SPATEM_PEDESTRIAN_MANOEUVRES ) { execute(TC_IS_TLM_GEN_MSGF_BV_11 ()); } if (PICS_SPATEM_HAS_OPTIMAL_SPEED ) { execute(TC_IS_TLM_GEN_MSGF_BV_12 ()); } if (PICS_SPATEM_HAS_SIGNAL_PROGRESSION_SPEED ) { execute(TC_IS_TLM_GEN_MSGF_BV_13 ()); } if (PICS_SPATEM_HAS_EGRESS_QUEUE ) { execute(TC_IS_TLM_GEN_MSGF_BV_14 ()); } execute(TC_IS_TLM_GEN_EVGN_BV_01 ()); execute(TC_IS_TLM_GEN_EVGN_BV_02 ()); execute(TC_IS_TLM_GEN_EVGN_BV_03 ()); execute(TC_IS_TLM_GEN_EVGN_BV_04 ()); if (PICS_SHORT_RANGE) { execute(TC_IS_TLM_GEN_COM_BV_01 ()); execute(TC_IS_TLM_GEN_COM_BV_02 ()); } execute(TC_IS_TLM_GEN_COM_BV_03 ()); if (PICS_IS_IUT_SECURED) { execute(TC_IS_TLM_GEN_SEC_BV_01 ()); execute(TC_IS_TLM_GEN_SEC_BV_02 ()); execute(TC_IS_TLM_GEN_SSP_BV_01 ()); execute(TC_IS_TLM_GEN_SSP_BV_02 ()); execute(TC_IS_TLM_GEN_SSP_BO_03 ()); execute(TC_IS_TLM_GEN_SSP_BV_04 ()); execute(TC_IS_TLM_GEN_SSP_BO_05 ()); execute(TC_IS_TLM_GEN_SSP_BV_06 ()); execute(TC_IS_TLM_GEN_SSP_BV_07 ()); execute(TC_IS_TLM_GEN_SSP_BO_08 ()); execute(TC_IS_TLM_GEN_SSP_BO_09 ()); } if (PICS_SPATEM_TRANSMISSION_RATE) { execute(TC_IS_TLM_GEN_RATE_BV_01 ()); } } if (PICS_SPATEM_RECEPTION) { execute(TC_IS_TLM_RCV_MSGF_BV_01 ()); if (PICS_IS_IUT_SECURED) { execute(TC_IS_TLM_RCV_SEC_BV_01 ()); execute(TC_IS_TLM_RCV_SEC_BO_01 ()); execute(TC_IS_TLM_RCV_SSP_BV_01 ()); execute(TC_IS_TLM_RCV_SSP_BO_02 ()); execute(TC_IS_TLM_RCV_SSP_BV_03 ()); execute(TC_IS_TLM_RCV_SSP_BO_04 ()); execute(TC_IS_TLM_RCV_SSP_BV_05 ()); execute(TC_IS_TLM_RCV_SSP_BO_06 ()); } } } // End of 'control' statement } // End of module ItsMapemSpatem_TestControl