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
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
/**
* @author ETSI / STF455
* @version $URL$
* $Id$
* @desc Test Control file for Access Technology Support ISO 21218 (TP version: 0.0.1)
*
*/
module ItsAtsp_TestControl {
// ItsAtsp
import from ItsAtsp_TestCases {testcase all};
// LibIts
import from LibItsAtsp_Pics all;
// Test Execution
control {
// State Event Transistions (SE)
// SE - Valid Behaviour
if (PICS_DYNREG and PICS_MAC48) {
execute(TC_ATSP_SE_BV_01());
}
if (PICS_DYNREG and not(PICS_MAC48)) {
execute(TC_ATSP_SE_BV_02());
}
if (PICS_DYNREG) {
execute(TC_ATSP_SE_BV_03());
execute(TC_ATSP_SE_BV_10());
}
if (PICS_CIC_l2) {
execute(TC_ATSP_SE_BV_04());
execute(TC_ATSP_SE_BV_16());
}
if (PICS_CIC_l3) {
execute(TC_ATSP_SE_BV_05());
}
if (PICS_CIC_l4) {
execute(TC_ATSP_SE_BV_06());
}
if (PICS_CIC_l1) {
execute(TC_ATSP_SE_BV_07());
}
if (PICS_CIC_l3 and PICS_MCVCI) {
execute(TC_ATSP_SE_BV_08());
}
if ((PICS_CIC_l1 or PICS_CIC_il1) and PICS_MCVCI) {
execute(TC_ATSP_SE_BV_09());
}
if (PICS_INACT) {
execute(TC_ATSP_SE_BV_11());
}
if (PICS_ACT) {
execute(TC_ATSP_SE_BV_12());
}
if (PICS_SUSP) {
execute(TC_ATSP_SE_BV_13());
}
if (PICS_RES) {
execute(TC_ATSP_SE_BV_14());
}
if (PICS_CIC_l2 and PICS_CIAC2) {
execute(TC_ATSP_SE_BV_15());
}
if ((PICS_CIAC2 or PICS_CIAC3) and PICS_DISCONN) {
execute(TC_ATSP_SE_BV_17());
}
// SE - Invalid Valid Behaviour
if (PICS_DYNREG or PICS_INACT or PICS_ACT or PICS_SUSP or PICS_RES or PICS_CONN or PICS_DISCONN) {
execute(TC_ATSP_SE_BI_01());
}
if ((PICS_CIAC2 or PICS_CIAC3) and PICS_CONN) {
execute(TC_ATSP_SE_BI_02());
}
// MIB I-Parameters (MB)
// MB - Valid Behaviour
if (PICS_IPRW or PICS_IPRO) {
execute(TC_ATSP_MB_BV_01());
}
if (PICS_IPRW or PICS_IPWO) {
execute(TC_ATSP_MB_BV_02());
}
if (PICS_IPRW or PICS_IPRO or PICS_IPNO) {
execute(TC_ATSP_MB_BV_03());
}
// MB - Invalid Valid Behaviour
execute (TC_ATSP_MB_BI_01());
execute (TC_ATSP_MB_BI_02());
if (PICS_IPRO or PICS_IPNO) {
execute(TC_ATSP_MB_BI_03());
}
// Handling of CIs (HC)
// HC - Valid Behaviour
execute (TC_ATSP_HC_BV_03());
execute (TC_ATSP_HC_BV_05());
if (PICS_WAKEUP) {
execute(TC_ATSP_HC_BV_01());
}
if (PICS_RIM) {
execute(TC_ATSP_HC_BV_02());
}
if (PICS_DELET) {
execute(TC_ATSP_HC_BV_04());
}
// HC - Invalid Valid Behaviour
execute(TC_ATSP_HC_BI_01());
// Handling of data plane (DP)
// DP - Valid Behaviour
if ((PICS_MAC48 and PICS_BCVCI) and not(PICS_CIC_l4) and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_01());
}
if ((PICS_MAC48 and PICS_MCVCI) and not(PICS_CIC_l4) and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_02());
}
if ((PICS_MAC48 and PICS_UCVCI) and not(PICS_CIC_l4) and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_03());
}
if (PICS_MAC48 and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_04());
execute(TC_ATSP_DP_BV_05());
execute(TC_ATSP_DP_BV_06());
}
if (PICS_MAC48 and not(PICS_CIC_l4) and PICS_SUSP and PICS_RES) {
execute(TC_ATSP_DP_BV_07());
}
if (PICS_CRCIP_V) {
execute(TC_ATSP_DP_BV_08());
execute(TC_ATSP_DP_BV_09());
execute(TC_ATSP_DP_BV_10());
execute(TC_ATSP_DP_BV_11());
execute(TC_ATSP_DP_BV_12());
}
if (PICS_CRCIP_I) {
execute(TC_ATSP_DP_BV_13());
execute(TC_ATSP_DP_BV_14());
}
// DP - Invalid Valid Behaviour
if (PICS_INUDS and not(PICS_CIC_l4)) {
execute(TC_ATSP_DP_BI_01());
}
if (not(PICS_INUDS) and not(PICS_CIC_l4)) {
execute(TC_ATSP_DP_BI_02());
}
} // End of control
} // End of module ItsAtsp_TestControl