ItsSrem_TestControl.ttcn 1.31 KB
Newer Older
garciay's avatar
garciay committed
/**
 *  @author     ETSI / STF517
 *  @version    $URL$
 *              $Id$
 *  @desc       Test Control file for TLC
 *
 */
module ItsSrem_TestControl {
    
    // ATS SREM
    import from ItsSrem_TestCases all;
    
    // LibIts
    import from LibItsSremSsem_Pics all;
    
    // Test Execution
    control {
        
garciay's avatar
garciay committed
        if (not PICS_RSU_ROLE) {
garciay's avatar
garciay committed
            
            if (PICS_SREM_GENERATION) {
                
                execute(TC_IS_RLT_MSGF_BV_01());
                execute(TC_IS_TLC_EVGN_BV_01());
                execute(TC_IS_TLC_EVGN_BV_02());
                execute(TC_IS_TLC_COMM_BV_01_01());
                execute(TC_IS_TLC_COMM_BV_01_02());
                
                if (PICS_SSEM_RECEPTION) {
                    
                    execute(TC_IS_TLC_MSGF_BV_03());
                    
                }
                
            }
            
        }
        
garciay's avatar
garciay committed
        if (PICS_RSU_ROLE) {
garciay's avatar
garciay committed
            
            if (PICS_SREM_GENERATION) {
                
                execute(TC_IS_TLC_MSGF_BV_04());
                
                if (PICS_SREM_RECEPTION) {
                    
                    execute(TC_IS_TLC_MSGF_BV_02());
                    
                }
                
            }
            
        }
    }
    
} // End of module ItsSrem_TestControl