ItsMapemSpatem_TestControl.ttcn

/**
 *    @author   ETSI / STF484
 *    @version  $URL$
 *              $Id$
 *    @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_MSGF_BV_01 ());
            execute(TC_IS_RLT_EVGN_BV_01 ());
            execute(TC_IS_RLT_EVGN_BV_02 ());
            
            if (PICS_SPATEM_GENERATION) {
                execute(TC_IS_RLT_COMM_BV_01 ());
            }
            
            execute(TC_IS_RLT_COMM_BV_02_01 ());
            execute(TC_IS_RLT_COMM_BV_02_02 ());
            execute(TC_IS_RLT_COMM_BV_03 ());
        }
        
        if (PICS_SPATEM_GENERATION) {
            execute(TC_IS_TLM_MSGF_BV_01 ());
            execute(TC_IS_TLM_EVGN_BV_01 ());
            execute(TC_IS_TLM_EVGN_BV_02 ());
            execute(TC_IS_TLM_EVGN_BV_03 ());
            execute(TC_IS_TLM_EVGN_BV_04 ());
            
            execute(TC_IS_TLM_COMM_BV_01 ());
            execute(TC_IS_TLM_COMM_BV_02_01 ());
            execute(TC_IS_TLM_COMM_BV_02_02 ());
            execute(TC_IS_TLM_COMM_BV_03 ());
            execute(TC_IS_TLM_MSGF_BV_02 ());
        }
        
    } // End of 'control' statement
    
} // End of module ItsMapemSpatem_TestControl