Newer
Older
* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsSremSsem/ItsSrem_TestControl.ttcn $
* $Id: ItsSrem_TestControl.ttcn 2639 2016-12-14 09:22:07Z garciay $
* @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 {
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_SREM_RECEPTION) {
execute(TC_IS_TLC_MSGF_BV_02());
}