Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1 | module HNBGW_Tests { |
| 2 | |
| 3 | /* Integration Tests for OsmoHNBGW |
| 4 | * (C) 2021 by sysmocom - s.f.m.c. GmbH <info@sysmocom.de> |
| 5 | * All rights reserved. |
| 6 | * |
| 7 | * Released under the terms of GNU General Public License, Version 2 or |
| 8 | * (at your option) any later version. |
| 9 | * |
| 10 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 11 | * |
| 12 | * This test suite tests OsmoHNBGW while emulating the hNodeB as well as MSC, SGSN, MGW |
| 13 | * See README for more details. |
| 14 | */ |
| 15 | |
| 16 | import from Misc_Helpers all; |
| 17 | import from General_Types all; |
| 18 | import from GSM_Types all; |
| 19 | import from Osmocom_Types all; |
| 20 | import from IPL4asp_Types all; |
Neels Hofmeyr | 1e31146 | 2023-01-11 01:19:12 +0100 | [diff] [blame] | 21 | import from Native_Functions all; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 22 | |
| 23 | import from Osmocom_CTRL_Functions all; |
| 24 | import from Osmocom_CTRL_Types all; |
| 25 | import from Osmocom_CTRL_Adapter all; |
| 26 | |
| 27 | import from StatsD_Types all; |
| 28 | import from StatsD_CodecPort all; |
| 29 | import from StatsD_CodecPort_CtrlFunct all; |
| 30 | import from StatsD_Checker all; |
| 31 | |
| 32 | import from Osmocom_VTY_Functions all; |
| 33 | import from TELNETasp_PortType all; |
| 34 | |
| 35 | import from HNBAP_Templates all; |
| 36 | import from HNBAP_PDU_Descriptions all; |
| 37 | |
| 38 | import from RUA_IEs all; |
| 39 | import from RUA_Templates all; |
| 40 | import from RUA_Emulation all; |
| 41 | |
| 42 | import from Iuh_Emulation all; |
| 43 | |
| 44 | import from RANAP_Types all; |
| 45 | import from RANAP_PDU_Descriptions all; |
| 46 | import from RANAP_PDU_Contents all; |
| 47 | import from RANAP_IEs all; |
| 48 | import from RANAP_Templates all; |
| 49 | |
| 50 | import from RAN_Adapter all; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 51 | import from RAN_Emulation all; |
| 52 | |
| 53 | import from MGCP_Emulation all; |
| 54 | import from MGCP_Types all; |
| 55 | import from MGCP_Templates all; |
| 56 | import from MGCP_CodecPort all; |
| 57 | import from SDP_Types all; |
| 58 | |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 59 | import from PFCP_Types all; |
| 60 | import from PFCP_Emulation all; |
| 61 | import from PFCP_Templates all; |
| 62 | import from PFCP_CodecPort all; |
| 63 | |
Neels Hofmeyr | 75d905b | 2023-04-27 00:30:25 +0200 | [diff] [blame] | 64 | import from TCCConversion_Functions all; |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 65 | import from MobileL3_Types all; |
| 66 | import from L3_Templates all; |
| 67 | |
| 68 | const integer NUM_MSC := 4; |
| 69 | const integer NUM_SGSN := 4; |
| 70 | |
| 71 | const integer FIRST_MSC_IDX := 0; |
| 72 | const integer FIRST_SGSN_IDX := NUM_MSC; |
Neels Hofmeyr | 75d905b | 2023-04-27 00:30:25 +0200 | [diff] [blame] | 73 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 74 | modulepar { |
| 75 | /* IP address at which the HNodeB can be reached */ |
| 76 | charstring mp_hnodeb_ip := "127.0.0.1"; |
| 77 | integer mp_hnodeb_port := -1; |
| 78 | |
| 79 | /* IP address at which the test binds */ |
| 80 | charstring mp_hnbgw_ip := "127.0.0.1"; |
| 81 | integer mp_hnbgw_iuh_port := 29169; |
| 82 | |
| 83 | charstring mp_mgw_ip := "127.0.0.1"; |
| 84 | integer mp_mgw_port := 2427; |
| 85 | |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 86 | RAN_Configurations mp_cn_cfg := { |
| 87 | /* MSCs (NUM_MSC entries) */ |
| 88 | { |
| 89 | transport := RANAP_TRANSPORT_IuCS, |
| 90 | sccp_service_type := "mtp3_itu", |
| 91 | sctp_addr := { 23905, "127.0.0.1", 2905, "127.0.0.1" }, |
| 92 | own_pc := 188, /* 0.23.4 first MSC emulation */ |
| 93 | own_ssn := 142, |
| 94 | peer_pc := 189, /* 0.23.5 osmo-hnbgw */ |
| 95 | peer_ssn := 142, |
| 96 | sio := '83'O, |
| 97 | rctx := 1 |
| 98 | }, |
| 99 | { |
| 100 | transport := RANAP_TRANSPORT_IuCS, |
| 101 | sccp_service_type := "mtp3_itu", |
| 102 | sctp_addr := { 23907, "127.0.0.1", 2905, "127.0.0.1" }, |
| 103 | own_pc := 2, /* 0.0.2 second MSC emulation */ |
| 104 | own_ssn := 142, |
| 105 | peer_pc := 189, /* 0.23.5 osmo-hnbgw */ |
| 106 | peer_ssn := 142, |
| 107 | sio := '83'O, |
| 108 | rctx := 3 |
| 109 | }, |
| 110 | { |
| 111 | transport := RANAP_TRANSPORT_IuCS, |
| 112 | sccp_service_type := "mtp3_itu", |
| 113 | sctp_addr := { 23909, "127.0.0.1", 2905, "127.0.0.1" }, |
| 114 | own_pc := 3, /* 0.0.3 third MSC emulation */ |
| 115 | own_ssn := 142, |
| 116 | peer_pc := 189, /* 0.23.5 osmo-hnbgw */ |
| 117 | peer_ssn := 142, |
| 118 | sio := '83'O, |
| 119 | rctx := 5 |
| 120 | }, |
| 121 | { |
| 122 | transport := RANAP_TRANSPORT_IuCS, |
| 123 | sccp_service_type := "mtp3_itu", |
| 124 | sctp_addr := { 23911, "127.0.0.1", 2905, "127.0.0.1" }, |
| 125 | own_pc := 4, /* 0.0.4 fourth MSC emulation */ |
| 126 | own_ssn := 142, |
| 127 | peer_pc := 189, /* 0.23.5 osmo-hnbgw */ |
| 128 | peer_ssn := 142, |
| 129 | sio := '83'O, |
| 130 | rctx := 7 |
| 131 | }, |
| 132 | |
| 133 | /* SGSNs (NUM_SGSN entries) */ |
| 134 | { |
| 135 | transport := RANAP_TRANSPORT_IuCS, |
| 136 | sccp_service_type := "mtp3_itu", |
| 137 | sctp_addr := { /* local */ 23906, "127.0.0.1", /* remote */ 2905, "127.0.0.1" }, |
| 138 | own_pc := 185, /* 0.23.1 first SGSN emulation */ |
| 139 | own_ssn := 142, |
| 140 | peer_pc := 189, /* 2237, 1.23.5 osmo-hnbgw */ |
| 141 | peer_ssn := 142, |
| 142 | sio := '83'O, |
| 143 | rctx := 2 |
| 144 | }, |
| 145 | { |
| 146 | transport := RANAP_TRANSPORT_IuCS, |
| 147 | sccp_service_type := "mtp3_itu", |
| 148 | sctp_addr := { /* local */ 23908, "127.0.0.1", /* remote */ 2905, "127.0.0.1" }, |
| 149 | own_pc := 10, /* 0.1.2 second SGSN emulation */ |
| 150 | own_ssn := 142, |
| 151 | peer_pc := 189, /* 2237, 1.23.5 osmo-hnbgw */ |
| 152 | peer_ssn := 142, |
| 153 | sio := '83'O, |
| 154 | rctx := 4 |
| 155 | }, |
| 156 | { |
| 157 | transport := RANAP_TRANSPORT_IuCS, |
| 158 | sccp_service_type := "mtp3_itu", |
| 159 | sctp_addr := { /* local */ 23910, "127.0.0.1", /* remote */ 2905, "127.0.0.1" }, |
| 160 | own_pc := 11, /* 0.1.3 third SGSN emulation */ |
| 161 | own_ssn := 142, |
| 162 | peer_pc := 189, /* 2237, 1.23.5 osmo-hnbgw */ |
| 163 | peer_ssn := 142, |
| 164 | sio := '83'O, |
| 165 | rctx := 6 |
| 166 | }, |
| 167 | { |
| 168 | transport := RANAP_TRANSPORT_IuCS, |
| 169 | sccp_service_type := "mtp3_itu", |
| 170 | sctp_addr := { /* local */ 23912, "127.0.0.1", /* remote */ 2905, "127.0.0.1" }, |
| 171 | own_pc := 12, /* 0.1.4 fourth SGSN emulation */ |
| 172 | own_ssn := 142, |
| 173 | peer_pc := 189, /* 2237, 1.23.5 osmo-hnbgw */ |
| 174 | peer_ssn := 142, |
| 175 | sio := '83'O, |
| 176 | rctx := 8 |
| 177 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 178 | }; |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 179 | |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 180 | boolean mp_enable_pfcp_tests := false; |
| 181 | |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 182 | /* IP address at which we listen for PFCP to emulate a UPF in ttcn3 */ |
| 183 | charstring mp_pfcp_ip_local := "127.0.0.1"; |
| 184 | |
| 185 | /* IP address from which the SUT (osmo-hnbgw) sends PFCP requests, and to which the ttcn3 UPF emulation sends |
| 186 | * PFCP responses. */ |
| 187 | charstring mp_pfcp_ip_remote := "127.0.0.2"; |
Pau Espin Pedrol | 6c87ad9 | 2023-07-18 11:24:25 +0200 | [diff] [blame] | 188 | |
| 189 | boolean mp_validate_talloc_asn1 := true; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 190 | } |
| 191 | |
| 192 | function MSC_UnitdataCallback(RANAP_PDU ranap) runs on RAN_Emulation_CT return template RANAP_PDU { |
| 193 | // TODO: Actually implement unitdata handling |
Neels Hofmeyr | cf6dc49 | 2023-06-27 00:51:08 +0200 | [diff] [blame] | 194 | return omit; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 195 | } |
| 196 | |
| 197 | const RanOps MSC_RanOps := { |
| 198 | ranap_create_cb := refers(RAN_Emulation.RanapExpectedCreateCallback), |
| 199 | ranap_unitdata_cb := refers(MSC_UnitdataCallback), |
| 200 | ps_domain := false, |
| 201 | decode_dtap := false, |
| 202 | role_ms := false, |
| 203 | protocol := RAN_PROTOCOL_RANAP, |
| 204 | transport := RANAP_TRANSPORT_IuCS, |
| 205 | use_osmux := false, |
Eric Wild | 6e511ce | 2022-04-02 21:35:56 +0200 | [diff] [blame] | 206 | bssap_reset_retries := 1, |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 207 | sccp_addr_local := omit, |
| 208 | sccp_addr_peer := omit |
| 209 | } |
| 210 | |
| 211 | type record CrcxResponse { |
| 212 | integer resp, |
| 213 | HostName mgw_rtp_ip, |
| 214 | PortNumber mgw_rtp_port, |
| 215 | MgcpConnectionId mgcp_connection_id |
| 216 | } |
| 217 | type record MgcpParameters { |
| 218 | integer got_crcx_count, |
| 219 | integer got_dlcx_count, |
| 220 | MgcpCallId mgcp_call_id optional, |
| 221 | MgcpEndpoint mgcp_ep, |
| 222 | CrcxResponse mgw_conn_1, |
| 223 | CrcxResponse mgw_conn_2, |
| 224 | uint7_t rtp_payload_type, |
| 225 | charstring rtp_sdp_format, |
| 226 | HostName hnb_rtp_ip, |
| 227 | PortNumber hnb_rtp_port, |
| 228 | HostName cn_rtp_ip, |
| 229 | PortNumber cn_rtp_port, |
| 230 | boolean use_osmux, |
| 231 | integer got_osmux_count |
| 232 | } |
| 233 | |
| 234 | template (value) MgcpParameters t_MgcpParams := { |
| 235 | got_crcx_count := 0, |
| 236 | got_dlcx_count := 0, |
| 237 | mgcp_call_id := omit, |
| 238 | mgcp_ep := "rtpbridge/1@mgw", |
| 239 | mgw_conn_1 := { |
| 240 | resp := 1, |
| 241 | mgw_rtp_ip := "127.1.2.1", |
| 242 | mgw_rtp_port := 10000, |
| 243 | mgcp_connection_id := '11111'H |
| 244 | }, |
| 245 | mgw_conn_2 := { |
| 246 | resp := 1, |
| 247 | mgw_rtp_ip := "127.1.2.2", |
| 248 | mgw_rtp_port := 20000, |
| 249 | mgcp_connection_id := '22222'H |
| 250 | }, |
Philipp Maier | 6c5ba075 | 2023-07-04 16:53:40 +0200 | [diff] [blame] | 251 | rtp_payload_type := 112, |
| 252 | rtp_sdp_format := "VND.3GPP.IUFP", |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 253 | hnb_rtp_ip := "127.1.1.1", |
| 254 | hnb_rtp_port := 10001, |
| 255 | cn_rtp_ip := "127.1.3.1", |
| 256 | cn_rtp_port := 20001, |
| 257 | use_osmux := false, |
| 258 | got_osmux_count := 0 |
| 259 | } |
| 260 | |
| 261 | type record TestHdlrParams { |
| 262 | integer hnb_idx, |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 263 | /* cn_idx indicates which CN link from g_cn[] to connect to the test component. |
| 264 | * See also f_cn_idx(). */ |
| 265 | integer cn_idx, |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 266 | hexstring imsi, |
| 267 | boolean ps_domain, |
| 268 | MgcpParameters mgcp_pars optional, |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 269 | HnbConfig hnb optional, |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 270 | boolean expect_separate_sccp_cr, |
| 271 | integer tx_sccp_cr_data_len, |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 272 | charstring pfcp_local_addr |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 273 | } |
| 274 | |
| 275 | /* We extend: |
| 276 | * RUA_ConnHdlr (for the Iuh side, emulating the HNB) |
| 277 | * RAN_ConnHdlr (for the Iu side, emulating the MSC) |
| 278 | * MGCP_ConnHdlr (for the MGCP side, emulating the MGW) |
| 279 | */ |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 280 | type component ConnHdlr extends RAN_ConnHdlr, MGCP_ConnHdlr, RUA_ConnHdlr, PFCP_ConnHdlr { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 281 | var integer g_sccp_conn_id; |
| 282 | var TestHdlrParams g_pars; |
| 283 | timer g_Tguard; |
Neels Hofmeyr | 72a8d62 | 2023-01-26 13:47:01 +0100 | [diff] [blame] | 284 | |
| 285 | port TELNETasp_PT HNBGWVTY; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 286 | } |
| 287 | |
| 288 | |
| 289 | const MGCPOps MSC_MGCPOps := { |
| 290 | create_cb := refers(MGCP_Emulation.ExpectedCreateCallback), |
| 291 | unitdata_cb := refers(MGCP_Emulation.DummyUnitdataCallback) |
| 292 | } |
| 293 | |
| 294 | function f_create_ranap_exp(octetstring l3_enc) runs on ConnHdlr { |
| 295 | BSSAP_PROC.call(RAN_register:{l3_enc, self}) { |
| 296 | [] BSSAP_PROC.getreply(RAN_register:{?, ?}) {}; |
| 297 | } |
| 298 | } |
| 299 | |
| 300 | |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 301 | const integer NUM_HNB := 2; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 302 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 303 | type record HnbConfig { |
| 304 | LocationAreaIdentification lai, |
| 305 | integer sac |
| 306 | } |
| 307 | |
| 308 | type component test_CT extends CTRL_Adapter_CT { |
| 309 | var boolean g_initialized := false; |
| 310 | |
| 311 | /********************* Iu side */ |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 312 | var RAN_Adapter g_cn[NUM_MSC + NUM_SGSN]; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 313 | |
| 314 | /********************* Iuh side */ |
| 315 | var HnbConfig g_hnb_cfg[NUM_HNB]; |
| 316 | var Iuh_Emulation_CT vc_Iuh[NUM_HNB]; |
| 317 | var RUA_Emulation_CT vc_RUA[NUM_HNB]; |
| 318 | port HNBAP_PT HNBAP[NUM_HNB]; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 319 | /* Number of HNBs to be used/started by the test */ |
| 320 | var integer g_num_hnbs := NUM_HNB; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 321 | |
| 322 | var MGCP_Emulation_CT vc_MGCP; |
| 323 | port TELNETasp_PT HNBGWVTY; |
| 324 | /* global test case guard timer (actual timeout value is set in f_init()) */ |
| 325 | timer T_guard := 30.0; |
| 326 | } |
| 327 | |
| 328 | /* global altstep for global guard timer; */ |
| 329 | altstep as_Tguard() runs on test_CT { |
| 330 | [] T_guard.timeout { |
| 331 | setverdict(fail, "Timeout of T_guard"); |
| 332 | mtc.stop; |
| 333 | } |
| 334 | } |
| 335 | |
| 336 | friend function f_logp(TELNETasp_PT pt, charstring log_msg) |
| 337 | { |
| 338 | // log on TTCN3 log output |
| 339 | log(log_msg); |
| 340 | // log in stderr log |
| 341 | f_vty_transceive(pt, "logp lglobal notice TTCN3 f_logp(): " & log_msg); |
| 342 | } |
| 343 | |
| 344 | function f_init_vty(charstring id := "foo") runs on test_CT { |
| 345 | if (HNBGWVTY.checkstate("Mapped")) { |
| 346 | /* skip initialization if already executed once */ |
| 347 | return; |
| 348 | } |
| 349 | map(self:HNBGWVTY, system:HNBGWVTY); |
| 350 | f_vty_set_prompts(HNBGWVTY); |
| 351 | f_vty_transceive(HNBGWVTY, "enable"); |
| 352 | } |
| 353 | |
| 354 | function f_init_mgcp(charstring id) runs on test_CT { |
| 355 | id := id & "-MGCP"; |
| 356 | var MGCPOps ops := { |
| 357 | create_cb := refers(MGCP_Emulation.ExpectedCreateCallback), |
| 358 | unitdata_cb := refers(MGCP_Emulation.DummyUnitdataCallback) |
| 359 | } |
| 360 | var MGCP_conn_parameters pars := { |
| 361 | callagent_ip := mp_hnbgw_ip, |
| 362 | callagent_udp_port := -1, |
| 363 | mgw_ip := mp_mgw_ip, |
| 364 | mgw_udp_port := mp_mgw_port, |
| 365 | multi_conn_mode := false |
| 366 | } |
| 367 | |
| 368 | vc_MGCP := MGCP_Emulation_CT.create(id); |
| 369 | map(vc_MGCP:MGCP, system:MGCP_CODEC_PT); |
| 370 | vc_MGCP.start(MGCP_Emulation.main(ops, pars, id)); |
| 371 | } |
| 372 | |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 373 | function f_init_pfcp(charstring id) runs on ConnHdlr { |
| 374 | id := id & "-PFCP"; |
| 375 | |
| 376 | var PFCP_Emulation_Cfg pfcp_cfg := { |
| 377 | pfcp_bind_ip := mp_pfcp_ip_local, |
| 378 | pfcp_bind_port := PFCP_PORT, |
| 379 | pfcp_remote_ip := mp_pfcp_ip_remote, |
| 380 | pfcp_remote_port := PFCP_PORT, |
| 381 | role := UPF |
| 382 | }; |
| 383 | |
| 384 | vc_PFCP := PFCP_Emulation_CT.create(id) alive; |
| 385 | connect(self:PFCP, vc_PFCP:CLIENT); |
| 386 | connect(self:PFCP_PROC, vc_PFCP:CLIENT_PROC); |
| 387 | vc_PFCP.start(PFCP_Emulation.main(pfcp_cfg)); |
| 388 | } |
| 389 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 390 | function f_init_hnodeb(charstring id, integer hnb_idx, RuaOps rua_ops) runs on test_CT { |
| 391 | id := id & "-Iuh" & int2str(hnb_idx); |
| 392 | |
| 393 | /* Iuh lower layer (RUA/HNBAP demux) */ |
| 394 | var Iuh_conn_parameters iuh_pars; |
| 395 | iuh_pars.remote_ip := mp_hnbgw_ip; |
| 396 | iuh_pars.remote_sctp_port := mp_hnbgw_iuh_port; |
| 397 | iuh_pars.local_ip := mp_hnodeb_ip; |
| 398 | iuh_pars.local_sctp_port := mp_hnodeb_port + hnb_idx; |
| 399 | vc_Iuh[hnb_idx] := Iuh_Emulation_CT.create(id); |
| 400 | connect(self:HNBAP[hnb_idx], vc_Iuh[hnb_idx]:HNBAP); |
| 401 | |
| 402 | vc_RUA[hnb_idx] := RUA_Emulation_CT.create(id & "-RUA"); |
| 403 | connect(vc_RUA[hnb_idx]:RUA, vc_Iuh[hnb_idx]:RUA); |
| 404 | |
| 405 | /* Start Iuh side components */ |
| 406 | vc_Iuh[hnb_idx].start(Iuh_Emulation.main(iuh_pars, id)); |
| 407 | vc_RUA[hnb_idx].start(RUA_Emulation.main(rua_ops, id & "-RUA")); |
| 408 | } |
| 409 | |
| 410 | /* global initialization function */ |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 411 | function f_init(charstring id := "HNBGW", float guard_timeout := 30.0, integer nr_msc := 1, integer nr_sgsn := 1) runs on test_CT { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 412 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 413 | T_guard.start(guard_timeout); |
| 414 | activate(as_Tguard()); |
| 415 | |
| 416 | /* RUA/RANAP emulation on top of lower-layer Iuh */ |
| 417 | var RuaOps rua_ops := { |
| 418 | create_cb := refers(IuhRanapCreateCallback), |
| 419 | unitdata_cb := refers(IuhRanapUnitdataCallback) |
| 420 | }; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 421 | for (var integer i := 0; i < g_num_hnbs; i := i+1) { |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 422 | g_hnb_cfg[i] := { |
| 423 | lai := { |
Neels Hofmeyr | 497216f | 2023-06-27 00:59:26 +0200 | [diff] [blame] | 424 | mcc_mnc := '00F110'H, |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 425 | lac := 2342 + i |
| 426 | }, |
| 427 | sac := 55 |
| 428 | }; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 429 | f_init_hnodeb(testcasename(), i, rua_ops); |
| 430 | } |
| 431 | |
| 432 | /* MSC emulation */ |
| 433 | var RanOps ranops := { |
| 434 | ranap_create_cb := refers(RAN_Emulation.RanapExpectedCreateCallback), |
| 435 | ranap_unitdata_cb := omit, |
| 436 | ps_domain := false, |
| 437 | decode_dtap := false, |
| 438 | role_ms := false, |
| 439 | protocol := RAN_PROTOCOL_RANAP, |
| 440 | transport := RANAP_TRANSPORT_IuCS, |
| 441 | use_osmux := false, |
Eric Wild | 6e511ce | 2022-04-02 21:35:56 +0200 | [diff] [blame] | 442 | bssap_reset_retries := 1, |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 443 | sccp_addr_local := omit, |
| 444 | sccp_addr_peer := omit |
| 445 | }; |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 446 | for (var integer i := 0; i < nr_msc; i := i + 1) { |
| 447 | var integer cn_idx := FIRST_MSC_IDX + i; |
| 448 | f_ran_adapter_init(g_cn[cn_idx], mp_cn_cfg[cn_idx], "HNBGW_Test", ranops); |
| 449 | f_ran_adapter_start(g_cn[cn_idx]); |
| 450 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 451 | |
| 452 | /* SGSN emulation */ |
| 453 | ranops.ps_domain := true; |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 454 | for (var integer i := 0; i < nr_sgsn; i := i + 1) { |
| 455 | var integer cn_idx := FIRST_SGSN_IDX + i; |
| 456 | f_ran_adapter_init(g_cn[cn_idx], mp_cn_cfg[cn_idx], "HNBGW_Test", ranops); |
| 457 | f_ran_adapter_start(g_cn[cn_idx]); |
| 458 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 459 | |
| 460 | f_init_mgcp(id); |
| 461 | f_init_vty("VirtHNBGW"); |
| 462 | } |
| 463 | |
| 464 | friend function f_shutdown_helper() runs on test_CT { |
Pau Espin Pedrol | 6c87ad9 | 2023-07-18 11:24:25 +0200 | [diff] [blame] | 465 | if (mp_validate_talloc_asn1) { |
| 466 | f_verify_talloc_bytes(HNBGWVTY, {"asn1_context"}, 1); |
| 467 | } |
Neels Hofmeyr | 75d905b | 2023-04-27 00:30:25 +0200 | [diff] [blame] | 468 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 469 | all component.stop; |
| 470 | setverdict(pass); |
| 471 | mtc.stop; |
| 472 | } |
| 473 | |
| 474 | /* helper function to start all of the simulated hNodeBs */ |
| 475 | function f_start_hnbs() runs on test_CT { |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 476 | for (var integer i:= 0; i < g_num_hnbs; i := i+1) { |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 477 | f_hnbap_register(i, i); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 478 | } |
| 479 | } |
| 480 | |
| 481 | /*********************************************************************** |
| 482 | * code running in test_CT, preparing start of per-UE ConnHdlr |
| 483 | ***********************************************************************/ |
| 484 | |
| 485 | /* inbound RUA connection establishment on Iuh side */ |
| 486 | function IuhRanapCreateCallback(ContextId context_id, RUA_IEs.CN_DomainIndicator domain, charstring id) |
| 487 | runs on RUA_Emulation_CT return RUA_ConnHdlr { |
| 488 | log("CreateCallback"); |
| 489 | return null; |
| 490 | } |
| 491 | |
| 492 | /* inbound RUA connectionless data on Iuh side */ |
| 493 | function IuhRanapUnitdataCallback(RANAP_PDU ranap) |
| 494 | runs on RUA_Emulation_CT return template RANAP_PDU { |
| 495 | log("UnitdataCallback"); |
| 496 | return omit; |
| 497 | } |
| 498 | |
| 499 | private function f_start_handler_create(TestHdlrParams pars) runs on test_CT return ConnHdlr { |
| 500 | var ConnHdlr vc_conn; |
| 501 | var charstring id := testcasename() & int2str(pars.hnb_idx); |
| 502 | |
| 503 | vc_conn := ConnHdlr.create(id); |
| 504 | |
| 505 | /* Iuh RUA part */ |
| 506 | connect(vc_conn:RUA, vc_RUA[pars.hnb_idx]:CLIENT); |
| 507 | |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 508 | /* MSC or SGSN */ |
| 509 | connect(vc_conn:BSSAP, g_cn[pars.cn_idx].vc_RAN:CLIENT); |
| 510 | connect(vc_conn:BSSAP_PROC, g_cn[pars.cn_idx].vc_RAN:PROC); |
| 511 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 512 | /* MGCP part */ |
| 513 | connect(vc_conn:MGCP, vc_MGCP:MGCP_CLIENT); |
| 514 | connect(vc_conn:MGCP_PROC, vc_MGCP:MGCP_PROC); |
| 515 | |
| 516 | return vc_conn; |
| 517 | } |
| 518 | |
| 519 | private function f_start_handler_run(ConnHdlr vc_conn, void_fn fn, TestHdlrParams pars) runs on test_CT { |
| 520 | var charstring id := testcasename(); // & int2str(pars.ran_idx); |
| 521 | /* We cannot use vc_conn.start(f_init_handler(fn, id, pars)); as we cannot have |
| 522 | * a stand-alone 'derefers()' call, see https://www.eclipse.org/forums/index.php/t/1091364/ */ |
| 523 | pars.hnb := g_hnb_cfg[pars.hnb_idx]; |
| 524 | pars.mgcp_pars := valueof(t_MgcpParams); |
| 525 | vc_conn.start(derefers(fn)(id, pars)); |
| 526 | } |
| 527 | |
| 528 | function f_start_handler_with_pars(void_fn fn, template (value) TestHdlrParams pars) |
| 529 | runs on test_CT return ConnHdlr { |
| 530 | var ConnHdlr vc_conn; |
| 531 | vc_conn := f_start_handler_create(valueof(pars)); |
| 532 | f_start_handler_run(vc_conn, fn, valueof(pars)); |
| 533 | return vc_conn; |
| 534 | } |
| 535 | |
| 536 | /*********************************************************************** |
| 537 | * code running inside per-UE ConnHdlr |
| 538 | ***********************************************************************/ |
| 539 | |
| 540 | type function void_fn(charstring id, TestHdlrParams pars) runs on ConnHdlr; |
| 541 | |
| 542 | function f_init_handler(TestHdlrParams pars, float t_guard := 20.0) runs on ConnHdlr { |
| 543 | /* make parameters available via component variable */ |
| 544 | g_pars := pars; |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 545 | |
| 546 | f_init_pfcp(testcasename()); |
| 547 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 548 | /* start guard timer and activate it as default */ |
| 549 | g_Tguard.start(t_guard); |
| 550 | activate(as_Tguard_ConnHdlr()); |
| 551 | |
Neels Hofmeyr | 72a8d62 | 2023-01-26 13:47:01 +0100 | [diff] [blame] | 552 | map(self:HNBGWVTY, system:HNBGWVTY); |
| 553 | f_vty_set_prompts(HNBGWVTY); |
| 554 | f_vty_transceive(HNBGWVTY, "enable"); |
| 555 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 556 | /* TODO: CTRL? */ |
Neels Hofmeyr | 5951722 | 2023-06-23 04:46:59 +0200 | [diff] [blame] | 557 | |
| 558 | f_sleep(1.0); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 559 | } |
| 560 | |
| 561 | /* global altstep for global guard timer; */ |
| 562 | private altstep as_Tguard_ConnHdlr() runs on ConnHdlr { |
| 563 | [] g_Tguard.timeout { |
| 564 | setverdict(fail, "Timeout of T_guard"); |
| 565 | mtc.stop; |
| 566 | } |
| 567 | } |
| 568 | |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 569 | private function f_bssap_expect(template (present) RANAP_PDU exp_rx) runs on ConnHdlr return RANAP_PDU |
| 570 | { |
| 571 | var RANAP_PDU rx; |
| 572 | timer T := 5.0; |
| 573 | T.start; |
| 574 | alt { |
| 575 | [] BSSAP.receive(exp_rx) -> value rx { |
| 576 | setverdict(pass); |
| 577 | } |
| 578 | [] BSSAP.receive(RANAP_PDU:?) { |
| 579 | setverdict(fail, "Got an unexpected RANAP message on BSSAP port, was waiting for ", exp_rx); |
| 580 | mtc.stop; |
| 581 | } |
| 582 | [] T.timeout { |
| 583 | setverdict(fail, "Timeout waiting for RANAP on BSSAP port: ", exp_rx); |
| 584 | mtc.stop; |
| 585 | } |
| 586 | } |
| 587 | T.stop; |
| 588 | return rx; |
| 589 | } |
| 590 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 591 | /* send RANAP on Iuh and expect it to show up on Iu */ |
| 592 | function f_iuh2iu(template (present) RANAP_PDU tx, template RANAP_PDU exp_rx := omit) |
| 593 | runs on ConnHdlr return RANAP_PDU { |
| 594 | var RANAP_PDU rx; |
| 595 | timer T := 5.0; |
| 596 | |
| 597 | if (istemplatekind(exp_rx, "omit")) { |
| 598 | exp_rx := tx; |
| 599 | } |
| 600 | |
| 601 | RUA.send(tx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 602 | |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 603 | return f_bssap_expect(exp_rx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 604 | } |
| 605 | |
| 606 | /* send RANAP on Iu and expect it to show up on Iuh */ |
| 607 | function f_iu2iuh(template (present) RANAP_PDU tx, template RANAP_PDU exp_rx := omit) |
| 608 | runs on ConnHdlr return RANAP_PDU { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 609 | if (istemplatekind(exp_rx, "omit")) { |
| 610 | exp_rx := tx; |
| 611 | } |
| 612 | |
| 613 | BSSAP.send(tx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 614 | |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 615 | return f_rua_expect(exp_rx) |
| 616 | } |
| 617 | |
| 618 | /* expect to receive a specific RUA message on Iuh */ |
| 619 | private function f_rua_expect(template (present) RANAP_PDU exp_rx) runs on ConnHdlr return RANAP_PDU |
| 620 | { |
| 621 | var RANAP_PDU rx; |
| 622 | timer T := 5.0; |
| 623 | T.start; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 624 | alt { |
| 625 | [] RUA.receive(exp_rx) -> value rx { |
| 626 | setverdict(pass); |
| 627 | } |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 628 | [] RUA.receive(RANAP_PDU:?) { |
| 629 | setverdict(fail, "Got an unexpected RUA message, was waiting for ", exp_rx); |
| 630 | mtc.stop; |
| 631 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 632 | [] T.timeout { |
| 633 | setverdict(fail, "Timeout waiting for Iuh ", exp_rx); |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 634 | mtc.stop; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 635 | } |
| 636 | } |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 637 | T.stop; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 638 | return rx; |
| 639 | } |
| 640 | |
| 641 | /* send RANAP on Iuh and expect it to show up on Iu */ |
| 642 | function f_iuh2iu_connect(template (present) RANAP_PDU tx, template RANAP_PDU exp_rx := omit) |
| 643 | runs on ConnHdlr return RANAP_PDU { |
| 644 | var RANAP_PDU rx; |
| 645 | timer T := 5.0; |
| 646 | |
| 647 | if (istemplatekind(exp_rx, "omit")) { |
| 648 | exp_rx := tx; |
| 649 | } |
| 650 | |
| 651 | /* create an expect on the Iu side for the random NAS portion */ |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 652 | if (g_pars.expect_separate_sccp_cr) { |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 653 | f_ran_register_sccp_cr_without_payload(); |
| 654 | } else { |
| 655 | var template (omit) octetstring nas := f_ranap_extract_l3(valueof(tx)); |
| 656 | f_ran_register_exp(valueof(nas)); |
| 657 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 658 | |
| 659 | /* send it via Iuh (creating a RUA connection) */ |
| 660 | RUA.send(RUA_Conn_Req:{g_pars.ps_domain, tx}); |
| 661 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 662 | if (g_pars.expect_separate_sccp_cr) { |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 663 | /* Acknowledge the empty SCCP CR. RAN_Emulation does the confirmation, no need to respond. */ |
| 664 | BSSAP.receive(tr_RANAP_Conn_Req()); |
| 665 | } |
| 666 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 667 | /* expect to receive it on the Iu side */ |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 668 | return f_bssap_expect(exp_rx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 669 | } |
| 670 | |
Neels Hofmeyr | 99b7d40 | 2023-02-20 14:26:31 +0100 | [diff] [blame] | 671 | /* 3GPP TS 48.006 9.2 Connection release: |
| 672 | * |
| 673 | * The MSC sends a SCCP released message. This message shall not contain |
| 674 | * any user data field. |
| 675 | * |
| 676 | * So what we expect normally is: |
| 677 | * |
| 678 | * HNBGW MSC |
| 679 | * RUA --id-Disconnect-------> | ---Data-Form-1(!)---> | Iu-ReleaseComplete |
| 680 | * | <--Released---------- | (no data) |
| 681 | * |
| 682 | * This function tests osmo-hnbgw behavior if the CN fails to send a RLSD: |
| 683 | * after some timeout, osmo-hnbgw should send a RLSD to the CN. |
| 684 | */ |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 685 | function f_iuh2iu_disconnect(template (present) RANAP_PDU tx, RUA_IEs.Cause cause, |
| 686 | template RANAP_PDU exp_rx := omit) |
| 687 | runs on ConnHdlr return RANAP_PDU { |
| 688 | var RANAP_PDU rx |
Neels Hofmeyr | 99b7d40 | 2023-02-20 14:26:31 +0100 | [diff] [blame] | 689 | timer T := 10.0; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 690 | |
| 691 | if (istemplatekind(exp_rx, "omit")) { |
| 692 | exp_rx := tx; |
| 693 | } |
| 694 | |
| 695 | /* send it via Iuh (creating a RUA connection) */ |
| 696 | RUA.send(RUA_Disc_Req:{tx, cause}); |
| 697 | |
| 698 | /* expect to receive it on the Iu side */ |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 699 | rx := f_bssap_expect(exp_rx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 700 | |
| 701 | /* expect disconnect on the Iu side */ |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 702 | T.start; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 703 | alt { |
| 704 | [] BSSAP.receive(RAN_Conn_Prim:MSC_CONN_PRIM_DISC_IND) { |
| 705 | setverdict(pass); |
| 706 | } |
| 707 | [] T.timeout { |
| 708 | setverdict(fail, "Timeout waiting for Iu disconnect"); |
| 709 | return rx; |
| 710 | } |
| 711 | |
| 712 | } |
| 713 | return rx; |
| 714 | } |
| 715 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 716 | private function f_build_initial_ue_with_nas(TestHdlrParams pars, octetstring nas) |
| 717 | return RANAP_PDU { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 718 | var LAI lai := { |
| 719 | pLMNidentity := hex2oct(pars.hnb.lai.mcc_mnc), |
| 720 | lAC := int2oct(pars.hnb.lai.lac, 2), |
| 721 | iE_Extensions := omit |
| 722 | }; |
| 723 | var SAI sai := { |
| 724 | pLMNidentity := lai.pLMNidentity, |
| 725 | lAC := lai.lAC, |
| 726 | sAC := int2oct(pars.hnb.sac, 2), |
| 727 | iE_Extensions := omit |
| 728 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 729 | var IuSignallingConnectionIdentifier sigc_id := int2bit(f_rnd_int(1000), 24); |
| 730 | var GlobalRNC_ID grnc_id := { |
| 731 | pLMNidentity := lai.pLMNidentity, |
| 732 | rNC_ID := 2342 |
| 733 | } |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 734 | var template RANAP_PDU ret; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 735 | if (pars.ps_domain) { |
| 736 | var RAC rac := '00'O; |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 737 | ret := ts_RANAP_initialUE_PS(lai, rac, sai, nas, sigc_id, grnc_id); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 738 | } else { |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 739 | ret := ts_RANAP_initialUE_CS(lai, sai, nas, sigc_id, grnc_id); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 740 | } |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 741 | return valueof(ret); |
| 742 | } |
| 743 | |
| 744 | /* build a RANAP InitialUE based on the TestHdlrParams */ |
| 745 | friend function f_build_initial_ue(TestHdlrParams pars) return RANAP_PDU { |
| 746 | |
| 747 | var octetstring nas; |
| 748 | |
| 749 | if (pars.tx_sccp_cr_data_len == 0) { |
| 750 | nas := f_rnd_octstring(10); |
| 751 | } else { |
| 752 | /* The test asks for an exact number of Optional Data bytes. */ |
| 753 | |
| 754 | /* First see what size the RANAP part of the payload data is, |
| 755 | * to adjust the NAS PDU size to the size requested by the test (pars.tx_sccp_cr_data_len). */ |
| 756 | var RANAP_PDU initial_ue := f_build_initial_ue_with_nas(pars, '00'O); |
| 757 | |
| 758 | var octetstring ranap_plus_one_byte_nas := enc_RANAP_PDU(initial_ue); |
| 759 | var integer ranap_length := lengthof(ranap_plus_one_byte_nas) - 1; |
| 760 | |
| 761 | log("ranap_plus_one_byte_nas = ", lengthof(ranap_plus_one_byte_nas), " bytes, ", initial_ue, " = ", |
| 762 | ranap_plus_one_byte_nas); |
| 763 | log("ranap_length = ", ranap_length); |
| 764 | |
| 765 | /* SCCP CR has a payload length limit of 130 bytes. To trigger this limit, the RANAP + NAS PDU has to be |
| 766 | * > 130 bytes. It doesn't need to be 131 bytes in the NAS PDU alone, but let's just make it definitely |
| 767 | * large enough. To test for this limit, pars.tx_sccp_cr_data_len asks for a specific amount of data len. */ |
| 768 | nas := f_rnd_octstring(pars.tx_sccp_cr_data_len - ranap_length); |
| 769 | } |
| 770 | |
| 771 | var RANAP_PDU ret := f_build_initial_ue_with_nas(pars, nas); |
| 772 | |
| 773 | if (pars.tx_sccp_cr_data_len != 0) { |
| 774 | for (var integer attempts := 0; attempts < 2; attempts := attempts + 1) { |
| 775 | var octetstring check_len := enc_RANAP_PDU(ret); |
| 776 | log("final RANAP PDU length = ", lengthof(check_len)); |
| 777 | if (lengthof(check_len) == pars.tx_sccp_cr_data_len) { |
| 778 | return ret; |
| 779 | } |
| 780 | nas := f_rnd_octstring(lengthof(nas) + (pars.tx_sccp_cr_data_len - lengthof(check_len))); |
| 781 | log("that was off, changed NAS length to ", lengthof(nas), " and trying again"); |
| 782 | ret := f_build_initial_ue_with_nas(pars, nas); |
| 783 | } |
| 784 | setverdict(fail, "Ended up with wrong Optional Data length"); |
| 785 | mtc.stop; |
| 786 | } |
| 787 | return ret; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 788 | } |
| 789 | |
| 790 | /* build a RANAP RAB AssignmentResponse based on the TestHdlrParams */ |
| 791 | friend function f_build_rab_ass_resp(TestHdlrParams pars) return RANAP_PDU { |
| 792 | var template RAB_SetupOrModifiedList rab_sml; |
| 793 | |
| 794 | rab_sml := ts_RAB_SMdL(t_RAB_id(23), f_ts_RAB_TLA("192.168.1.23"), t_RAB_binding_port(1234)); |
| 795 | |
| 796 | return valueof(ts_RANAP_RabAssResp(rab_sml)); |
| 797 | } |
| 798 | |
| 799 | |
| 800 | /*********************************************************************** |
| 801 | * HNBAP Testing |
| 802 | ***********************************************************************/ |
| 803 | |
| 804 | |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 805 | function f_hnbap_register(integer hnb_idx := 0, integer cell_id := 0, boolean expect_reject := false) runs on test_CT |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 806 | { |
| 807 | timer T := 2.0; |
| 808 | |
Neels Hofmeyr | fffe79b | 2023-06-27 01:16:15 +0200 | [diff] [blame] | 809 | HNBAP[hnb_idx].send(ts_HNBAP_HNBRegisterRequest(char2oct("TTCN3-HNB-" & int2str(hnb_idx)), |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 810 | '00F110'O, |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 811 | int2bit(1 + cell_id, 28), |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 812 | int2oct(2, 2), |
| 813 | int2oct(3, 1), |
| 814 | int2oct(4, 2))); |
| 815 | |
| 816 | T.start; |
| 817 | alt { |
| 818 | [] HNBAP[hnb_idx].receive(tr_HNBAP_HNBRegisterAccept(?)) { |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 819 | if (expect_reject) { |
| 820 | setverdict(fail, "Rx HNB Register Accept while expecting reject"); |
| 821 | } else { |
| 822 | setverdict(pass); |
| 823 | } |
| 824 | } |
| 825 | [] HNBAP[hnb_idx].receive(tr_HNBAP_HNBRegisterReject(?)) { |
| 826 | if (expect_reject) { |
| 827 | setverdict(pass); |
| 828 | } else { |
| 829 | setverdict(fail, "Rx HNB Register Reject while expecting accept"); |
| 830 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 831 | } |
| 832 | [] HNBAP[hnb_idx].receive(IUHEM_Event:?) { |
| 833 | repeat; |
| 834 | } |
| 835 | [] T.timeout { |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 836 | setverdict(fail, "Timeout waiting for HNB Register response"); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 837 | } |
| 838 | } |
| 839 | } |
| 840 | |
| 841 | testcase TC_hnb_register() runs on test_CT { |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 842 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 843 | f_init(); |
| 844 | f_hnbap_register(0); |
| 845 | f_shutdown_helper(); |
| 846 | } |
| 847 | |
Pau Espin Pedrol | acf4f22 | 2022-09-27 14:33:40 +0200 | [diff] [blame] | 848 | /* Try to register the same HNB from 2 different concurrent connections. Second |
| 849 | * one should be rejected. */ |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 850 | testcase TC_hnb_register_duplicate() runs on test_CT { |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 851 | g_num_hnbs := 2; |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 852 | f_init(); |
| 853 | f_hnbap_register(0); |
| 854 | f_hnbap_register(1, 0, expect_reject := true); |
| 855 | f_verify_talloc_count(HNBGWVTY, {"struct hnb_context"}, expect_count := 1); |
| 856 | f_shutdown_helper(); |
| 857 | } |
| 858 | |
Pau Espin Pedrol | acf4f22 | 2022-09-27 14:33:40 +0200 | [diff] [blame] | 859 | /* Try to register the same HNB in the same connection already established, aka |
| 860 | * duplicate HNB Register Request. It should be accepted and new configuration |
| 861 | * applied. TS 25.469 8.2.4 */ |
| 862 | testcase TC_hnb_register_duplicate_reuse_sctp_assoc() runs on test_CT { |
| 863 | g_num_hnbs := 1; |
| 864 | f_init(); |
| 865 | f_hnbap_register(0); |
| 866 | f_hnbap_register(0); |
| 867 | f_verify_talloc_count(HNBGWVTY, {"struct hnb_context"}, expect_count := 1); |
| 868 | f_shutdown_helper(); |
| 869 | } |
| 870 | |
Pau Espin Pedrol | f0b9fa0 | 2022-09-12 13:31:07 +0200 | [diff] [blame] | 871 | /* Drop HNBAP conn (HNBAP DEREG) and reconnect it (HNBAP REG) using same SCTP association. |
| 872 | * Related: OS#5676, SYS#6113 */ |
| 873 | testcase TC_hnb_reregister_reuse_sctp_assoc() runs on test_CT { |
| 874 | g_num_hnbs := 1; |
| 875 | f_init(); |
| 876 | f_hnbap_register(0); |
| 877 | HNBAP[0].send(ts_HNBAP_HNBDe_Register(ts_HnbapCause(unspecified))); |
| 878 | f_hnbap_register(0); |
| 879 | f_verify_talloc_count(HNBGWVTY, {"struct hnb_context"}, expect_count := 1); |
| 880 | f_shutdown_helper(); |
| 881 | } |
| 882 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 883 | /*********************************************************************** |
| 884 | * RUA / RANAP Testing |
| 885 | ***********************************************************************/ |
| 886 | |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 887 | /* Translate from {msc,sgsn}x{0..n} to the proper index to use in g_cn[]. |
| 888 | * g_cn[] stores CN links, MSCs and SGSNs in the same array. |
| 889 | * For example, for 'sgsn 23', use g_cn[ f_cn_idx(ps_domain := true, cn_nr := 23) ]. |
| 890 | * |
| 891 | * Note the naming: |
| 892 | * cn_nr is the number used in the cfg file, as in 'msc 0'. |
| 893 | * cn_idx is the array index in g_cn[]. |
| 894 | */ |
| 895 | private function f_cn_idx(boolean ps_domain, integer cn_nr := 0) return integer |
| 896 | { |
| 897 | if (ps_domain) { |
| 898 | return FIRST_SGSN_IDX + cn_nr; |
| 899 | } |
| 900 | return FIRST_MSC_IDX + cn_nr; |
| 901 | } |
| 902 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 903 | private template (value) TestHdlrParams |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 904 | t_pars(integer imsi_suffix, boolean ps_domain := false, integer hnb_idx := 0, |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 905 | boolean expect_separate_sccp_cr := false, integer tx_sccp_cr_data_len := 0, |
| 906 | integer cn_nr := 0) := { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 907 | hnb_idx := hnb_idx, |
Neels Hofmeyr | 7a48df1 | 2023-04-20 20:43:43 +0200 | [diff] [blame] | 908 | cn_idx := f_cn_idx(ps_domain, cn_nr), |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 909 | imsi := f_gen_imsi(imsi_suffix), |
| 910 | ps_domain := ps_domain, |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 911 | hnb := omit, /* filled in later */ |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 912 | expect_separate_sccp_cr := expect_separate_sccp_cr, |
| 913 | tx_sccp_cr_data_len := tx_sccp_cr_data_len, |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 914 | pfcp_local_addr := mp_pfcp_ip_local |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 915 | } |
| 916 | |
| 917 | /* Create an Iuh connection; send InitialUE; expect it to appear on new SCCP conenction */ |
| 918 | friend function f_tc_initial_ue(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 919 | f_init_handler(pars); |
| 920 | var RANAP_PDU tx := f_build_initial_ue(g_pars); |
| 921 | f_iuh2iu_connect(tx); |
| 922 | } |
| 923 | testcase TC_ranap_cs_initial_ue() runs on test_CT { |
| 924 | var ConnHdlr vc_conn; |
| 925 | |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 926 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 927 | f_init(); |
| 928 | f_start_hnbs(); |
| 929 | |
| 930 | vc_conn := f_start_handler_with_pars(refers(f_tc_initial_ue), t_pars(1)); |
| 931 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 932 | |
| 933 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 934 | } |
| 935 | testcase TC_ranap_ps_initial_ue() runs on test_CT { |
| 936 | var ConnHdlr vc_conn; |
| 937 | |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 938 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 939 | f_init(); |
| 940 | f_start_hnbs(); |
| 941 | |
| 942 | vc_conn := f_start_handler_with_pars(refers(f_tc_initial_ue), t_pars(2, true)); |
| 943 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 944 | |
| 945 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 946 | } |
| 947 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 948 | private function f_vty_set_sccp_max_optional_data(TELNETasp_PT pt, integer val := -1) |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 949 | { |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 950 | var charstring valstr; |
| 951 | if (val < 0) { |
| 952 | valstr := "standard"; |
| 953 | } else { |
| 954 | valstr := int2str(val); |
| 955 | } |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 956 | f_vty_enter_config(pt); |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 957 | f_vty_transceive(pt, "cs7 instance 0"); |
| 958 | f_vty_transceive(pt, "sccp max-optional-data " & valstr); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 959 | f_vty_transceive(pt, "end"); |
| 960 | } |
| 961 | |
| 962 | testcase TC_ranap_cs_initial_ue_empty_cr() runs on test_CT { |
| 963 | var ConnHdlr vc_conn; |
| 964 | |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 965 | g_num_hnbs := 1; |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 966 | f_init(); |
| 967 | f_start_hnbs(); |
| 968 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 969 | f_vty_set_sccp_max_optional_data(HNBGWVTY, 0); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 970 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 971 | vc_conn := f_start_handler_with_pars(refers(f_tc_initial_ue), t_pars(1, expect_separate_sccp_cr := true)); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 972 | vc_conn.done; |
| 973 | |
| 974 | /* reset */ |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 975 | f_vty_set_sccp_max_optional_data(HNBGWVTY); |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 976 | |
| 977 | f_shutdown_helper(); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 978 | } |
| 979 | testcase TC_ranap_ps_initial_ue_empty_cr() runs on test_CT { |
| 980 | var ConnHdlr vc_conn; |
| 981 | |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 982 | g_num_hnbs := 1; |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 983 | f_init(); |
| 984 | f_start_hnbs(); |
| 985 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 986 | f_vty_set_sccp_max_optional_data(HNBGWVTY, 0); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 987 | |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 988 | vc_conn := f_start_handler_with_pars(refers(f_tc_initial_ue), t_pars(2, true, expect_separate_sccp_cr := true)); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 989 | vc_conn.done; |
| 990 | |
| 991 | /* reset */ |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 992 | f_vty_set_sccp_max_optional_data(HNBGWVTY); |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 993 | |
| 994 | f_shutdown_helper(); |
Neels Hofmeyr | f2c9502 | 2023-04-19 01:24:39 +0200 | [diff] [blame] | 995 | } |
| 996 | |
| 997 | type record Testdata_CR_Limit { |
| 998 | integer data_len, |
| 999 | integer max_optional_data, |
| 1000 | boolean expect_separate_sccp_cr |
| 1001 | }; |
| 1002 | type record of Testdata_CR_Limit Testdata_CR_Limits; |
| 1003 | |
| 1004 | testcase TC_sccp_cr_limit() runs on test_CT { |
| 1005 | g_num_hnbs := 1; |
| 1006 | f_init(); |
| 1007 | f_start_hnbs(); |
| 1008 | |
| 1009 | const Testdata_CR_Limits tests := { |
| 1010 | { data_len := 130, max_optional_data := -1, expect_separate_sccp_cr := false }, |
| 1011 | { data_len := 131, max_optional_data := -1, expect_separate_sccp_cr := true }, |
| 1012 | |
| 1013 | { data_len := 100, max_optional_data := 100, expect_separate_sccp_cr := false }, |
| 1014 | { data_len := 101, max_optional_data := 100, expect_separate_sccp_cr := true }, |
| 1015 | |
| 1016 | { data_len := 200, max_optional_data := 200, expect_separate_sccp_cr := false }, |
| 1017 | { data_len := 201, max_optional_data := 200, expect_separate_sccp_cr := true } |
| 1018 | }; |
| 1019 | |
| 1020 | var integer csps; |
| 1021 | for (csps := 0; csps < 2; csps := csps + 1) { |
| 1022 | var boolean ps_domain := (csps > 0); |
| 1023 | |
| 1024 | var integer i; |
| 1025 | for (i := 0; i < lengthof(tests); i := i + 1) { |
| 1026 | var Testdata_CR_Limit t := tests[i]; |
| 1027 | f_logp(HNBGWVTY, |
| 1028 | "TEST PART TC_sccp_cr_limit ps_domain=" & f_bool2str(ps_domain) |
| 1029 | & " data_len=" & int2str(t.data_len) |
| 1030 | & " max_optional_data=" & int2str(t.max_optional_data) |
| 1031 | & " expect_separate_sccp_cr=" & f_bool2str(t.expect_separate_sccp_cr) |
| 1032 | ); |
| 1033 | |
| 1034 | f_vty_set_sccp_max_optional_data(HNBGWVTY, t.max_optional_data); |
| 1035 | var ConnHdlr vc_conn; |
| 1036 | vc_conn := f_start_handler_with_pars(refers(f_tc_initial_ue), |
| 1037 | t_pars(100 + i, |
| 1038 | ps_domain := ps_domain, |
| 1039 | expect_separate_sccp_cr := t.expect_separate_sccp_cr, |
| 1040 | tx_sccp_cr_data_len := t.data_len)); |
| 1041 | vc_conn.done; |
| 1042 | } |
| 1043 | } |
| 1044 | |
| 1045 | /* reset */ |
| 1046 | f_vty_set_sccp_max_optional_data(HNBGWVTY); |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1047 | |
| 1048 | f_shutdown_helper(); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 1049 | } |
| 1050 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1051 | /* Reply to a received CRCX with an OK (or the reply configured in cpars), using the given parameters. |
| 1052 | * Return true when an OK reply was sent, false otherwise. |
| 1053 | * Count occurrence of Osmux, include Osmux parameters in the reply if necessary. */ |
| 1054 | function f_handle_crcx(inout MgcpParameters pars, MgcpCommand mgcp_cmd) return template MgcpResponse { |
| 1055 | var CrcxResponse conn := pars.mgw_conn_1; |
| 1056 | if (pars.got_crcx_count > 0) { |
| 1057 | conn := pars.mgw_conn_2; |
| 1058 | } |
| 1059 | pars.got_crcx_count := pars.got_crcx_count + 1; |
| 1060 | |
| 1061 | var MgcpMessage mgcp_msg := { |
| 1062 | command := mgcp_cmd |
| 1063 | } |
| 1064 | var template MgcpResponse mgcp_resp; |
| 1065 | var MgcpOsmuxCID osmux_cid; |
| 1066 | var MgcpCallId call_id := f_MgcpCmd_extract_call_id(mgcp_cmd); |
| 1067 | if (ispresent(pars.mgcp_call_id)) { |
| 1068 | if (pars.mgcp_call_id != call_id) { |
| 1069 | setverdict(fail, "CRCX contained unexpected call id. Expected:", pars.mgcp_call_id, " got:", call_id); |
| 1070 | mtc.stop; |
| 1071 | } |
| 1072 | } else { |
| 1073 | pars.mgcp_call_id := call_id; |
| 1074 | } |
| 1075 | |
| 1076 | /* When the endpoint contains a wildcard we keep the endpoint |
| 1077 | * identifier we have set up in pars. Otherwise we use the |
| 1078 | * endpoint name that the call agent has supplied */ |
| 1079 | if (match(mgcp_cmd.line.ep, t_MGCP_EP_wildcard) == false) { |
| 1080 | pars.mgcp_ep := mgcp_cmd.line.ep; |
| 1081 | } |
| 1082 | |
| 1083 | if (conn.resp == -1) { |
| 1084 | /* Reply with rror */ |
| 1085 | var MgcpResponse mgcp_rsp := { |
| 1086 | line := { |
| 1087 | code := "542", |
| 1088 | trans_id := mgcp_cmd.line.trans_id, |
| 1089 | string := "FORCED_FAIL" |
| 1090 | }, |
| 1091 | sdp := omit |
| 1092 | |
| 1093 | } |
| 1094 | var MgcpParameter mgcp_rsp_param := { |
| 1095 | code := "Z", |
| 1096 | val := pars.mgcp_ep |
| 1097 | }; |
| 1098 | mgcp_rsp.params[0] := mgcp_rsp_param; |
| 1099 | return mgcp_rsp; |
| 1100 | } |
| 1101 | |
| 1102 | if (conn.resp == 0) { |
| 1103 | /* Do not reply at all */ |
| 1104 | return omit; |
| 1105 | } |
| 1106 | |
| 1107 | if (conn.resp != 1) { |
| 1108 | setverdict(fail, "Unexpected value for pars.mgw_conn_*.resp, expect -1, 0 or 1"); |
| 1109 | mtc.stop; |
| 1110 | } |
| 1111 | |
| 1112 | var SDP_Message sdp := valueof(ts_SDP(conn.mgw_rtp_ip, conn.mgw_rtp_ip, |
| 1113 | hex2str(pars.mgcp_call_id), "42", |
| 1114 | conn.mgw_rtp_port, |
| 1115 | { int2str(pars.rtp_payload_type) }, |
| 1116 | { valueof(ts_SDP_rtpmap(pars.rtp_payload_type, |
| 1117 | pars.rtp_sdp_format)), |
| 1118 | valueof(ts_SDP_ptime(20)) })); |
| 1119 | |
| 1120 | if (f_mgcp_contains_par(mgcp_msg, "X-OSMUX")) { |
| 1121 | if (not pars.use_osmux) { |
| 1122 | setverdict(fail, "MSC sent X-Osmux parameter in MGCP, but not expecting any Osmux"); |
| 1123 | mtc.stop; |
| 1124 | } |
| 1125 | pars.got_osmux_count := pars.got_osmux_count + 1; |
| 1126 | /* we expect MSC to use wildcard here, i.e. osmux_cid == -1 */ |
| 1127 | osmux_cid := f_MgcpCmd_extract_osmux_cid(mgcp_cmd); |
| 1128 | log("f_handle_crcx(): got Osmux CID: ", osmux_cid); |
| 1129 | if (osmux_cid != -1) { |
| 1130 | setverdict(fail, "MSC using unexpected CID " & int2str(osmux_cid) & " != -1"); |
| 1131 | mtc.stop; |
| 1132 | } |
| 1133 | |
| 1134 | osmux_cid := 0; |
| 1135 | mgcp_resp := ts_CRCX_ACK_osmux(mgcp_cmd.line.trans_id, conn.mgcp_connection_id, osmux_cid, sdp); |
| 1136 | } else { |
| 1137 | mgcp_resp := ts_CRCX_ACK(mgcp_cmd.line.trans_id, conn.mgcp_connection_id, sdp); |
| 1138 | } |
| 1139 | |
| 1140 | f_mgcp_par_append(mgcp_resp.params, ts_MgcpParSpecEP(pars.mgcp_ep)); |
| 1141 | |
| 1142 | return mgcp_resp; |
| 1143 | } |
| 1144 | |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1145 | friend function f_create_rab(inout MgcpParameters pars) runs on ConnHdlr { |
| 1146 | f_rab_ass_req(pars); |
| 1147 | f_rab_ass_resp(pars); |
| 1148 | } |
| 1149 | |
| 1150 | friend function f_rab_ass_req(inout MgcpParameters pars) runs on ConnHdlr { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1151 | var MgcpCommand mgcp_cmd; |
| 1152 | var RANAP_PDU tx; |
| 1153 | var template RAB_SetupOrModifyList rab_sml; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1154 | timer T := 5.0; |
| 1155 | |
| 1156 | /* Send RAB Assignment Request */ |
| 1157 | rab_sml := ts_RAB_SML(t_RAB_id(23), f_ts_RAB_TLA(pars.cn_rtp_ip), t_RAB_binding_port(pars.cn_rtp_port)); |
| 1158 | tx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
| 1159 | BSSAP.send(tx); |
| 1160 | T.start; |
| 1161 | |
| 1162 | /* Handle MGCP CRCX */ |
| 1163 | alt { |
| 1164 | [] MGCP.receive(tr_CRCX) -> value mgcp_cmd { |
| 1165 | log("CRCX1", mgcp_cmd); |
| 1166 | var template MgcpResponse mgcp_rsp := f_handle_crcx(pars, mgcp_cmd); |
| 1167 | MGCP.send(valueof(mgcp_rsp)); |
| 1168 | } |
| 1169 | [] T.timeout { |
| 1170 | setverdict(fail, "Timeout waiting for MGCP"); |
| 1171 | } |
| 1172 | } |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 1173 | T.stop; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1174 | |
| 1175 | /* Expect RAB Assignment Request with IP/port from CRCX ACK via Iuh */ |
| 1176 | rab_sml := ts_RAB_SML(t_RAB_id(23), f_ts_RAB_TLA(pars.mgw_conn_1.mgw_rtp_ip), t_RAB_binding_port(pars.mgw_conn_1.mgw_rtp_port)); |
| 1177 | tx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
| 1178 | |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 1179 | f_rua_expect(tx); |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1180 | } |
| 1181 | |
| 1182 | friend function f_rab_ass_resp(inout MgcpParameters pars) runs on ConnHdlr { |
| 1183 | var MgcpCommand mgcp_cmd; |
| 1184 | var RANAP_PDU tx; |
| 1185 | var template RAB_SetupOrModifiedList rab_smdl; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1186 | |
| 1187 | /* Send back RAB Assignment Response via Iuh */ |
| 1188 | rab_smdl := ts_RAB_SMdL(t_RAB_id(23), f_ts_RAB_TLA(pars.hnb_rtp_ip), t_RAB_binding_port(pars.hnb_rtp_port)); |
| 1189 | tx := valueof(ts_RANAP_RabAssResp(rab_smdl)); |
| 1190 | RUA.send(tx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1191 | |
| 1192 | interleave { |
| 1193 | /* Expect MDCX with IP/port from RAB Assignment Response */ |
| 1194 | [] MGCP.receive(tr_MDCX(tr_SDP(pars.hnb_rtp_ip, pars.hnb_rtp_port))) -> value mgcp_cmd { |
| 1195 | log("MDCX1", mgcp_cmd); |
| 1196 | /* Verify SDP of MDCX */ |
| 1197 | var SDP_Message sdp := valueof(ts_SDP(pars.mgw_conn_1.mgw_rtp_ip, pars.mgw_conn_1.mgw_rtp_ip, hex2str(pars.mgcp_call_id), "42", pars.mgw_conn_1.mgw_rtp_port, |
| 1198 | { int2str(pars.rtp_payload_type) }, { valueof(ts_SDP_rtpmap(pars.rtp_payload_type, pars.rtp_sdp_format)), valueof(ts_SDP_ptime(20)) } )); |
| 1199 | var template MgcpResponse mgcp_rsp := ts_MDCX_ACK(mgcp_cmd.line.trans_id, pars.mgw_conn_1.mgcp_connection_id, sdp); |
| 1200 | MGCP.send(valueof(mgcp_rsp)); |
| 1201 | } |
| 1202 | /* Handle CRCX for second leg of endpoint, answer with IP/port */ |
| 1203 | [] MGCP.receive(tr_CRCX(pars.mgcp_ep, tr_SDP(pars.cn_rtp_ip, pars.cn_rtp_port))) -> value mgcp_cmd { |
| 1204 | log("CRCX2", mgcp_cmd); |
| 1205 | /* Verify SDP of CRCX */ |
| 1206 | var template MgcpResponse mgcp_rsp := f_handle_crcx(pars, mgcp_cmd); |
| 1207 | MGCP.send(valueof(mgcp_rsp)); |
| 1208 | } |
| 1209 | } |
| 1210 | |
| 1211 | /* Expect RAB Assignment Response with IP/port from second CRCX ACK */ |
| 1212 | rab_smdl := ts_RAB_SMdL(t_RAB_id(23), f_ts_RAB_TLA(pars.mgw_conn_2.mgw_rtp_ip), t_RAB_binding_port(pars.mgw_conn_2.mgw_rtp_port)); |
| 1213 | tx := valueof(ts_RANAP_RabAssResp(rab_smdl)); |
| 1214 | |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 1215 | f_bssap_expect(tx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1216 | } |
| 1217 | |
| 1218 | private altstep as_mgcp_dlcx(inout TestHdlrParams pars) runs on ConnHdlr { |
| 1219 | var MgcpCommand mgcp_cmd; |
| 1220 | |
| 1221 | [] MGCP.receive(tr_DLCX(pars.mgcp_pars.mgcp_ep)) -> value mgcp_cmd { |
| 1222 | log("DLCX", mgcp_cmd); |
| 1223 | MGCP.send(ts_DLCX_ACK2(mgcp_cmd.line.trans_id)); |
| 1224 | pars.mgcp_pars.got_dlcx_count := pars.mgcp_pars.got_dlcx_count + 1; |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1225 | if (pars.mgcp_pars.got_dlcx_count != pars.mgcp_pars.got_crcx_count) { |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1226 | repeat; |
| 1227 | } |
| 1228 | setverdict(pass); |
| 1229 | } |
| 1230 | } |
| 1231 | |
| 1232 | friend function f_tc_rab_assignment(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1233 | var MgcpCommand mgcp_cmd; |
| 1234 | var RANAP_PDU tx; |
| 1235 | timer T := 5.0; |
| 1236 | |
| 1237 | f_init_handler(pars); |
| 1238 | f_create_mgcp_expect(ExpectCriteria:{omit,omit,omit}); |
| 1239 | |
| 1240 | tx := f_build_initial_ue(g_pars); |
| 1241 | f_iuh2iu_connect(tx); |
| 1242 | |
| 1243 | f_create_rab(pars.mgcp_pars); |
| 1244 | |
| 1245 | /* Send Iu Release */ |
| 1246 | tx := valueof(ts_RANAP_IuReleaseCommand(ts_RanapCause_om_intervention)); |
| 1247 | f_iu2iuh(tx); |
| 1248 | |
| 1249 | T.start; |
| 1250 | alt { |
| 1251 | [] as_mgcp_dlcx(pars) {} |
| 1252 | [] T.timeout { |
| 1253 | setverdict(fail, "Timeout waiting for DLCX"); |
| 1254 | } |
| 1255 | } |
| 1256 | |
| 1257 | tx := valueof(ts_RANAP_IuReleaseComplete()); |
| 1258 | f_iuh2iu(tx); |
| 1259 | } |
| 1260 | |
| 1261 | testcase TC_rab_assignment() runs on test_CT { |
| 1262 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1263 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1264 | f_init(); |
| 1265 | f_start_hnbs(); |
| 1266 | |
| 1267 | vc_conn := f_start_handler_with_pars(refers(f_tc_rab_assignment), t_pars(3)); |
| 1268 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1269 | |
| 1270 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1271 | } |
| 1272 | |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1273 | friend function f_tc_rab_assign_fail(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1274 | var MgcpCommand mgcp_cmd; |
| 1275 | var RANAP_PDU tx; |
| 1276 | timer T := 5.0; |
| 1277 | |
| 1278 | f_init_handler(pars); |
| 1279 | f_create_mgcp_expect(ExpectCriteria:{omit,omit,omit}); |
| 1280 | |
| 1281 | tx := f_build_initial_ue(g_pars); |
| 1282 | f_iuh2iu_connect(tx); |
| 1283 | |
| 1284 | f_rab_ass_req(pars.mgcp_pars); |
| 1285 | |
| 1286 | /* Send RAB failed list in response */ |
| 1287 | tx := valueof(ts_RANAP_RabAssResp(rab_fl := ts_RAB_FL(t_RAB_id(23), ts_RanapCause_om_intervention))); |
| 1288 | f_iuh2iu(tx); |
| 1289 | |
| 1290 | T.start; |
| 1291 | alt { |
| 1292 | [] as_mgcp_dlcx(pars) {} |
| 1293 | [] T.timeout { |
| 1294 | setverdict(fail, "Timeout waiting for DLCX"); |
| 1295 | } |
| 1296 | } |
| 1297 | } |
| 1298 | |
| 1299 | testcase TC_rab_assign_fail() runs on test_CT { |
| 1300 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1301 | g_num_hnbs := 1; |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1302 | f_init(); |
| 1303 | f_start_hnbs(); |
| 1304 | |
| 1305 | vc_conn := f_start_handler_with_pars(refers(f_tc_rab_assign_fail), t_pars(4)); |
| 1306 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1307 | |
| 1308 | f_shutdown_helper(); |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1309 | } |
| 1310 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1311 | friend function f_tc_rab_release(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1312 | var MgcpCommand mgcp_cmd; |
| 1313 | var RANAP_PDU tx; |
| 1314 | timer T := 15.0; |
| 1315 | |
| 1316 | f_init_handler(pars); |
| 1317 | f_create_mgcp_expect(ExpectCriteria:{omit,omit,omit}); |
| 1318 | |
| 1319 | tx := f_build_initial_ue(g_pars); |
| 1320 | f_iuh2iu_connect(tx); |
| 1321 | |
| 1322 | f_create_rab(pars.mgcp_pars); |
| 1323 | |
| 1324 | /* Send RAB Release */ |
Daniel Willmann | 9e789be | 2022-02-22 13:30:51 +0100 | [diff] [blame] | 1325 | tx := valueof(ts_RANAP_RabAssReq(rab_rl := ts_RAB_RL(t_RAB_id(23), ts_RanapCause_om_intervention))); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1326 | BSSAP.send(tx); |
| 1327 | |
| 1328 | T.start; |
| 1329 | |
| 1330 | alt { |
| 1331 | [] as_mgcp_dlcx(pars) {} |
| 1332 | [] T.timeout { |
| 1333 | setverdict(fail, "Timeout waiting for DLCX"); |
| 1334 | } |
| 1335 | } |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 1336 | T.stop; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1337 | |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 1338 | f_rua_expect(tx); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1339 | } |
| 1340 | |
| 1341 | testcase TC_rab_release() runs on test_CT { |
| 1342 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1343 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1344 | f_init(); |
| 1345 | f_start_hnbs(); |
| 1346 | |
| 1347 | vc_conn := f_start_handler_with_pars(refers(f_tc_rab_release), t_pars(5)); |
| 1348 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1349 | |
| 1350 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1351 | } |
| 1352 | |
Daniel Willmann | 37c877f | 2022-02-22 16:47:06 +0100 | [diff] [blame] | 1353 | friend function f_tc_rab_assign_mgcp_to(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1354 | var MgcpCommand mgcp_cmd; |
| 1355 | var RANAP_PDU tx; |
| 1356 | var template RAB_SetupOrModifyList rab_sml; |
| 1357 | timer T := 15.0; |
| 1358 | |
| 1359 | T.start; |
| 1360 | f_init_handler(pars); |
| 1361 | f_create_mgcp_expect(ExpectCriteria:{omit,omit,omit}); |
| 1362 | |
| 1363 | tx := f_build_initial_ue(g_pars); |
| 1364 | f_iuh2iu_connect(tx); |
| 1365 | |
| 1366 | |
| 1367 | /* Send RAB Assignment Request */ |
| 1368 | rab_sml := ts_RAB_SML(t_RAB_id(23), f_ts_RAB_TLA(pars.mgcp_pars.cn_rtp_ip), t_RAB_binding_port(pars.mgcp_pars.cn_rtp_port)); |
| 1369 | tx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
| 1370 | BSSAP.send(tx); |
| 1371 | |
| 1372 | /* Ignore MGCP CRCX */ |
| 1373 | alt { |
| 1374 | [] MGCP.receive(tr_CRCX) -> value mgcp_cmd { |
| 1375 | log("Ignoreing CRCX1", mgcp_cmd); |
| 1376 | repeat; |
| 1377 | } |
| 1378 | [] BSSAP.receive(tr_RANAP_IuReleaseRequest(?)) { } |
| 1379 | [] T.timeout { |
| 1380 | setverdict(fail, "Timeout waiting for IuRelease"); |
| 1381 | } |
| 1382 | } |
| 1383 | |
| 1384 | /* Send Iu Release */ |
| 1385 | tx := valueof(ts_RANAP_IuReleaseCommand(ts_RanapCause_om_intervention)); |
| 1386 | f_iu2iuh(tx); |
| 1387 | |
| 1388 | tx := valueof(ts_RANAP_IuReleaseComplete()); |
| 1389 | f_iuh2iu(tx); |
| 1390 | } |
| 1391 | |
| 1392 | testcase TC_rab_assign_mgcp_to() runs on test_CT { |
| 1393 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1394 | g_num_hnbs := 1; |
Daniel Willmann | 37c877f | 2022-02-22 16:47:06 +0100 | [diff] [blame] | 1395 | f_init(); |
| 1396 | f_start_hnbs(); |
| 1397 | |
| 1398 | vc_conn := f_start_handler_with_pars(refers(f_tc_rab_assign_mgcp_to), t_pars(6)); |
| 1399 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1400 | |
| 1401 | f_shutdown_helper(); |
Daniel Willmann | 37c877f | 2022-02-22 16:47:06 +0100 | [diff] [blame] | 1402 | } |
| 1403 | |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1404 | /* Create an Iuh connection; send InitialUE; transceive data both directions */ |
| 1405 | friend function f_tc_ranap_bidir(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1406 | f_init_handler(pars); |
| 1407 | |
| 1408 | /* HNB -> MSC: InitialUE */ |
| 1409 | f_iuh2iu_connect(f_build_initial_ue(g_pars)); |
| 1410 | |
| 1411 | /* MSC <- HNB: DirectTransfer */ |
| 1412 | f_iu2iuh(ts_RANAP_DirectTransfer(f_rnd_octstring(10))); |
| 1413 | /* MSC -> HNB: DirectTransfer */ |
| 1414 | f_iuh2iu(ts_RANAP_DirectTransfer(f_rnd_octstring(10))); |
| 1415 | |
| 1416 | /* HNB <- MSC: CommonID */ |
| 1417 | f_iu2iuh(ts_RANAP_CommonId(hex2oct(pars.imsi))); |
| 1418 | } |
| 1419 | testcase TC_ranap_cs_bidir() runs on test_CT { |
| 1420 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1421 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1422 | f_init(); |
| 1423 | f_start_hnbs(); |
| 1424 | |
| 1425 | vc_conn := f_start_handler_with_pars(refers(f_tc_ranap_bidir), t_pars(3)); |
| 1426 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1427 | |
| 1428 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1429 | } |
| 1430 | testcase TC_ranap_ps_bidir() runs on test_CT { |
| 1431 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1432 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1433 | f_init(); |
| 1434 | f_start_hnbs(); |
| 1435 | |
| 1436 | vc_conn := f_start_handler_with_pars(refers(f_tc_ranap_bidir), t_pars(4, true)); |
| 1437 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1438 | |
| 1439 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1440 | } |
| 1441 | |
| 1442 | |
| 1443 | private function f_tc_ranap_mo_disconnect(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1444 | f_init_handler(pars); |
| 1445 | |
| 1446 | /* HNB -> MSC: InitialUE */ |
| 1447 | f_iuh2iu_connect(f_build_initial_ue(g_pars)); |
| 1448 | |
| 1449 | /* MSC <- HNB: DirectTransfer */ |
| 1450 | f_iu2iuh(ts_RANAP_DirectTransfer(f_rnd_octstring(10))); |
| 1451 | /* MSC -> HNB: DirectTransfer */ |
| 1452 | f_iuh2iu(ts_RANAP_DirectTransfer(f_rnd_octstring(10))); |
| 1453 | |
| 1454 | /* MSC <- HNB: RUA disconnect */ |
| 1455 | f_iuh2iu_disconnect(ts_RANAP_IuReleaseComplete, RUA_IEs.Cause:{misc:=processing_overload}); |
| 1456 | } |
| 1457 | testcase TC_ranap_cs_mo_disconnect() runs on test_CT { |
| 1458 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1459 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1460 | f_init(); |
| 1461 | f_start_hnbs(); |
| 1462 | |
| 1463 | vc_conn := f_start_handler_with_pars(refers(f_tc_ranap_mo_disconnect), t_pars(5)); |
| 1464 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1465 | |
| 1466 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1467 | } |
| 1468 | testcase TC_ranap_ps_mo_disconnect() runs on test_CT { |
| 1469 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1470 | g_num_hnbs := 1; |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1471 | f_init(); |
| 1472 | f_start_hnbs(); |
| 1473 | |
| 1474 | vc_conn := f_start_handler_with_pars(refers(f_tc_ranap_mo_disconnect), t_pars(6)); |
| 1475 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1476 | |
| 1477 | f_shutdown_helper(); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1478 | } |
| 1479 | |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1480 | type record FTeid { |
| 1481 | HostName addr, |
| 1482 | OCT4 teid |
| 1483 | } |
| 1484 | |
| 1485 | type record FTeids { |
| 1486 | FTeid local, |
| 1487 | FTeid remote |
| 1488 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1489 | |
| 1490 | |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1491 | /* 'local' and 'remote' refer to the GTP information from the UPF's point of view: |
| 1492 | * HNB UPF CN |
| 1493 | * access.remote <---> access.local | core.local <---> core.remote |
| 1494 | */ |
| 1495 | type record GtpParameters { |
| 1496 | FTeids core, |
| 1497 | FTeids access |
| 1498 | } |
| 1499 | |
| 1500 | /* HNB UPF CN |
| 1501 | * access.remote <---> access.local | core.local <---> core.remote |
| 1502 | * 127.0.0.4 127.0.0.3 127.0.0.2 127.0.0.1 |
| 1503 | * 0x44004400 0x30303030 0x22002200 0x10101010 |
| 1504 | */ |
| 1505 | template GtpParameters t_GtpParameters := { |
| 1506 | core := { |
| 1507 | local := { |
| 1508 | addr := "127.0.0.2", |
| 1509 | teid := '22002200'O |
| 1510 | }, |
| 1511 | remote := { |
| 1512 | addr := "127.0.0.1", |
| 1513 | teid := '10101010'O |
| 1514 | } |
| 1515 | }, |
| 1516 | access := { |
| 1517 | local := { |
| 1518 | addr := "127.0.0.3", |
| 1519 | teid := '30303030'O |
| 1520 | }, |
| 1521 | remote := { |
| 1522 | addr := "127.0.0.4", |
| 1523 | teid := '44004400'O |
| 1524 | } |
| 1525 | } |
| 1526 | } |
| 1527 | |
Neels Hofmeyr | 6549928 | 2023-04-25 02:31:51 +0200 | [diff] [blame] | 1528 | private function f_pfcp_expect(template (present) PDU_PFCP exp_rx, float wait_time := 5.0) runs on ConnHdlr return PDU_PFCP |
Neels Hofmeyr | 6bbfe05 | 2023-03-09 02:51:46 +0100 | [diff] [blame] | 1529 | { |
| 1530 | var PDU_PFCP rx; |
Neels Hofmeyr | 6549928 | 2023-04-25 02:31:51 +0200 | [diff] [blame] | 1531 | timer T := wait_time; |
Neels Hofmeyr | 6bbfe05 | 2023-03-09 02:51:46 +0100 | [diff] [blame] | 1532 | T.start; |
| 1533 | alt { |
| 1534 | [] PFCP.receive(exp_rx) -> value rx { |
| 1535 | setverdict(pass); |
| 1536 | } |
| 1537 | [] PFCP.receive(PDU_PFCP:?) { |
| 1538 | setverdict(fail, "Got an unexpected PFCP message, was waiting for ", exp_rx); |
| 1539 | mtc.stop; |
| 1540 | } |
| 1541 | [] T.timeout { |
| 1542 | setverdict(fail, "Timeout waiting for PFCP ", exp_rx); |
| 1543 | mtc.stop; |
| 1544 | } |
| 1545 | } |
| 1546 | T.stop; |
| 1547 | return rx; |
| 1548 | } |
| 1549 | |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1550 | friend function f_tc_ps_rab_assignment_with_pfcp(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1551 | var RANAP_PDU tx; |
| 1552 | var RANAP_PDU rx; |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1553 | |
| 1554 | f_init_handler(pars); |
| 1555 | |
| 1556 | f_pfcp_register(); |
| 1557 | |
| 1558 | var PDU_PFCP m; |
| 1559 | var Node_ID upf_node_id := valueof(ts_PFCP_Node_ID_fqdn("\07osmocom\03org")); |
| 1560 | |
Neels Hofmeyr | 6549928 | 2023-04-25 02:31:51 +0200 | [diff] [blame] | 1561 | m := f_pfcp_expect(tr_PFCP_Assoc_Setup_Req(), wait_time := 15.0); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1562 | PFCP.send(ts_PFCP_Assoc_Setup_Resp(m.sequence_number, upf_node_id, |
| 1563 | ts_PFCP_Cause(REQUEST_ACCEPTED), 1234)); |
| 1564 | |
| 1565 | tx := f_build_initial_ue(g_pars); |
| 1566 | f_iuh2iu_connect(tx); |
| 1567 | |
| 1568 | var GtpParameters gtp_pars := valueof(t_GtpParameters); |
| 1569 | var template RAB_SetupOrModifyList rab_sml; |
| 1570 | |
| 1571 | /* Send RAB Assignment Request */ |
| 1572 | rab_sml := ts_RAB_SML_ps(t_RAB_id(23), f_ts_RAB_TLA(gtp_pars.core.remote.addr), gtp_pars.core.remote.teid); |
| 1573 | tx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
| 1574 | BSSAP.send(tx); |
| 1575 | |
| 1576 | /* Expect PFCP Session Establishment Request. */ |
Neels Hofmeyr | 6bbfe05 | 2023-03-09 02:51:46 +0100 | [diff] [blame] | 1577 | m := f_pfcp_expect(tr_PFCP_Session_Est_Req()); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1578 | var F_SEID hnbgw_f_seid := m.message_body.pfcp_session_establishment_request.CP_F_SEID; |
| 1579 | var PFCP_Session_Establishment_Request serq := m.message_body.pfcp_session_establishment_request; |
| 1580 | |
| 1581 | /* Acting as UPF, invent a new PFCP SEID to send to HNBGW. Respond to the Session Establishment. |
| 1582 | * The PFCP response must have the same sequence_number as the request. */ |
Neels Hofmeyr | 1e31146 | 2023-01-11 01:19:12 +0100 | [diff] [blame] | 1583 | var F_SEID up_f_seid := valueof(ts_PFCP_F_SEID_ipv4(f_inet_addr("127.0.0.1"), '1111111111111111'O)); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1584 | var template PDU_PFCP r := ts_PFCP_Session_Est_Resp(m.sequence_number, upf_node_id, hnbgw_f_seid.seid); |
| 1585 | r.message_body.pfcp_session_establishment_response := { |
| 1586 | offending_ie := omit, |
| 1587 | UP_F_SEID := up_f_seid, |
| 1588 | created_PDR_list := { |
| 1589 | ts_PFCP_Created_PDR(pdr_id := serq.create_PDR_list[0].grouped_ie.pdr_id, |
| 1590 | local_F_TEID := ts_PFCP_F_TEID_ipv4(gtp_pars.core.local.teid, |
Neels Hofmeyr | 1e31146 | 2023-01-11 01:19:12 +0100 | [diff] [blame] | 1591 | f_inet_addr(gtp_pars.core.local.addr))), |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1592 | ts_PFCP_Created_PDR(pdr_id := serq.create_PDR_list[1].grouped_ie.pdr_id, |
| 1593 | local_F_TEID := ts_PFCP_F_TEID_ipv4(gtp_pars.access.local.teid, |
Neels Hofmeyr | 1e31146 | 2023-01-11 01:19:12 +0100 | [diff] [blame] | 1594 | f_inet_addr(gtp_pars.access.local.addr))) |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1595 | }, |
| 1596 | load_control_information := omit, |
| 1597 | overload_control_information := omit, |
| 1598 | node_list := omit, |
| 1599 | failed_rule_id := omit, |
| 1600 | created_traffic_endpoint_list := omit |
| 1601 | }; |
| 1602 | PFCP.send(r); |
| 1603 | |
| 1604 | /* Expect on Iuh: RAB Assignment Request with IP/port from PFCP Session Est Resp */ |
| 1605 | rab_sml := ts_RAB_SML_ps(t_RAB_id(23), f_ts_RAB_TLA(gtp_pars.access.local.addr), |
| 1606 | gtp_pars.access.local.teid); |
| 1607 | rx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 1608 | f_rua_expect(rx); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1609 | |
| 1610 | /* Send back RAB Assignment Response via Iuh */ |
| 1611 | var template RAB_SetupOrModifiedList rab_smdl; |
| 1612 | rab_smdl := ts_RAB_SMdL_ps(t_RAB_id(23), f_ts_RAB_TLA(gtp_pars.access.remote.addr), |
| 1613 | gtp_pars.access.remote.teid); |
| 1614 | tx := valueof(ts_RANAP_RabAssResp(rab_smdl)); |
| 1615 | RUA.send(tx); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1616 | |
Neels Hofmeyr | 6bbfe05 | 2023-03-09 02:51:46 +0100 | [diff] [blame] | 1617 | m := f_pfcp_expect(tr_PFCP_Session_Mod_Req(up_f_seid.seid)); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1618 | r := ts_PFCP_Session_Mod_Resp(m.sequence_number, hnbgw_f_seid.seid); |
| 1619 | PFCP.send(r); |
| 1620 | |
| 1621 | rab_smdl := ts_RAB_SMdL_ps(t_RAB_id(23), f_ts_RAB_TLA(gtp_pars.core.local.addr), gtp_pars.core.local.teid); |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 1622 | f_bssap_expect(tr_RANAP_RabAssResp(rab_smdl)); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1623 | |
| 1624 | f_sleep(2.0); |
| 1625 | tx := valueof(ts_RANAP_IuReleaseCommand(ts_RanapCause_om_intervention)); |
| 1626 | f_iu2iuh(tx); |
| 1627 | |
| 1628 | tx := valueof(ts_RANAP_IuReleaseComplete()); |
| 1629 | f_iuh2iu(tx); |
| 1630 | |
Neels Hofmeyr | 6bbfe05 | 2023-03-09 02:51:46 +0100 | [diff] [blame] | 1631 | m := f_pfcp_expect(tr_PFCP_Session_Del_Req(up_f_seid.seid)); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1632 | PFCP.send(ts_PFCP_Session_Del_Resp(m.sequence_number, hnbgw_f_seid.seid)); |
| 1633 | |
| 1634 | f_sleep(2.0); |
| 1635 | } |
| 1636 | |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1637 | testcase TC_ps_rab_assignment_with_pfcp() runs on test_CT { |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1638 | var ConnHdlr vc_conn; |
Pau Espin Pedrol | 83a4961 | 2022-09-12 21:11:05 +0200 | [diff] [blame] | 1639 | g_num_hnbs := 1; |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1640 | f_init(); |
| 1641 | f_start_hnbs(); |
| 1642 | f_sleep(1.0); |
| 1643 | |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1644 | vc_conn := f_start_handler_with_pars(refers(f_tc_ps_rab_assignment_with_pfcp), t_pars(7, ps_domain := true)); |
| 1645 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1646 | |
| 1647 | f_shutdown_helper(); |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1648 | } |
| 1649 | |
| 1650 | altstep as_disallow_pfcp() runs on ConnHdlr { |
| 1651 | [] PFCP.receive(PDU_PFCP:?) { |
| 1652 | setverdict(fail, "Received PFCP message, but no PFCP communication expected"); |
| 1653 | mtc.stop; |
| 1654 | } |
| 1655 | } |
| 1656 | |
| 1657 | friend function f_tc_ps_rab_assignment_without_pfcp(charstring id, TestHdlrParams pars) runs on ConnHdlr { |
| 1658 | var RANAP_PDU tx; |
| 1659 | var RANAP_PDU rx; |
| 1660 | timer T := 5.0; |
| 1661 | |
| 1662 | f_init_handler(pars); |
| 1663 | |
| 1664 | f_pfcp_register(); |
| 1665 | activate(as_disallow_pfcp()); |
| 1666 | |
| 1667 | tx := f_build_initial_ue(g_pars); |
| 1668 | f_iuh2iu_connect(tx); |
| 1669 | |
| 1670 | var GtpParameters gtp_pars := valueof(t_GtpParameters); |
| 1671 | var template RAB_SetupOrModifyList rab_sml; |
| 1672 | |
| 1673 | /* Send RAB Assignment Request */ |
| 1674 | rab_sml := ts_RAB_SML_ps(t_RAB_id(23), f_ts_RAB_TLA(gtp_pars.core.remote.addr), gtp_pars.core.remote.teid); |
| 1675 | tx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
| 1676 | BSSAP.send(tx); |
| 1677 | |
| 1678 | /* Expect on Iuh: unmodified RAB Assignment Request */ |
| 1679 | rx := valueof(ts_RANAP_RabAssReq(rab_sml)); |
Neels Hofmeyr | 735b656 | 2023-03-09 02:51:28 +0100 | [diff] [blame] | 1680 | f_rua_expect(rx); |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1681 | |
| 1682 | /* Send back RAB Assignment Response via Iuh */ |
| 1683 | var template RAB_SetupOrModifiedList rab_smdl; |
| 1684 | rab_smdl := ts_RAB_SMdL_ps(t_RAB_id(23), f_ts_RAB_TLA(gtp_pars.access.remote.addr), |
| 1685 | gtp_pars.access.remote.teid); |
| 1686 | tx := valueof(ts_RANAP_RabAssResp(rab_smdl)); |
| 1687 | RUA.send(tx); |
| 1688 | |
| 1689 | /* Expect on IuPS: unmodified RAB Assignment Response */ |
Neels Hofmeyr | dc416c9 | 2023-03-09 02:47:50 +0100 | [diff] [blame] | 1690 | f_bssap_expect(tr_RANAP_RabAssResp(rab_smdl)); |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1691 | |
| 1692 | f_sleep(2.0); |
| 1693 | tx := valueof(ts_RANAP_IuReleaseCommand(ts_RanapCause_om_intervention)); |
| 1694 | f_iu2iuh(tx); |
| 1695 | |
| 1696 | tx := valueof(ts_RANAP_IuReleaseComplete()); |
| 1697 | f_iuh2iu(tx); |
| 1698 | |
| 1699 | f_sleep(2.0); |
| 1700 | } |
| 1701 | |
| 1702 | testcase TC_ps_rab_assignment_without_pfcp() runs on test_CT { |
| 1703 | var ConnHdlr vc_conn; |
| 1704 | f_init(); |
| 1705 | f_start_hnbs(); |
| 1706 | f_sleep(1.0); |
| 1707 | |
| 1708 | vc_conn := f_start_handler_with_pars(refers(f_tc_ps_rab_assignment_without_pfcp), t_pars(7, ps_domain := true)); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1709 | vc_conn.done; |
Neels Hofmeyr | 3a9140e | 2023-06-23 04:50:39 +0200 | [diff] [blame] | 1710 | |
| 1711 | f_shutdown_helper(); |
Neels Hofmeyr | a56e8fd | 2022-05-08 01:16:55 +0200 | [diff] [blame] | 1712 | } |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1713 | |
| 1714 | control { |
| 1715 | execute(TC_hnb_register()); |
Daniel Willmann | c79679a | 2022-08-23 17:48:39 +0200 | [diff] [blame] | 1716 | execute(TC_hnb_register_duplicate()); |
Pau Espin Pedrol | acf4f22 | 2022-09-27 14:33:40 +0200 | [diff] [blame] | 1717 | execute(TC_hnb_register_duplicate_reuse_sctp_assoc()); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1718 | execute(TC_ranap_cs_initial_ue()); |
| 1719 | execute(TC_ranap_ps_initial_ue()); |
Neels Hofmeyr | f0b9ed1 | 2022-06-07 17:46:32 +0200 | [diff] [blame] | 1720 | execute(TC_ranap_cs_initial_ue_empty_cr()); |
| 1721 | execute(TC_ranap_ps_initial_ue_empty_cr()); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1722 | execute(TC_ranap_cs_bidir()); |
| 1723 | execute(TC_ranap_ps_bidir()); |
| 1724 | execute(TC_rab_assignment()); |
| 1725 | execute(TC_rab_release()); |
Daniel Willmann | 3e15b7b | 2022-02-21 17:07:02 +0100 | [diff] [blame] | 1726 | execute(TC_rab_assign_fail()); |
Daniel Willmann | 37c877f | 2022-02-22 16:47:06 +0100 | [diff] [blame] | 1727 | execute(TC_rab_assign_mgcp_to()); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1728 | execute(TC_ranap_cs_mo_disconnect()); |
| 1729 | execute(TC_ranap_ps_mo_disconnect()); |
Neels Hofmeyr | bacb74f | 2022-08-29 16:24:12 +0200 | [diff] [blame] | 1730 | |
| 1731 | if (mp_enable_pfcp_tests) { |
| 1732 | execute(TC_ps_rab_assignment_with_pfcp()); |
| 1733 | } else { |
| 1734 | execute(TC_ps_rab_assignment_without_pfcp()); |
| 1735 | } |
Pau Espin Pedrol | f0b9fa0 | 2022-09-12 13:31:07 +0200 | [diff] [blame] | 1736 | |
| 1737 | /* Run at the end since it makes osmo-hnbgw <= 1.3.0 crash: OS#5676 */ |
| 1738 | execute(TC_hnb_reregister_reuse_sctp_assoc()); |
Daniel Willmann | 19b8d90 | 2022-01-05 09:12:34 +0100 | [diff] [blame] | 1739 | } |
| 1740 | |
| 1741 | } |