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
/**
* @author ETSI / STF422_EETS
* @version $URL:$
* $Id:$
* @desc test control file for Fast service advertisement protocol (ISO 24102-5)
*/
module ItsFsap_TestControl {
// LibCommon
// ATS FSAP
import from ItsFsap_TestCases {
testcase all
};
// LibIts
import from LibItsFsap_Pics all;
// Test Execution
control {
// 9.1 Service provider
// 9.1.1,4,5 Combined ITS-S host and ITS-S router - valid behavior
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH) {
execute(TC_FSAP_SP_HR_BV_01());
execute(TC_FSAP_SP_HR_BV_02());
execute(TC_FSAP_SP_HR_BV_03());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_FSAP_MULTIPLE_AL_TECHNOLOGIES) {
execute(TC_FSAP_SP_HR_BV_04());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_HR_BV_05());
}
// 9.1.1,4,5 Combined ITS-S host and ITS-S router - invalid behavior
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH) {
execute(TC_FSAP_SP_HR_BI_01());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_FSAP_MULTIPLE_AL_TECHNOLOGIES) {
execute(TC_FSAP_SP_HR_BI_02());
}
// 9.1.2 ITS-S host only - valid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_HO_BV_01());
execute(TC_FSAP_SP_HO_BV_02());
execute(TC_FSAP_SP_HO_BV_03());
execute(TC_FSAP_SP_HO_BV_04());
}
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_HO_BV_05());
}
// 9.1.2 ITS-S host only - invalid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_HO_BI_01());
execute(TC_FSAP_SP_HO_BI_02());
}
// 9.2 ITS-S router only - valid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_RO_BV_01());
execute(TC_FSAP_SP_RO_BV_02());
execute(TC_FSAP_SP_RO_BV_03());
}
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_RO_BV_04());
execute(TC_FSAP_SP_RO_BV_05());
}
// 9.x ITS-S router only - invalid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_RO_BI_01());
execute(TC_FSAP_SP_RO_BI_02());
}
// 9.2 Service user
// 9.2.1 Combined ITS-S host and ITS-S router - valid behavior
if (PICS_FSAP_ROLE_SU and PICS_ROLE_RH) {
execute(TC_FSAP_SU_HR_BV_01());
}
if (PICS_FSAP_ROLE_SU and PICS_ROLE_RH and PICS_SIP_W_CTX and PICS_FSAP_CHANGE_COMM_CHANNEL) {
execute(TC_FSAP_SU_HR_BV_02());
execute(TC_FSAP_SU_HR_BV_03()); // Not applicable:
}
if (PICS_FSAP_ROLE_SU and PICS_ROLE_RH and PICS_FSAP_CHANGE_COMM_CHANNEL) {
execute(TC_FSAP_SU_HR_BV_04());
execute(TC_FSAP_SU_HR_BV_05()); // Not applicable:
}
// 9.2.2 ITS-S host only - valid behavior
if (PICS_FSAP_ROLE_SU and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SU_HO_BV_01());
execute(TC_FSAP_SU_HO_BV_02());
}
// 9.2.3 ITS-S router only - valid behavior
if (PICS_FSAP_ROLE_SU and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SU_RO_BV_01());
}
if (PICS_FSAP_ROLE_SU and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SU_RO_BV_02());
execute(TC_FSAP_SU_RO_BV_03());
}
} // End of control