ItsMapemSpatem_TestControl.ttcn

/**
 *    @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