/**
 *  @author   ETSI / STF481
 *  @version  $URL$
 *            $Id$
 *  @desc     Test Control file for Security Protocol 
 *
 */
module ItsSecurity_TestControl {
    
    // ItsSecurity
    import from ItsSecurity_TestCases all;
    
    // Test Execution
    control {
        
        execute(TC_SEC_ITSS_SND_MSG_01());
        execute(TC_SEC_ITSS_SND_MSG_04_01());
        execute(TC_SEC_ITSS_SND_MSG_04_02());
        execute(TC_SEC_ITSS_SND_MSG_05_01());
        
        execute(TC_SEC_ITSS_SND_CAM_05_01());
        execute(TC_SEC_ITSS_SND_CAM_06_01());
        execute(TC_SEC_ITSS_SND_CAM_06_02());
        execute(TC_SEC_ITSS_SND_CAM_07_01());
        execute(TC_SEC_ITSS_SND_CAM_07a_01());
        execute(TC_SEC_ITSS_SND_CAM_08_01());
        execute(TC_SEC_ITSS_SND_CAM_09_01());
        execute(TC_SEC_ITSS_SND_CAM_10_01());
        execute(TC_SEC_ITSS_SND_CAM_11_01());
        execute(TC_SEC_ITSS_SND_CAM_12_01());
        execute(TC_SEC_ITSS_SND_CAM_14_01());
        execute(TC_SEC_ITSS_SND_CAM_16_01());
        
        execute(TC_SEC_ITSS_SND_DENM_02_01());
        execute(TC_SEC_ITSS_SND_DENM_03_01());
        execute(TC_SEC_ITSS_SND_DENM_04_01());
        execute(TC_SEC_ITSS_SND_DENM_05_01());
        execute(TC_SEC_ITSS_SND_DENM_05_03());
        execute(TC_SEC_ITSS_SND_DENM_05_04());
        execute(TC_SEC_ITSS_SND_DENM_05_05());
        execute(TC_SEC_ITSS_SND_DENM_05_06());
        execute(TC_SEC_ITSS_SND_DENM_06_01());
        execute(TC_SEC_ITSS_SND_DENM_08_01());
        execute(TC_SEC_ITSS_SND_DENM_10_01());
        
        execute(TC_SEC_ITSS_SND_GENMSG_02_01());
        execute(TC_SEC_ITSS_SND_GENMSG_03_01());
        execute(TC_SEC_ITSS_SND_GENMSG_04_01());
        execute(TC_SEC_ITSS_SND_GENMSG_05_01());
        execute(TC_SEC_ITSS_SND_GENMSG_05_02());
        execute(TC_SEC_ITSS_SND_GENMSG_05_03());
        execute(TC_SEC_ITSS_SND_GENMSG_05_04());
        execute(TC_SEC_ITSS_SND_GENMSG_05_05());
        execute(TC_SEC_ITSS_SND_GENMSG_05_06());
        execute(TC_SEC_ITSS_SND_GENMSG_06_01());
        execute(TC_SEC_ITSS_SND_GENMSG_07_01());
        
        execute(TC_SEC_ITSS_RCV_CAM_01_01_NB());
        execute(TC_SEC_ITSS_RCV_CAM_01_02_NB());
        execute(TC_SEC_ITSS_RCV_CAM_01_03_NB());
        execute(TC_SEC_ITSS_RCV_CAM_02_01a_EB());
        execute(TC_SEC_ITSS_RCV_CAM_02_01b_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_01a_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_01b_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_01c_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_02a_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_03a_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_05a_EB());
        execute(TC_SEC_ITSS_RCV_CAM_04_05b_EB());
        execute(TC_SEC_ITSS_RCV_CAM_07_01_EB());
        execute(TC_SEC_ITSS_RCV_CAM_09_02_EB());
        execute(TC_SEC_ITSS_RCV_CAM_09_03_EB());
        execute(TC_SEC_ITSS_RCV_CAM_09_04_EB());
        execute(TC_SEC_ITSS_RCV_CAM_09_05_EB());
        execute(TC_SEC_ITSS_RCV_CAM_09_06_EB());
        execute(TC_SEC_ITSS_RCV_CAM_10_01_EB());
        execute(TC_SEC_ITSS_RCV_CAM_10_02_EB());
        execute(TC_SEC_ITSS_RCV_CAM_11_01_EB());
        execute(TC_SEC_ITSS_RCV_CAM_11_02_EB());
        execute(TC_SEC_ITSS_RCV_CAM_12_01_EB());
        execute(TC_SEC_ITSS_RCV_CAM_12_02_EB());
        
        execute(TC_SEC_SND_CERT_01_01());
        execute(TC_SEC_SND_CERT_01_02());
        execute(TC_SEC_SND_CERT_02_01());
        execute(TC_SEC_SND_CERT_04_01());
        execute(TC_SEC_SND_CERT_04_02());
        execute(TC_SEC_SND_CERT_05_01());
        execute(TC_SEC_SND_CERT_05_02());
        execute(TC_SEC_SND_CERT_06_01());
        execute(TC_SEC_SND_CERT_06_02());
        execute(TC_SEC_SND_CERT_06_03());
        execute(TC_SEC_SND_CERT_06_04());
        execute(TC_SEC_SND_CERT_07_01());
        execute(TC_SEC_SND_CERT_09_01());
        execute(TC_SEC_SND_CERT_09_02());
        
        execute(TC_SEC_SND_CERT_AA_01_01());
        execute(TC_SEC_SND_CERT_AA_02_01());
        execute(TC_SEC_SND_CERT_AA_04_01());
        execute(TC_SEC_SND_CERT_AA_05_01());
        execute(TC_SEC_SND_CERT_AA_06_01());
        execute(TC_SEC_SND_CERT_AA_08_01());
        execute(TC_SEC_SND_CERT_AT_01_01());
        execute(TC_SEC_SND_CERT_AT_02_01());
        execute(TC_SEC_SND_CERT_AT_03_01());
        execute(TC_SEC_SND_CERT_AT_04_01());
        execute(TC_SEC_SND_CERT_AT_05_01());
        execute(TC_SEC_SND_CERT_AT_07_01());
        execute(TC_SEC_SND_CERT_AT_08_01());
        execute(TC_SEC_SND_CERT_AT_09_01());
        
    } // End of 'control' statement
    
} // End of module ItsSecurity_TestControl