ItsSrem_TestControl.ttcn

/**
 *  @author     ETSI / STF517
 *  @version    $URL$
 *              $Id$
 *  @desc       Test Control file for TLC
 *  @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 ItsSrem_TestControl {
    
    // ATS SREM
    import from ItsSrem_TestCases all;
    
    // LibIts
    import from LibItsSremSsem_Pics all;
    
    // Test Execution
    control {
        
        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_EVUP_BV_01());
            
            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());
            
        }
        
        if (PICS_SSEM_GENERATION) {
            
            execute(TC_IS_TLC_MSGF_BV_04());
            
        }
        
        if (PICS_SREM_RECEPTION) {
            
            execute(TC_IS_TLC_MSGF_BV_02());
            
        }
        
    }
    
} // End of module ItsSrem_TestControl