ItsSecurity_TestControl.ttcn3 4.51 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
/**
 *  @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