blob: bd493c491e615df7b7e10de1c684690f03d6bcca [file] [log] [blame]
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +02001module HSS_Tests {
2
3import from General_Types all;
4import from Osmocom_Types all;
5import from Native_Functions all;
6import from Misc_Helpers all;
7
8import from DIAMETER_Types all;
9import from DIAMETER_Templates all;
10import from DIAMETER_Emulation all;
11
12type record of hexstring SubscriberConfigs;
13
14modulepar {
15 charstring mp_hss_hostname := "127.0.0.4";
16 integer mp_hss_port := 3868;
17 charstring mp_diam_local_hostname := "127.0.0.1";
18 integer mp_diam_local_port := 3868;
19 charstring mp_diam_orig_realm := "localdomain";
20 charstring mp_diam_orig_host := "mme.localdomain";
21 charstring mp_diam_dest_realm := "localdomain";
22 charstring mp_diam_dest_host := "hss.localdomain";
23 SubscriberConfigs subscribers := {
24 /* Existing subscriber, ULA returns SERVICE_GRANTED */
Pau Espin Pedrold34720f2023-10-11 17:49:39 +020025 '001010000000000'H,
26 '001010000000001'H
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +020027 };
28}
29
30/* main component, we typically have one per testcase */
31type component MTC_CT {
32
33 /* emulated MME/SGSN */
34 var DIAMETER_Emulation_CT vc_S6a;
35 port DIAMETER_PT S6a_UNIT;
36 port DIAMETEREM_PROC_PT S6a_PROC;
37 /* global test case guard timer (actual timeout value is set in f_init()) */
38 timer T_guard;
39}
40
41/* global altstep for global guard timer; */
42altstep as_Tguard() runs on MTC_CT {
43 [] T_guard.timeout {
44 setverdict(fail, "Timeout of T_guard");
45 mtc.stop;
46 }
47}
48
49type component DIAMETER_ConnHdlr_CT extends DIAMETER_ConnHdlr {
50 port DIAMETER_Conn_PT DIAMETER_CLIENT;
51 port DIAMETEREM_PROC_PT DIAMETER_PROC_CLIENT;
52}
53
54function f_diam_connhldr_ct_main(hexstring imsi) runs on DIAMETER_ConnHdlr_CT {
55 var DIAMETER_ConnHdlr vc_conn_unused;
56 var PDU_DIAMETER msg;
57 var UINT32 ete_id;
58
59 f_diameter_expect_imsi(imsi);
60
61 while (true) {
62 alt {
63 [] DIAMETER_CLIENT.receive(PDU_DIAMETER:?) -> value msg {
64 DIAMETER.send(msg);
65 }
66 [] DIAMETER.receive(PDU_DIAMETER:?) -> value msg {
67 DIAMETER_CLIENT.send(msg);
68 }
69 [] DIAMETER_PROC_CLIENT.getcall(DIAMETEREM_register_eteid:{?,?}) -> param(ete_id, vc_conn_unused) {
70 DIAMETER_PROC.call(DIAMETEREM_register_eteid:{ete_id, self}) {
71 [] DIAMETER_PROC.getreply(DIAMETEREM_register_eteid:{?,?}) {};
72 }
73 DIAMETER_PROC_CLIENT.reply(DIAMETEREM_register_eteid:{ete_id, vc_conn_unused});
74 }
75 }
76 }
77}
78
79/* per-session component; we typically have 1..N per testcase */
80type component Cli_Session_CT {
81 var SessionPars g_pars;
82
83 port DIAMETER_Conn_PT S6a;
84 port DIAMETEREM_PROC_PT S6a_PROC;
85}
86function f_diam_connhldr_expect_eteid(UINT32 ete_id) runs on Cli_Session_CT {
87 S6a_PROC.call(DIAMETEREM_register_eteid:{ete_id, null}) {
88 [] S6a_PROC.getreply(DIAMETEREM_register_eteid:{?,?}) {};
89 }
90}
91
92/* configuration data for a given Session */
93type record SessionPars {
94 hexstring imsi,
95 uint32_t s6a_next_hbh_id,
96 uint32_t s6a_next_ete_id
97}
98
99template (value) SessionPars
100t_SessionPars(hexstring imsi, uint32_t s6a_next_hbh_id := 1000, uint32_t s6a_next_ete_id := 22220) := {
101 imsi := imsi,
102 s6a_next_hbh_id := s6a_next_hbh_id,
103 s6a_next_ete_id := s6a_next_ete_id
104}
105
106type function void_fn() runs on Cli_Session_CT;
107
108friend function DiameterForwardUnitdataCallback(PDU_DIAMETER msg)
109runs on DIAMETER_Emulation_CT return template PDU_DIAMETER {
110 DIAMETER_UNIT.send(msg);
111 return omit;
112}
113
114friend function f_init_diameter(charstring id) runs on MTC_CT {
115 var DIAMETEROps ops := {
116 create_cb := refers(DIAMETER_Emulation.ExpectedCreateCallback),
117 unitdata_cb := refers(DiameterForwardUnitdataCallback),
118 raw := false /* handler mode (IMSI based routing) */
119 };
120 var DIAMETER_conn_parameters pars;
121
122 /* S6a setup: */
123 pars := {
124 remote_ip := mp_hss_hostname,
125 remote_sctp_port := mp_hss_port,
126 local_ip := mp_diam_local_hostname,
127 local_sctp_port := mp_diam_local_port,
128 origin_host := mp_diam_orig_host,
129 origin_realm := mp_diam_orig_realm,
130 auth_app_id := omit,
131 vendor_app_id := c_DIAMETER_3GPP_S6_AID
132 };
133 vc_S6a := DIAMETER_Emulation_CT.create(id);
134 map(vc_S6a:DIAMETER, system:DIAMETER_CODEC_PT);
135 connect(vc_S6a:DIAMETER_UNIT, self:S6a_UNIT);
136 connect(vc_S6a:DIAMETER_PROC, self:S6a_PROC);
137 vc_S6a.start(DIAMETER_Emulation.main(ops, pars, id));
138
139 f_diameter_wait_capability(S6a_UNIT);
140 /* Give some time for our emulation to get out of SUSPECT list of SUT (3 watchdong ping-pongs):
141 * RFC6733 sec 5.1
142 * RFC3539 sec 3.4.1 [5]
143 * https://github.com/freeDiameter/freeDiameter/blob/master/libfdcore/p_psm.c#L49
144 */
145 f_sleep(1.0);
146}
147
148private function f_init(float guard_timeout := 60.0) runs on MTC_CT {
149 T_guard.start(guard_timeout);
150 activate(as_Tguard());
151 f_init_diameter(testcasename());
152}
153
154function f_start_handler(void_fn fn, template (omit) SessionPars pars_tmpl := omit)
155runs on MTC_CT return Cli_Session_CT {
156 var charstring id := testcasename();
157 var DIAMETER_ConnHdlr_CT vc_conn_s6a;
158 var Cli_Session_CT vc_conn;
159 var SessionPars pars;
160
161 if (isvalue(pars_tmpl)) {
162 pars := valueof(pars_tmpl);
163 } else {
164 /*TODO: set default values */
165 }
166
167 vc_conn := Cli_Session_CT.create(id);
168
169 vc_conn_s6a := DIAMETER_ConnHdlr_CT.create(id);
170 connect(vc_conn_s6a:DIAMETER, vc_S6a:DIAMETER_CLIENT);
171 connect(vc_conn_s6a:DIAMETER_PROC, vc_S6a:DIAMETER_PROC);
172 connect(vc_conn:S6a, vc_conn_s6a:DIAMETER_CLIENT);
173 connect(vc_conn:S6a_PROC, vc_conn_s6a:DIAMETER_PROC_CLIENT);
174 vc_conn_s6a.start(f_diam_connhldr_ct_main(pars.imsi));
175
176 vc_conn.start(f_handler_init(fn, pars));
177 return vc_conn;
178}
179
180private function f_handler_init(void_fn fn, SessionPars pars)
181runs on Cli_Session_CT {
182 g_pars := valueof(pars);
183 fn.apply();
184}
185
186/* ULR + ULA against HSS */
Pau Espin Pedrold34720f2023-10-11 17:49:39 +0200187private function f_dia_ulr_ula(template (present) AVP_list ula_sub_data) runs on Cli_Session_CT {
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200188 var octetstring sess_id := char2oct("foobar");
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200189 var PDU_DIAMETER rx_dia;
190 var UINT32 hbh_id := int2oct(g_pars.s6a_next_hbh_id, 4);
191 var UINT32 ete_id := int2oct(g_pars.s6a_next_ete_id, 4);
192
193 /* Unlike ULR, ULA contains no IMSI. Register ete_id in DIAMETER_Emulation,
194 * so AIA is forwarded back to us in DIAMETER port instead of MTC_CT.DIAMETER_UNIT.
195 */
196 f_diam_connhldr_expect_eteid(ete_id);
197
198 /* TODO: change this into a ts_DIA_ULR */
199 S6a.send(ts_DIA_ULR(g_pars.imsi, '111F11'O, sess_id,
200 mp_diam_orig_host, mp_diam_orig_realm,
201 mp_diam_dest_realm, hbh_id, ete_id));
202 g_pars.s6a_next_hbh_id := g_pars.s6a_next_hbh_id + 1;
203 g_pars.s6a_next_ete_id := g_pars.s6a_next_ete_id + 1;
204
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200205 alt {
Pau Espin Pedrold34720f2023-10-11 17:49:39 +0200206 [] S6a.receive(tr_DIA_ULA(ula_sub_data, sess_id, ?, ?, hbh_id, ete_id)) -> value rx_dia {
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200207 setverdict(pass);
208 }
209 [] S6a.receive(PDU_DIAMETER:?) -> value rx_dia {
210 Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
211 log2str("Received unexpected DIAMETER ", rx_dia));
212 }
213 }
214}
215
216/* create a session, expect it to succeed */
217private function f_TC_ulr_ula() runs on Cli_Session_CT {
Pau Espin Pedrold34720f2023-10-11 17:49:39 +0200218 var template (present) AVP_list sub_data := superset(
219 tr_AVP_3GPP_SubscriberStatus(SERVICE_GRANTED),
220 tr_AVP_3GPP_SubscrRauTauTmr(?),
221 tr_AVP_3GPP_AMBR(?, ?),
222 tr_AVP_3GPP_ApnConfigProfile(superset(
223 tr_AVP_3GPP_ContextId(?),
224 tr_AVP_3GPP_AllApnConfigsIncl,
225 tr_AVP_3GPP_ApnConfig(?, ?, ?)
226 ))
227 );
228
229 f_dia_ulr_ula(sub_data);
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200230 setverdict(pass);
231}
232testcase TC_ulr_ula() runs on MTC_CT {
233 var Cli_Session_CT vc_conn;
234 var SessionPars pars := valueof(t_SessionPars(subscribers[0]));
235 f_init();
236 vc_conn := f_start_handler(refers(f_TC_ulr_ula), pars);
237 vc_conn.done;
238}
239
Pau Espin Pedrold34720f2023-10-11 17:49:39 +0200240/* Same as TC_ulr_ula, but done on a subscriber configured with
241Subscriber-Status=1 (OPERATOR_DETERMINED_BARRING) and
242Operator-Determined-Barring=7. */
243private function f_TC_ulr_ula_subscr_op_det_barring_7() runs on Cli_Session_CT {
244 var template (present) AVP_list sub_data := superset(
245 tr_AVP_3GPP_SubscriberStatus(OPERATOR_DETERMINED_BARRING),
246 tr_AVP_3GPP_OperatorDeterminedBarring(7),
247 tr_AVP_3GPP_SubscrRauTauTmr(?),
248 tr_AVP_3GPP_AMBR(?, ?),
249 tr_AVP_3GPP_ApnConfigProfile(superset(
250 tr_AVP_3GPP_ContextId(?),
251 tr_AVP_3GPP_AllApnConfigsIncl,
252 tr_AVP_3GPP_ApnConfig(?, ?, ?)
253 ))
254 );
255
256 f_dia_ulr_ula(sub_data);
257 setverdict(pass);
258}
259testcase TC_ulr_ula_subscr_op_det_barring_7() runs on MTC_CT {
260 var Cli_Session_CT vc_conn;
261 var SessionPars pars := valueof(t_SessionPars(subscribers[1]));
262 f_init();
263 vc_conn := f_start_handler(refers(f_TC_ulr_ula_subscr_op_det_barring_7), pars);
264 vc_conn.done;
265}
266
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200267
268control {
269 execute( TC_ulr_ula() );
Pau Espin Pedrold34720f2023-10-11 17:49:39 +0200270 execute( TC_ulr_ula_subscr_op_det_barring_7() );
Pau Espin Pedrolad4179b2023-10-10 19:12:26 +0200271}
272
273
274}