ItsGeoNetworking_TestControl.ttcn 7.67 KB
Newer Older
filatov's avatar
filatov committed
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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
/**
 *  @author     ETSI / STF405 / STF449
 *  @version    $URL$
 *              $Id$
 *  @desc       Test Control file for GeoNetworking
 *
 */
module ItsGeoNetworking_TestControl {
    
    // ATS GeoNetworking
    import from ItsGeoNetworking_TestCases {testcase all};
    
    // LibIts
    import from LibItsGeoNetworking_Pics all;
    import from LibItsGeoNetworking_TypesAndValues all;
    
    // Test Execution
    control {
        
        execute(TC_GEONW_FDV_BAH_BV_01());
        execute(TC_GEONW_FDV_BAH_BV_02());
        
        execute(TC_GEONW_FDV_COH_BV_01());
        execute(TC_GEONW_FDV_COH_BV_02());
        execute(TC_GEONW_FDV_COH_BV_03());
        execute(TC_GEONW_FDV_COH_BV_04());
        
        execute(TC_GEONW_FDV_BEA_BV_01());
        execute(TC_GEONW_FDV_BEA_BV_02());
        execute(TC_GEONW_FDV_BEA_BV_03());
        execute(TC_GEONW_FDV_BEA_BV_04());
        
        execute(TC_GEONW_FDV_GUC_BV_01());
        
        execute(TC_GEONW_FDV_GBC_BV_01());
        
        execute(TC_GEONW_FDV_GAC_BV_01());
        
        execute(TC_GEONW_FDV_SHB_BV_01());
        
        execute(TC_GEONW_FDV_TSB_BV_01());
        
        execute(TC_GEONW_PON_LOT_BV_01());
        execute(TC_GEONW_PON_LOT_BV_02());
        execute(TC_GEONW_PON_LOT_BV_03_01());
        execute(TC_GEONW_PON_LOT_BV_03_02());
        execute(TC_GEONW_PON_LOT_BV_03_03());
        execute(TC_GEONW_PON_LOT_BV_03_04());
        execute(TC_GEONW_PON_LOT_BV_03_05());
        execute(TC_GEONW_PON_LOT_BV_03_06());
        execute(TC_GEONW_PON_LOT_BV_03_07());
        execute(TC_GEONW_PON_LOT_BV_03_08());
        execute(TC_GEONW_PON_LOT_BV_04());
        execute(TC_GEONW_PON_LOT_BV_05_01());
        execute(TC_GEONW_PON_LOT_BV_05_02());
        execute(TC_GEONW_PON_LOT_BV_05_03());
        execute(TC_GEONW_PON_LOT_BV_05_04());
        execute(TC_GEONW_PON_LOT_BV_05_05());
        execute(TC_GEONW_PON_LOT_BV_05_06());
        execute(TC_GEONW_PON_LOT_BV_05_07());
        
        execute(TC_GEONW_PON_LPV_BV_01());
        
        execute(TC_GEONW_PON_SQN_BV_01());
        execute(TC_GEONW_PON_SQN_BV_02());
        
        execute(TC_GEONW_PON_LOS_BV_01());
        execute(TC_GEONW_PON_LOS_BV_02());
        execute(TC_GEONW_PON_LOS_BV_03());
        execute(TC_GEONW_PON_LOS_BV_04());
        execute(TC_GEONW_PON_LOS_BV_05());
        execute(TC_GEONW_PON_LOS_BV_06());
        execute(TC_GEONW_PON_LOS_BV_07());
        execute(TC_GEONW_PON_LOS_BV_08());
        execute(TC_GEONW_PON_LOS_BV_09());
        execute(TC_GEONW_PON_LOS_BV_10());
        execute(TC_GEONW_PON_LOS_BV_11());
        execute(TC_GEONW_PON_LOS_BV_12());
        execute(TC_GEONW_PON_LOS_BV_13());
        execute(TC_GEONW_PON_LOS_BV_14());
        
        execute(TC_GEONW_PON_FPB_BV_01());
        execute(TC_GEONW_PON_FPB_BV_02());
        execute(TC_GEONW_PON_FPB_BV_03());
        execute(TC_GEONW_PON_FPB_BV_04());
        execute(TC_GEONW_PON_FPB_BV_06());
        execute(TC_GEONW_PON_FPB_BV_07());
        execute(TC_GEONW_PON_FPB_BV_08());
        execute(TC_GEONW_PON_FPB_BV_09());
        execute(TC_GEONW_PON_FPB_BV_10());
        execute(TC_GEONW_PON_FPB_BV_11_01());
        execute(TC_GEONW_PON_FPB_BV_11_02());
        execute(TC_GEONW_PON_FPB_BV_11_03());
        execute(TC_GEONW_PON_FPB_BV_11_04());
        execute(TC_GEONW_PON_FPB_BV_11_05());
        execute(TC_GEONW_PON_FPB_BV_12_01());
        execute(TC_GEONW_PON_FPB_BV_12_02());
        execute(TC_GEONW_PON_FPB_BV_12_03());
        execute(TC_GEONW_PON_FPB_BV_12_04());
        
        if (PICS_GN_LOCAL_ADDR_CONF_METHOD == e_initial) {
            execute(TC_GEONW_PON_GNA_BV_01());
        }
        execute(TC_GEONW_PON_GNA_BV_02());
        
        execute(TC_GEONW_PON_BEA_BV_01());
        execute(TC_GEONW_PON_BEA_BV_02());
        
        execute(TC_GEONW_PON_GUC_BV_01());
        if ((PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_greedy) or (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_unspecified)) {
            execute(TC_GEONW_PON_GUC_BV_02());
        }
        execute(TC_GEONW_PON_GUC_BV_03());
        execute(TC_GEONW_PON_GUC_BV_04());
        execute(TC_GEONW_PON_GUC_BV_05());
        if (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_cbf) {
            execute(TC_GEONW_PON_GUC_BV_06());
            execute(TC_GEONW_PON_GUC_BV_07());
            execute(TC_GEONW_PON_GUC_BV_08());
            execute(TC_GEONW_PON_GUC_BV_10());
        }
        
        execute(TC_GEONW_PON_GBC_BV_01());
        execute(TC_GEONW_PON_GBC_BV_02());
        if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified)) {
            execute(TC_GEONW_PON_GBC_BV_03());
            execute(TC_GEONW_PON_GBC_BV_04());
        }
        execute(TC_GEONW_PON_GBC_BV_05());
        execute(TC_GEONW_PON_GBC_BV_06());
        if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified)) {
            execute(TC_GEONW_PON_GBC_BV_07());
            execute(TC_GEONW_PON_GBC_BV_08());
        }
        execute(TC_GEONW_PON_GBC_BV_09());
        execute(TC_GEONW_PON_GBC_BV_10());
        execute(TC_GEONW_PON_GBC_BV_11());
        if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified)) {
            execute(TC_GEONW_PON_GBC_BV_12());
        }
        execute(TC_GEONW_PON_GBC_BV_19());
        execute(TC_GEONW_PON_GBC_BV_20());
        execute(TC_GEONW_PON_GBC_BV_21());
        
        execute(TC_GEONW_PON_TSB_BV_01());
        execute(TC_GEONW_PON_TSB_BV_02());
        execute(TC_GEONW_PON_TSB_BV_03());
        execute(TC_GEONW_PON_TSB_BV_04());
        execute(TC_GEONW_PON_TSB_BV_05());
        execute(TC_GEONW_PON_TSB_BV_06());
        execute(TC_GEONW_PON_TSB_BV_07());
        
        execute(TC_GEONW_PON_SHB_BV_01());
        execute(TC_GEONW_PON_SHB_BV_02());
        
        execute(TC_GEONW_PON_GAC_BV_01());
        execute(TC_GEONW_PON_GAC_BV_02());
        execute(TC_GEONW_PON_GAC_BV_03());
        execute(TC_GEONW_PON_GAC_BV_04());
        execute(TC_GEONW_PON_GAC_BV_05());
        execute(TC_GEONW_PON_GAC_BV_06());
        execute(TC_GEONW_PON_GAC_BV_07());
        execute(TC_GEONW_PON_GAC_BV_08());
        execute(TC_GEONW_PON_GAC_BV_09());
        execute(TC_GEONW_PON_GAC_BV_10());
        execute(TC_GEONW_PON_GAC_BV_11());
        execute(TC_GEONW_PON_GAC_BV_12());
        
        if (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM != e_cbf) {
            execute(TC_GEONW_PON_BCA_BV_01());
            execute(TC_GEONW_PON_BCA_BV_02());
            execute(TC_GEONW_PON_BCA_BV_03());
            execute(TC_GEONW_PON_BCA_BV_04());
            execute(TC_GEONW_PON_BCA_BV_05());
            execute(TC_GEONW_PON_BCA_BV_06());
            execute(TC_GEONW_PON_BCA_BV_07());
        }
        
        if (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM != e_advanced) {
            execute(TC_GEONW_PON_BAA_BV_01());
            execute(TC_GEONW_PON_BAA_BV_02());
            execute(TC_GEONW_PON_BAA_BV_03());
            execute(TC_GEONW_PON_BAA_BV_04());
            execute(TC_GEONW_PON_BAA_BV_06());
            execute(TC_GEONW_PON_BAA_BV_07());
            execute(TC_GEONW_PON_BAA_BV_08());
            execute(TC_GEONW_PON_BAA_BV_09());
            execute(TC_GEONW_PON_BAA_BV_10());
            execute(TC_GEONW_PON_BAA_BV_11());
        }
        
        execute(TC_GEONW_CAP_LOS_BV_01());
        
        execute(TC_GEONW_CAP_FPB_BV_01());
        execute(TC_GEONW_CAP_FPB_BV_02());
        
    }
    
} // end ItsGeoNetworking_TestControl