/** * @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 (not PICS_RSU_ROLE) { 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()); } } } if (PICS_RSU_ROLE) { 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