ItsSecurity_TestControl.ttcn

/**
 *  @author   ETSI / STF481 / STF507 / STF517
 *  @version  $URL$
 *            $Id$
 *  @desc     Test Control file for Security Protocol 
 *  @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 ItsSecurity_TestControl {
    
    // LibItsGeoNetworking
    import from LibItsGeoNetworking_Pics all;
    
    // ItsSecurity
    import from ItsSecurity_TestCases all;
    import from LibItsSecurity_Pics all;
    
    // Test Execution
    control {
        
        /**
         * @desc Sending behaviour test cases
         * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2 Sending behaviour
         */
        if (PICS_GN_SECURITY) {
            execute(TC_SEC_ITSS_SND_MSG_01_BV());
            
            /**
             * @desc Sending behaviour test cases for CAM profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.4 CAM profile
             */
            execute(TC_SEC_ITSS_SND_CAM_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_02_BV());
            execute(TC_SEC_ITSS_SND_CAM_03_BV());
            execute(TC_SEC_ITSS_SND_CAM_04_BV());
            execute(TC_SEC_ITSS_SND_CAM_05_BV());
            execute(TC_SEC_ITSS_SND_CAM_06_BV());
            execute(TC_SEC_ITSS_SND_CAM_07_BV());
            execute(TC_SEC_ITSS_SND_CAM_08_BV());
        }
        
    } // End of 'control' statement
    
} // End of module ItsSecurity_TestControl