Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 1 | module SIP_Tests { |
| 2 | |
Harald Welte | 34b5a95 | 2019-05-27 11:54:11 +0200 | [diff] [blame] | 3 | /* osmo-sip-connector test suite in TTCN-3 |
| 4 | * (C) 2018-2019 Harald Welte <laforge@gnumonks.org> |
| 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 | |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 13 | import from General_Types all; |
| 14 | import from Osmocom_Types all; |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 15 | import from Native_Functions all; |
| 16 | import from Misc_Helpers all; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 17 | |
| 18 | import from Osmocom_CTRL_Functions all; |
| 19 | import from Osmocom_CTRL_Types all; |
| 20 | import from Osmocom_CTRL_Adapter all; |
| 21 | |
| 22 | import from TELNETasp_PortType all; |
| 23 | import from Osmocom_VTY_Functions all; |
| 24 | |
| 25 | import from MNCC_Emulation all; |
| 26 | import from MNCC_Types all; |
| 27 | |
| 28 | import from SDP_Types all; |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 29 | import from SDP_Templates all; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 30 | |
| 31 | import from SIP_Emulation all; |
| 32 | import from SIPmsg_Types all; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 33 | import from SIP_Templates all; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 34 | |
| 35 | modulepar { |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 36 | charstring mp_local_host := "127.0.0.2"; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 37 | charstring mp_osmosip_host := "127.0.0.1"; |
| 38 | integer mp_osmosip_port_ctrl := -1; /* RFU */ |
| 39 | charstring mp_mncc := "/tmp/mncc"; |
| 40 | } |
| 41 | |
| 42 | type component test_CT extends CTRL_Adapter_CT { |
| 43 | var MNCC_Emulation_CT vc_MNCC; |
| 44 | var SIP_Emulation_CT vc_SIP; |
| 45 | |
| 46 | port TELNETasp_PT SIPVTY; |
| 47 | } |
| 48 | |
| 49 | type component ConnHdlr extends SIP_ConnHdlr, MNCC_ConnHdlr { |
| 50 | var ConnHdlrPars g_pars; |
| 51 | timer g_Tguard; |
| 52 | } |
| 53 | |
| 54 | type record ConnHdlrPars { |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 55 | float t_guard, |
| 56 | CallPars g_cp optional |
| 57 | } |
| 58 | |
| 59 | type record CallPars { |
| 60 | boolean is_mo, |
| 61 | charstring calling, |
| 62 | charstring called, |
| 63 | |
| 64 | uint32_t mncc_call_id optional, |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 65 | CallParsComputed comp optional, |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 66 | |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 67 | charstring sip_rtp_addr, |
| 68 | uint16_t sip_rtp_port, |
| 69 | charstring cn_rtp_addr, |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 70 | uint16_t cn_rtp_port, |
| 71 | |
| 72 | /* Send SDP to MNCC, and expect to receive SDP from MNCC. mncc_with_sdp := false tests legacy compatibility to |
| 73 | * the time when we did not include SDP in MNCC messages. mncc_with_sdp := true expects SDP to pass through the |
| 74 | * SUT osmo-sip-connector unchanged. */ |
| 75 | boolean mncc_with_sdp |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 76 | } |
| 77 | |
| 78 | type record CallParsComputed { |
| 79 | CallidString sip_call_id, |
| 80 | SipAddr sip_url_ext, |
| 81 | SipAddr sip_url_gsm, |
| 82 | charstring sip_body, |
| 83 | integer sip_seq_nr |
| 84 | } |
| 85 | |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 86 | private template (value) CallPars t_CallPars(boolean is_mo, boolean mncc_with_sdp := true) := { |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 87 | is_mo := is_mo, |
| 88 | calling := "12345", |
| 89 | called := "98766", |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 90 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 91 | mncc_call_id := omit, |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 92 | comp := omit, |
| 93 | sip_rtp_addr := "1.2.3.4", |
| 94 | sip_rtp_port := 1234, |
| 95 | cn_rtp_addr := "5.6.7.8", |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 96 | cn_rtp_port := 5678, |
| 97 | mncc_with_sdp := mncc_with_sdp |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 98 | } |
| 99 | |
| 100 | private function f_CallPars_compute(inout CallPars cp) { |
| 101 | if (cp.is_mo) { |
Pau Espin Pedrol | fb34d86 | 2024-03-28 20:21:38 +0100 | [diff] [blame] | 102 | cp.comp.sip_url_ext := valueof(ts_SipAddr(ts_HostPort(mp_local_host, 5060), |
| 103 | ts_UserInfo(cp.called))); |
| 104 | cp.comp.sip_url_gsm := valueof(ts_SipAddr(ts_HostPort(mp_osmosip_host, 5060), |
| 105 | ts_UserInfo(cp.calling))); |
Pau Espin Pedrol | 6052a34 | 2024-03-28 20:20:46 +0100 | [diff] [blame] | 106 | cp.mncc_call_id := f_sip_rand_seq_nr(); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 107 | } else { |
Pau Espin Pedrol | fb34d86 | 2024-03-28 20:21:38 +0100 | [diff] [blame] | 108 | cp.comp.sip_url_ext := valueof(ts_SipAddr(ts_HostPort(mp_local_host, 5060), |
| 109 | ts_UserInfo(cp.calling))); |
| 110 | cp.comp.sip_url_gsm := valueof(ts_SipAddr(ts_HostPort(mp_osmosip_host, 5060), |
| 111 | ts_UserInfo(cp.called))); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 112 | cp.comp.sip_call_id := hex2str(f_rnd_hexstring(15)); |
| 113 | } |
Pau Espin Pedrol | 6052a34 | 2024-03-28 20:20:46 +0100 | [diff] [blame] | 114 | cp.comp.sip_seq_nr := f_sip_rand_seq_nr(); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 115 | cp.comp.sip_body := ""; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 116 | } |
| 117 | |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 118 | function f_init_mncc(charstring id) runs on test_CT { |
| 119 | id := id & "-MNCC"; |
| 120 | var MnccOps ops := { |
| 121 | create_cb := refers(MNCC_Emulation.ExpectedCreateCallback), |
| 122 | unitdata_cb := refers(MNCC_Emulation.DummyUnitdataCallback) |
| 123 | }; |
| 124 | |
Pau Espin Pedrol | e94a648 | 2024-04-10 13:37:55 +0200 | [diff] [blame] | 125 | vc_MNCC := MNCC_Emulation_CT.create(id) alive; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 126 | map(vc_MNCC:MNCC, system:MNCC_CODEC_PT); |
| 127 | vc_MNCC.start(MNCC_Emulation.main(ops, id, mp_mncc, true)); |
| 128 | } |
| 129 | |
| 130 | function f_init() runs on test_CT { |
Pau Espin Pedrol | 9a5b8ff | 2021-01-04 19:01:31 +0100 | [diff] [blame] | 131 | //f_ipa_ctrl_start_client(mp_osmosip_host, mp_osmosip_port_ctrl); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 132 | f_init_mncc("SIP_Test"); |
| 133 | log("end of f_init_mncc"); |
| 134 | f_init_sip(vc_SIP, "SIP_Test"); |
| 135 | log("end of f_init_sip"); |
| 136 | |
| 137 | map(self:SIPVTY, system:SIPVTY); |
| 138 | f_vty_set_prompts(SIPVTY); |
| 139 | f_vty_transceive(SIPVTY, "enable"); |
| 140 | log("end of f_init"); |
| 141 | } |
| 142 | |
| 143 | type function void_fn(charstring id) runs on ConnHdlr; |
| 144 | |
| 145 | function f_start_handler(void_fn fn, ConnHdlrPars pars) |
| 146 | runs on test_CT return ConnHdlr { |
| 147 | var ConnHdlr vc_conn; |
| 148 | var charstring id := testcasename(); |
| 149 | |
Pau Espin Pedrol | e94a648 | 2024-04-10 13:37:55 +0200 | [diff] [blame] | 150 | vc_conn := ConnHdlr.create(id) alive; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 151 | |
| 152 | connect(vc_conn:SIP, vc_SIP:CLIENT); |
| 153 | connect(vc_conn:SIP_PROC, vc_SIP:CLIENT_PROC); |
| 154 | |
| 155 | connect(vc_conn:MNCC, vc_MNCC:MNCC_CLIENT); |
| 156 | connect(vc_conn:MNCC_PROC, vc_MNCC:MNCC_PROC); |
| 157 | |
| 158 | vc_conn.start(f_handler_init(fn, id, pars)); |
| 159 | return vc_conn; |
| 160 | } |
| 161 | |
| 162 | private altstep as_Tguard() runs on ConnHdlr { |
| 163 | [] g_Tguard.timeout { |
| 164 | setverdict(fail, "Tguard timeout"); |
Daniel Willmann | afce866 | 2018-07-06 23:11:32 +0200 | [diff] [blame] | 165 | mtc.stop; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 166 | } |
| 167 | } |
| 168 | |
| 169 | private function f_handler_init(void_fn fn, charstring id, ConnHdlrPars pars) |
| 170 | runs on ConnHdlr { |
| 171 | g_pars := pars; |
| 172 | g_Tguard.start(pars.t_guard); |
| 173 | activate(as_Tguard()); |
| 174 | |
| 175 | /* call the user-supied test case function */ |
| 176 | fn.apply(id); |
| 177 | } |
| 178 | |
| 179 | |
| 180 | template (value) ConnHdlrPars t_Pars := { |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 181 | t_guard := 30.0, |
| 182 | g_cp := omit |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 183 | } |
| 184 | |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 185 | altstep as_SIP_expect_resp(template PDU_SIP_Response sip_expect) runs on ConnHdlr |
| 186 | { |
| 187 | [] SIP.receive(sip_expect); |
| 188 | [] SIP.receive { |
| 189 | log("FAIL: expected SIP message ", sip_expect); |
| 190 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Received unexpected SIP message"); |
| 191 | } |
| 192 | } |
| 193 | |
| 194 | function f_SIP_expect_req(template PDU_SIP_Request sip_expect) runs on ConnHdlr return PDU_SIP_Request |
| 195 | { |
| 196 | var PDU_SIP_Request rx; |
| 197 | alt { |
| 198 | [] SIP.receive(sip_expect) -> value rx; |
| 199 | [] SIP.receive { |
| 200 | log("FAIL: expected SIP message ", sip_expect); |
| 201 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Received unexpected SIP message"); |
| 202 | } |
| 203 | } |
| 204 | return rx; |
| 205 | } |
| 206 | |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 207 | /* Update 'last_sdp', and match with expectation of what the current SDP should be. |
| 208 | * Useful to ensure that MNCC or SIP send and possibly resend only the expected SDP. |
| 209 | * last_sdp keeps the last non-empty rx_sdp, across multiple check_sdp() invocations. |
| 210 | * rx_sdp is the SDP charstring just received. If it is nonempty, update last_sdp to rx_sdp. |
| 211 | * After updating last_sdp as appropriate, match last_sdp with expect_sdp. */ |
| 212 | private function check_sdp(inout charstring last_sdp, |
| 213 | charstring rx_sdp, |
| 214 | template charstring expect_sdp) |
| 215 | { |
| 216 | /* If there is new SDP, store it. */ |
| 217 | if (lengthof(rx_sdp) > 0) { |
| 218 | if (last_sdp != rx_sdp) { |
| 219 | log("SDP update from ", last_sdp, " to ", rx_sdp); |
| 220 | } |
| 221 | |
| 222 | /* If MNCC sent SDP data, remember it as the last valid SDP */ |
| 223 | last_sdp := rx_sdp; |
| 224 | } |
| 225 | /* Validate expectations of the SDP data */ |
| 226 | if (not match(last_sdp, expect_sdp)) { |
| 227 | log("FAIL: expected SDP ", expect_sdp, " but got ", last_sdp); |
| 228 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "unexpected SDP"); |
| 229 | } |
| 230 | } |
| 231 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 232 | /* Establish a mobile terminated call described in 'cp' */ |
| 233 | function f_establish_mt(inout CallPars cp) runs on ConnHdlr { |
| 234 | var template SipAddr sip_addr_gsm := tr_SipAddr_from_val(cp.comp.sip_url_gsm); |
| 235 | var template SipAddr sip_addr_ext := tr_SipAddr_from_val(cp.comp.sip_url_ext); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 236 | var MNCC_PDU mncc; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 237 | |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 238 | /* The last SDP that the MSC received via MNCC from osmo-sip-connector */ |
| 239 | var charstring sdp_to_msc := ""; |
| 240 | /* At first, allow any empty and nonempty SDP. As the test progresses, this may expect specific SDP instead. */ |
| 241 | var template charstring expect_sdp_to_msc := *; |
| 242 | |
| 243 | /* If cp.mncc_with_sdp == true, expect SDP forwarding like this: |
| 244 | * |
| 245 | * SDP1: SIP agent's RTP and codec info |
| 246 | * SDP2: osmo-msc's RTP and codec info |
| 247 | * |
| 248 | * MNCC osmo-sip-connector SIP |
| 249 | * |<--SDP1----- SIP Invite |
| 250 | * |-----------> SIP (Invite) Trying |
| 251 | * <--SDP1-------| MNCC SETUP req |
| 252 | * ------------->| MNCC CALL CONF ind |
| 253 | * <-------------| MNCC RTP CREATE (SDP optional, still unchanged from SDP1) |
| 254 | * -------SDP2-->| MNCC RTP CREATE |
| 255 | * ------------->| MNCC ALERT ind |
| 256 | * |--------------> SIP (Invite) Ringing |
| 257 | * (MT picks up) | |
| 258 | * ------------->| MNCC SETUP CNF |
| 259 | * <-------------| MNCC RTP CONNECT (SDP optional, still unchanged from SDP1) |
| 260 | * |--------SDP2--> SIP (Invite) OK |
| 261 | * |<-------------- SIP ACK |
| 262 | * <-------------| MNCC SETUP COMPL (SDP optional, still unchanged from SDP1) |
| 263 | */ |
| 264 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 265 | /* Ask MNCC_Emulation to "expect" a call to the given called number */ |
| 266 | f_create_mncc_expect(cp.called); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 267 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 268 | /* OSC <- SIP: A party sends SIP invite for a MT-call into OSC */ |
| 269 | SIP.send(ts_SIP_INVITE(cp.comp.sip_call_id, cp.comp.sip_url_ext, cp.comp.sip_url_gsm, |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 270 | ts_Via_from(cp.comp.sip_url_ext.addr.nameAddr.addrSpec.hostPort), |
| 271 | ts_Contact_SipAddr(cp.comp.sip_url_ext), |
| 272 | cp.comp.sip_seq_nr, cp.comp.sip_body)); |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 273 | if (cp.mncc_with_sdp) { |
| 274 | /* We just sent SDP via SIP, now expect the same SDP in MNCC to the MSC */ |
| 275 | expect_sdp_to_msc := cp.comp.sip_body; |
| 276 | } |
| 277 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 278 | /* OSC -> SIP */ |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 279 | as_SIP_expect_resp(tr_SIP_Response(cp.comp.sip_call_id, sip_addr_ext, sip_addr_gsm, |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 280 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_ext.addr.nameAddr.addrSpec.hostPort)), |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 281 | *, |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 282 | "INVITE", 100, ?, "Trying", *)); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 283 | |
Pau Espin Pedrol | 37cf408 | 2020-09-23 16:59:16 +0200 | [diff] [blame] | 284 | alt { |
| 285 | /* MSC <- OSC: OSC generates MNCC_SETUP_REQ from INVITE */ |
| 286 | [] MNCC.receive(tr_MNCC_SETUP_req) -> value mncc { |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 287 | cp.mncc_call_id := mncc.u.signal.callref; |
| 288 | /* Expect the SDP sent via SIP to arrive in MNCC */ |
| 289 | check_sdp(sdp_to_msc, mncc.u.signal.sdp, expect_sdp_to_msc); |
Pau Espin Pedrol | 37cf408 | 2020-09-23 16:59:16 +0200 | [diff] [blame] | 290 | } |
| 291 | [] SIP.receive { |
Neels Hofmeyr | baf0272 | 2023-09-12 02:10:11 +0200 | [diff] [blame] | 292 | setverdict(fail, "Received unexpected SIP response"); |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 293 | SIP.send(ts_SIP_ACK(cp.comp.sip_call_id, |
| 294 | cp.comp.sip_url_ext, cp.comp.sip_url_gsm, |
| 295 | ts_Via_from(cp.comp.sip_url_ext.addr.nameAddr.addrSpec.hostPort), |
Pau Espin Pedrol | 37cf408 | 2020-09-23 16:59:16 +0200 | [diff] [blame] | 296 | cp.comp.sip_seq_nr, omit)); |
| 297 | mtc.stop; |
| 298 | } |
| 299 | } |
| 300 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 301 | /* MSC -> OSC: After MS sends CALL CONF in response to SETUP */ |
| 302 | MNCC.send(ts_MNCC_CALL_CONF_ind(cp.mncc_call_id)); |
| 303 | /* MSC <- OSC: OSC asks MSC to create RTP socket */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 304 | MNCC.receive(tr_MNCC_RTP_CREATE(cp.mncc_call_id)) -> value mncc { |
| 305 | check_sdp(sdp_to_msc, mncc.u.rtp.sdp, expect_sdp_to_msc); |
| 306 | } |
| 307 | |
| 308 | /* MSC -> OSC: SDP that the MSC will send via MNCC */ |
| 309 | var charstring cn_sdp := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 310 | f_sdp_addr2addrtype(cp.cn_rtp_addr) & " " & cp.cn_rtp_addr & |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 311 | "\r\nt=0 0\r\nm=audio " & int2str(cp.cn_rtp_port) & |
| 312 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
| 313 | /* OSC -> SIP: what SDP to expect in SIP from osmo-sip-connector */ |
| 314 | var template charstring expect_sdp_to_sip := pattern "*" & cp.cn_rtp_addr & "*"; |
| 315 | |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 316 | mncc := valueof(ts_MNCC_RTP_CREATE(cp.mncc_call_id)); |
| 317 | mncc.u.rtp.is_ipv6 := f_addr_is_ipv6(cp.cn_rtp_addr); |
| 318 | mncc.u.rtp.ip := f_addrstr2addr(cp.cn_rtp_addr); |
| 319 | mncc.u.rtp.rtp_port := cp.cn_rtp_port; |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 320 | if (cp.mncc_with_sdp) { |
| 321 | /* MSC -> OSC: tell OSC our RTP info in SDP form */ |
| 322 | mncc.u.rtp.sdp := cn_sdp; |
| 323 | /* OSC -> SIP: and expect it unchanged on SIP later, but allow osmo-sip-connector to append an |
| 324 | * "a=sendrecv;" */ |
| 325 | expect_sdp_to_sip := pattern cn_sdp & "*"; |
| 326 | } |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 327 | MNCC.send(mncc); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 328 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 329 | /* MSC -> OSC: After MS is ringing and sent CC ALERTING */ |
| 330 | MNCC.send(ts_MNCC_ALERT_ind(cp.mncc_call_id)); |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 331 | |
| 332 | /* Now expect SIP response "Ringing" back to MO, containing the same SDP information as in the MNCC RTP CREATE |
| 333 | * sent to OSC above */ |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 334 | SIP.clear; |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 335 | |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 336 | /* 180 Ringing should not contain any SDP. */ |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 337 | as_SIP_expect_resp(tr_SIP_Response(cp.comp.sip_call_id, sip_addr_ext, sip_addr_gsm, |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 338 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_ext.addr.nameAddr.addrSpec.hostPort)), |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 339 | *, |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 340 | "INVITE", 180, ?, "Ringing", omit)); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 341 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 342 | /* MSC -> OSC: After MT user has picked up and sent CC CONNECT */ |
| 343 | MNCC.send(ts_MNCC_SETUP_CNF(cp.mncc_call_id)); |
| 344 | |
| 345 | SIP.clear; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 346 | /* MSC <- OSC: OSC asks MSC to connect its RTP stream to remote end */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 347 | MNCC.receive(tr_MNCC_RTP_CONNECT(cp.mncc_call_id, f_addrstr2addr(cp.sip_rtp_addr), cp.sip_rtp_port)) |
| 348 | -> value mncc { |
| 349 | check_sdp(sdp_to_msc, mncc.u.rtp.sdp, expect_sdp_to_msc); |
| 350 | } |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 351 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 352 | /* OSC -> SIP: OSC confirms call establishment to SIP side */ |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 353 | as_SIP_expect_resp(tr_SIP_Response(cp.comp.sip_call_id, sip_addr_ext, sip_addr_gsm, |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 354 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_ext.addr.nameAddr.addrSpec.hostPort)), |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 355 | contact := ?, |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 356 | method := "INVITE", status_code := 200, |
| 357 | seq_nr := ?, reason := "OK", |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 358 | body := expect_sdp_to_sip)); |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 359 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 360 | /* OSC <- SIP: SIP world acknowledges "200 OK" */ |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 361 | SIP.send(ts_SIP_ACK(cp.comp.sip_call_id, |
| 362 | cp.comp.sip_url_ext, cp.comp.sip_url_gsm, |
| 363 | ts_Via_from(cp.comp.sip_url_ext.addr.nameAddr.addrSpec.hostPort), |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 364 | cp.comp.sip_seq_nr, omit)); |
| 365 | /* MSC <- OSC: OSC sends SETUP COMPL to MNCC (which triggers CC CONNECT ACK */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 366 | MNCC.receive(tr_MNCC_SETUP_COMPL_req(cp.mncc_call_id)) -> value mncc { |
| 367 | check_sdp(sdp_to_msc, mncc.u.signal.sdp, expect_sdp_to_msc); |
| 368 | } |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 369 | } |
| 370 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 371 | /* Establish a mobile originated call described in 'cp' */ |
| 372 | function f_establish_mo(inout CallPars cp) runs on ConnHdlr { |
| 373 | var MNCC_number dst := valueof(ts_MNCC_number(cp.called, GSM48_TON_UNKNOWN)); |
| 374 | var MNCC_number src := valueof(ts_MNCC_number(cp.calling, GSM48_TON_UNKNOWN)); |
| 375 | var template SipAddr sip_addr_gsm := tr_SipAddr_from_val(cp.comp.sip_url_gsm); |
| 376 | var template SipAddr sip_addr_ext := tr_SipAddr_from_val(cp.comp.sip_url_ext); |
| 377 | var PDU_SIP_Request sip_req; |
| 378 | var integer seq_nr; |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 379 | var MNCC_PDU mncc; |
| 380 | |
| 381 | /* The last SDP that the MSC received via MNCC from osmo-sip-connector */ |
| 382 | var charstring sdp_to_msc := ""; |
| 383 | /* At first, allow any empty and nonempty SDP. As the test progresses, this may expect specific SDP instead. */ |
| 384 | var template charstring expect_sdp_to_msc := *; |
| 385 | |
| 386 | /* If cp.mncc_with_sdp == true, expect SDP forwarding like this: |
| 387 | * |
| 388 | * SDP1: osmo-msc's RTP and codec info |
| 389 | * SDP2: SIP agent's RTP and codec info |
| 390 | * |
| 391 | * MNCC osmo-sip-connector SIP |
| 392 | * -------SDP1-->| MNCC SETUP ind |
| 393 | * <-------------| MNCC RTP CREATE (?) |
| 394 | * |-----SDP1--> SIP Invite |
| 395 | * |<----------- SIP (Invite) Trying |
| 396 | * <-------------| MNCC CALL PROC req |
| 397 | * |<----------- SIP (Invite) Ringing |
| 398 | * <-------------| MNCC ALERT req |
| 399 | * | (MT picks up) |
| 400 | * |<--SDP2----- SIP (Invite) OK |
| 401 | * <--SDP2-------| MNCC RTP CONNECT (SDP optional, still unchanged from SDP2) |
| 402 | * <-------------| MNCC SETUP rsp (SDP optional, still unchanged from SDP2) |
| 403 | * ------------->| MNCC SETUP COMPL ind (SDP optional, still unchanged from SDP1) |
| 404 | * |------------> SIP ACK |
| 405 | */ |
| 406 | |
| 407 | var charstring cn_sdp := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 408 | f_sdp_addr2addrtype(cp.cn_rtp_addr) & " " & cp.cn_rtp_addr & |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 409 | "\r\nt=0 0\r\nm=audio " & int2str(cp.cn_rtp_port) & |
| 410 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 411 | |
| 412 | f_create_sip_expect(cp.comp.sip_url_ext.addr.nameAddr.addrSpec); |
| 413 | |
| 414 | /* MSC -> OSC: MSC sends SETUP.ind after CC SETUP was received from MS */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 415 | mncc := valueof(ts_MNCC_SETUP_ind(cp.mncc_call_id, dst, src, "262420123456789")); |
| 416 | if (cp.mncc_with_sdp) { |
| 417 | mncc.u.signal.sdp := cn_sdp; |
| 418 | } |
| 419 | MNCC.send(mncc); |
| 420 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 421 | /* MSC <- OSC: Create GSM side RTP socket */ |
| 422 | MNCC.receive(tr_MNCC_RTP_CREATE(cp.mncc_call_id)) { |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 423 | mncc := valueof(ts_MNCC_RTP_CREATE(cp.mncc_call_id)); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 424 | mncc.u.rtp.payload_msg_type := oct2int('0300'O); |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 425 | /* FIXME: makes no sense to send cp.cn_rtp_addr back to the cn. */ |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 426 | mncc.u.rtp.is_ipv6 := f_addr_is_ipv6(cp.cn_rtp_addr); |
| 427 | mncc.u.rtp.ip := f_addrstr2addr(cp.cn_rtp_addr); |
| 428 | mncc.u.rtp.rtp_port := cp.cn_rtp_port; |
| 429 | MNCC.send(mncc); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 430 | } |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 431 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 432 | /* OSC -> SIP: Send INVITE with GSM side IP/Port in SDP */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 433 | var template charstring expect_sdp_to_sip := ?; |
| 434 | if (cp.mncc_with_sdp) { |
| 435 | /* Expect the same SDP as sent to osmo-sip-connector in MNCC, and allow osmo-sip-connector to append an |
| 436 | * "a=sendrecv;" */ |
| 437 | expect_sdp_to_sip := pattern cn_sdp & "*"; |
| 438 | } |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 439 | sip_req := f_SIP_expect_req(tr_SIP_INVITE(sip_addr_ext.addr.nameAddr.addrSpec, ?, |
| 440 | sip_addr_gsm, sip_addr_ext, |
| 441 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_gsm.addr.nameAddr.addrSpec.hostPort)), |
| 442 | ?, expect_sdp_to_sip)); |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 443 | cp.comp.sip_url_gsm.params := sip_req.msgHeader.fromField.fromParams; |
| 444 | cp.comp.sip_call_id := sip_req.msgHeader.callId.callid; |
| 445 | seq_nr := sip_req.msgHeader.cSeq.seqNumber; |
| 446 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 447 | /* OSC <- SIP: Notify call is proceeding */ |
| 448 | SIP.send(ts_SIP_Response(cp.comp.sip_call_id, cp.comp.sip_url_gsm, cp.comp.sip_url_ext, |
| 449 | "INVITE", 100, seq_nr, "Trying", sip_req.msgHeader.via)); |
| 450 | /* MSC <- OSC: "100 Trying" translated to MNCC_CALL_PROC_REQ */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 451 | MNCC.receive(tr_MNCC_CALL_PROC_req(cp.mncc_call_id)) -> value mncc { |
| 452 | check_sdp(sdp_to_msc, mncc.u.signal.sdp, ""); |
| 453 | } |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 454 | |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 455 | /* OSC <- SIP: SIP-terminated user is ringing now. 180 Ringing should not contain any SDP. */ |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 456 | SIP.send(ts_SIP_Response(cp.comp.sip_call_id, cp.comp.sip_url_gsm, cp.comp.sip_url_ext, |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 457 | "INVITE", 180, seq_nr, "Ringing", sip_req.msgHeader.via, omit)); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 458 | |
| 459 | /* MSC <- OSC: "180 Ringing" translated to MNCC_ALERT_REQ */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 460 | MNCC.receive(tr_MNCC_ALERT_req(cp.mncc_call_id)) -> value mncc { |
| 461 | check_sdp(sdp_to_msc, mncc.u.signal.sdp, expect_sdp_to_msc); |
| 462 | } |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 463 | |
| 464 | /* OSC <- SIP: SIP-terminated user has accepted the call */ |
| 465 | SIP.send(ts_SIP_Response(cp.comp.sip_call_id, cp.comp.sip_url_gsm, cp.comp.sip_url_ext, |
| 466 | "INVITE", 200, seq_nr, "OK", sip_req.msgHeader.via, |
| 467 | cp.comp.sip_body)); |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 468 | |
| 469 | if (cp.mncc_with_sdp) { |
| 470 | /* If we expect SDP forwarding, from now on expect MNCC to reflect the SDP that we just sent on SIP. */ |
| 471 | expect_sdp_to_msc := cp.comp.sip_body; |
| 472 | } |
| 473 | /* If we don't expect SDP forwarding, just keep expect_sdp_to_msc := *. */ |
| 474 | |
| 475 | MNCC.receive(tr_MNCC_RTP_CONNECT(cp.mncc_call_id)) -> value mncc { |
| 476 | check_sdp(sdp_to_msc, mncc.u.rtp.sdp, expect_sdp_to_msc); |
| 477 | } |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 478 | /* MSC <- OSC: "200 OK" translated to MNCC_SETUP_RSP */ |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 479 | MNCC.receive(tr_MNCC_SETUP_rsp(cp.mncc_call_id)) -> value mncc { |
| 480 | check_sdp(sdp_to_msc, mncc.u.signal.sdp, expect_sdp_to_msc); |
| 481 | } |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 482 | |
| 483 | /* MSC -> OSC: CC CONNECT ACK was received from MS */ |
| 484 | MNCC.send(ts_MNCC_SETUP_COMPL_ind(cp.mncc_call_id)); |
| 485 | /* OSC -> SIP: Acknowledge the call */ |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 486 | SIP.receive(tr_SIP_ACK(sip_addr_ext.addr.nameAddr.addrSpec, |
| 487 | cp.comp.sip_call_id, |
| 488 | sip_addr_gsm, |
| 489 | sip_addr_ext, |
| 490 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_gsm.addr.nameAddr.addrSpec.hostPort)), |
| 491 | ?, omit)); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 492 | } |
| 493 | |
| 494 | /* Release call from the mobile side */ |
| 495 | function f_release_mobile(inout CallPars cp) runs on ConnHdlr { |
| 496 | var template SipAddr sip_addr_gsm := tr_SipAddr_from_val(cp.comp.sip_url_gsm); |
| 497 | var template SipAddr sip_addr_ext := tr_SipAddr_from_val(cp.comp.sip_url_ext); |
| 498 | var PDU_SIP_Request sip_req; |
| 499 | SIP.clear; |
| 500 | /* MSC -> OSC: Simulate a CC DISCONNET from the MT user */ |
| 501 | MNCC.send(ts_MNCC_DISC_ind(cp.mncc_call_id, ts_MNCC_cause(0))); |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 502 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 503 | /* OSC -> SIP: Expect BYE from OSC to SIP side */ |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 504 | sip_req := f_SIP_expect_req(tr_SIP_BYE(sip_addr_ext.addr.nameAddr.addrSpec, |
| 505 | cp.comp.sip_call_id, sip_addr_gsm, sip_addr_ext, |
| 506 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_gsm.addr.nameAddr.addrSpec.hostPort)), |
| 507 | ?, *)); |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 508 | cp.comp.sip_url_gsm.params := sip_req.msgHeader.fromField.fromParams; |
| 509 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 510 | /* OSC <- SIP: Acknowledge the BYE */ |
| 511 | SIP.send(ts_SIP_Response(cp.comp.sip_call_id, cp.comp.sip_url_gsm, cp.comp.sip_url_ext, |
| 512 | "BYE", 200, sip_req.msgHeader.cSeq.seqNumber, "OK", |
| 513 | sip_req.msgHeader.via)); |
| 514 | /* MSC <- OSC: Send REL_REQ to MSC, triggers CC RELEASE REQ to MS */ |
| 515 | MNCC.receive(tr_MNCC_REL_req(cp.mncc_call_id)); // CAUSE? |
| 516 | /* MSC -> OSC: MS has responded with CC CLEAR COMPL, triggers MNCC_REL_CNF */ |
| 517 | MNCC.send(ts_MNCC_REL_cnf(cp.mncc_call_id, ts_MNCC_cause(0))); |
| 518 | } |
| 519 | |
| 520 | /* Release call from the SIP side */ |
| 521 | function f_release_sip(inout CallPars cp) runs on ConnHdlr { |
| 522 | var template SipAddr sip_addr_gsm := tr_SipAddr_from_val(cp.comp.sip_url_gsm); |
| 523 | var template SipAddr sip_addr_ext := tr_SipAddr_from_val(cp.comp.sip_url_ext); |
| 524 | /* OSC <- SIP: SIP-side sends a BYE to OSC */ |
| 525 | SIP.send(ts_SIP_BYE(cp.comp.sip_call_id, cp.comp.sip_url_ext, cp.comp.sip_url_gsm, |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 526 | ts_Via_from(cp.comp.sip_url_ext.addr.nameAddr.addrSpec.hostPort), |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 527 | cp.comp.sip_seq_nr, omit)); |
| 528 | /* MSC <- OSC: Expect OSC to cause MNCC Disconnect Request */ |
| 529 | MNCC.receive(tr_MNCC_DISC_req(cp.mncc_call_id)); |
| 530 | /* MSC -> OSC: Indicate GSM side release */ |
| 531 | MNCC.send(ts_MNCC_REL_ind(cp.mncc_call_id, ts_MNCC_cause(0))); |
| 532 | /* OSC -> SIP: Confirmation to SIP side */ |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 533 | as_SIP_expect_resp(tr_SIP_Response(cp.comp.sip_call_id, sip_addr_ext, sip_addr_gsm, |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 534 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_ext.addr.nameAddr.addrSpec.hostPort)), |
Pau Espin Pedrol | 05eaa1a | 2024-04-02 12:56:26 +0200 | [diff] [blame] | 535 | *, |
Neels Hofmeyr | c35b657 | 2023-09-12 02:16:43 +0200 | [diff] [blame] | 536 | "BYE", 200, cp.comp.sip_seq_nr, "OK", omit)); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 537 | } |
| 538 | |
| 539 | /* Successful MT Call, which is subsequently released by GSM side */ |
| 540 | private function f_TC_mt_success_rel_gsm(charstring id) runs on ConnHdlr { |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 541 | var CallPars cp := g_pars.g_cp; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 542 | f_CallPars_compute(cp); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 543 | cp.comp.sip_body := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 544 | f_sdp_addr2addrtype(cp.sip_rtp_addr) & " " & cp.sip_rtp_addr & |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 545 | "\r\nt=0 0\r\nm=audio " & int2str(cp.sip_rtp_port) & |
| 546 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 547 | f_sleep(3.0) |
| 548 | |
| 549 | f_establish_mt(cp); |
| 550 | /* now call is fully established */ |
| 551 | f_sleep(2.0); |
| 552 | f_release_mobile(cp); |
| 553 | setverdict(pass); |
| 554 | } |
| 555 | testcase TC_mt_success_rel_gsm() runs on test_CT { |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 556 | var ConnHdlrPars pars; |
| 557 | var ConnHdlr vc_conn; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 558 | f_init(); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 559 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 560 | pars.g_cp := valueof(t_CallPars(false, false)); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 561 | vc_conn := f_start_handler(refers(f_TC_mt_success_rel_gsm), pars); |
| 562 | vc_conn.done; |
| 563 | } |
| 564 | testcase TC_mt_success_rel_gsm_ipv6() runs on test_CT { |
| 565 | var ConnHdlrPars pars; |
| 566 | var ConnHdlr vc_conn; |
| 567 | f_init(); |
| 568 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 569 | pars.g_cp := valueof(t_CallPars(false, false)); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 570 | pars.g_cp.sip_rtp_addr := "::1"; |
| 571 | pars.g_cp.cn_rtp_addr := "::2"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 572 | vc_conn := f_start_handler(refers(f_TC_mt_success_rel_gsm), pars); |
| 573 | vc_conn.done; |
| 574 | } |
| 575 | |
| 576 | /* Successful MT Call, which is subsequently released by SIP side */ |
| 577 | private function f_TC_mt_success_rel_sip(charstring id) runs on ConnHdlr { |
Neels Hofmeyr | fb7f43b | 2023-09-13 05:42:41 +0200 | [diff] [blame] | 578 | var CallPars cp := g_pars.g_cp; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 579 | f_CallPars_compute(cp); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 580 | cp.comp.sip_body := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 581 | f_sdp_addr2addrtype(cp.sip_rtp_addr) & " " & cp.sip_rtp_addr & |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 582 | "\r\nt=0 0\r\nm=audio " & int2str(cp.sip_rtp_port) & |
| 583 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 584 | f_sleep(3.0) |
| 585 | |
| 586 | f_establish_mt(cp); |
| 587 | /* now call is fully established */ |
| 588 | f_sleep(2.0); |
| 589 | f_release_sip(cp); |
| 590 | setverdict(pass); |
| 591 | } |
| 592 | testcase TC_mt_success_rel_sip() runs on test_CT { |
| 593 | var ConnHdlrPars pars; |
| 594 | var ConnHdlr vc_conn; |
| 595 | f_init(); |
| 596 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 597 | pars.g_cp := valueof(t_CallPars(false, false)); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 598 | vc_conn := f_start_handler(refers(f_TC_mt_success_rel_sip), pars); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 599 | vc_conn.done; |
| 600 | } |
| 601 | |
| 602 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 603 | /* Successful MO Call, which is subsequently released by GSM side */ |
| 604 | private function f_TC_mo_success_rel_gsm(charstring id) runs on ConnHdlr { |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 605 | var CallPars cp := g_pars.g_cp; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 606 | f_CallPars_compute(cp); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 607 | cp.comp.sip_body := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 608 | f_sdp_addr2addrtype(cp.sip_rtp_addr) & " " & cp.sip_rtp_addr & |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 609 | "\r\nt=0 0\r\nm=audio " & int2str(cp.sip_rtp_port) & |
| 610 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 611 | f_sleep(3.0) |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 612 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 613 | f_establish_mo(cp); |
| 614 | /* now call is fully established */ |
| 615 | f_sleep(2.0); |
| 616 | f_release_mobile(cp); |
| 617 | setverdict(pass); |
| 618 | } |
| 619 | testcase TC_mo_success_rel_gsm() runs on test_CT { |
| 620 | var ConnHdlrPars pars; |
| 621 | var ConnHdlr vc_conn; |
| 622 | f_init(); |
| 623 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 624 | pars.g_cp := valueof(t_CallPars(true, false)); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 625 | vc_conn := f_start_handler(refers(f_TC_mo_success_rel_gsm), pars); |
| 626 | vc_conn.done; |
| 627 | } |
| 628 | testcase TC_mo_success_rel_gsm_ipv6() runs on test_CT { |
| 629 | var ConnHdlrPars pars; |
| 630 | var ConnHdlr vc_conn; |
| 631 | f_init(); |
| 632 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 633 | pars.g_cp := valueof(t_CallPars(true, false)); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 634 | pars.g_cp.sip_rtp_addr := "::1"; |
| 635 | pars.g_cp.cn_rtp_addr := "::2"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 636 | vc_conn := f_start_handler(refers(f_TC_mo_success_rel_gsm), pars); |
| 637 | vc_conn.done; |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 638 | } |
| 639 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 640 | /* Successful MO Call, which is subsequently released by SIP side */ |
| 641 | private function f_TC_mo_success_rel_sip(charstring id) runs on ConnHdlr { |
Neels Hofmeyr | fb7f43b | 2023-09-13 05:42:41 +0200 | [diff] [blame] | 642 | var CallPars cp := g_pars.g_cp; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 643 | f_CallPars_compute(cp); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 644 | cp.comp.sip_body := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 645 | f_sdp_addr2addrtype(cp.sip_rtp_addr) & " " & cp.sip_rtp_addr & |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 646 | "\r\nt=0 0\r\nm=audio " & int2str(cp.sip_rtp_port) & |
| 647 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 648 | f_sleep(3.0) |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 649 | |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 650 | f_establish_mo(cp); |
| 651 | /* now call is fully established */ |
| 652 | f_sleep(2.0); |
| 653 | f_release_sip(cp); |
| 654 | setverdict(pass); |
| 655 | } |
| 656 | testcase TC_mo_success_rel_sip() runs on test_CT { |
| 657 | var ConnHdlrPars pars; |
| 658 | var ConnHdlr vc_conn; |
| 659 | f_init(); |
| 660 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 661 | pars.g_cp := valueof(t_CallPars(is_mo := true, mncc_with_sdp := false)); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 662 | vc_conn := f_start_handler(refers(f_TC_mo_success_rel_sip), pars); |
| 663 | vc_conn.done; |
| 664 | } |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 665 | |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 666 | /* SETUP followed by DISC results in lingering B-leg (OS#3518)*/ |
| 667 | private function f_TC_mo_setup_disc_late_rtp(charstring id) runs on ConnHdlr { |
Neels Hofmeyr | fb7f43b | 2023-09-13 05:42:41 +0200 | [diff] [blame] | 668 | var CallPars cp := g_pars.g_cp; |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 669 | f_CallPars_compute(cp); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 670 | cp.comp.sip_body := "v=0\r\no=Osmocom 0 0 IN IP4 1.1.1.1\r\ns=GSM Call\r\nc=IN " & |
Pau Espin Pedrol | f371375 | 2024-03-21 17:32:55 +0100 | [diff] [blame] | 671 | f_sdp_addr2addrtype(cp.sip_rtp_addr) & " " & cp.sip_rtp_addr & |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 672 | "\r\nt=0 0\r\nm=audio " & int2str(cp.sip_rtp_port) & |
| 673 | " RTP/AVP 0\r\na=rtpmap:0 GSM/8000\r\n"; |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 674 | f_sleep(3.0); |
| 675 | |
| 676 | var MNCC_number dst := valueof(ts_MNCC_number(cp.called, GSM48_TON_UNKNOWN)); |
| 677 | var MNCC_number src := valueof(ts_MNCC_number(cp.calling, GSM48_TON_UNKNOWN)); |
| 678 | var template SipAddr sip_addr_gsm := tr_SipAddr_from_val(cp.comp.sip_url_gsm); |
| 679 | var template SipAddr sip_addr_ext := tr_SipAddr_from_val(cp.comp.sip_url_ext); |
| 680 | |
| 681 | f_create_sip_expect(cp.comp.sip_url_ext.addr.nameAddr.addrSpec); |
| 682 | |
| 683 | /* MSC -> OSC: MSC sends SETUP.ind after CC SETUP was received from MS */ |
| 684 | MNCC.send(ts_MNCC_SETUP_ind(cp.mncc_call_id, dst, src, "262420123456789")); |
| 685 | |
| 686 | /* MSC -> OSC: Simulate a CC DISCONNET from the MT user *before* responding to the RTP_CREATE */ |
| 687 | MNCC.send(ts_MNCC_DISC_ind(cp.mncc_call_id, ts_MNCC_cause(0))); |
| 688 | |
| 689 | /* MSC <- OSC: Create GSM side RTP socket (too late) */ |
| 690 | MNCC.receive(tr_MNCC_RTP_CREATE(cp.mncc_call_id)) { |
| 691 | var MNCC_PDU mncc := valueof(ts_MNCC_RTP_CREATE(cp.mncc_call_id)); |
| 692 | mncc.u.rtp.payload_msg_type := oct2int('0300'O); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 693 | mncc.u.rtp.is_ipv6 := f_addr_is_ipv6(cp.cn_rtp_addr); |
| 694 | mncc.u.rtp.ip := f_addrstr2addr(cp.cn_rtp_addr); |
| 695 | mncc.u.rtp.rtp_port := cp.cn_rtp_port; |
| 696 | MNCC.send(mncc); |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 697 | } |
| 698 | |
| 699 | /* OSC -> SIP: We should never receive INVITE */ |
| 700 | timer T := 10.0; |
| 701 | T.start; |
| 702 | alt { |
Pau Espin Pedrol | 7011bf4 | 2024-04-08 17:56:58 +0200 | [diff] [blame] | 703 | [] SIP.receive(tr_SIP_INVITE(sip_addr_ext.addr.nameAddr.addrSpec, ?, |
| 704 | sip_addr_gsm, sip_addr_ext, |
| 705 | tr_Via_from(f_tr_HostPort_opt_defport(sip_addr_gsm.addr.nameAddr.addrSpec.hostPort)), |
| 706 | ?, ?)) { |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 707 | setverdict(fail, "Received unexpected INVITE"); |
| 708 | } |
| 709 | [] T.timeout { |
| 710 | setverdict(pass); |
| 711 | } |
| 712 | } |
| 713 | } |
| 714 | testcase TC_mo_setup_disc_late_rtp() runs on test_CT { |
| 715 | var ConnHdlrPars pars; |
| 716 | var ConnHdlr vc_conn; |
| 717 | f_init(); |
| 718 | pars := valueof(t_Pars); |
Neels Hofmeyr | a0d015b | 2023-09-13 04:32:14 +0200 | [diff] [blame] | 719 | pars.g_cp := valueof(t_CallPars(is_mo := true, mncc_with_sdp := false)); |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 720 | vc_conn := f_start_handler(refers(f_TC_mo_setup_disc_late_rtp), pars); |
| 721 | vc_conn.done; |
| 722 | } |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 723 | |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 724 | testcase TC_mt_with_sdp() runs on test_CT { |
| 725 | var ConnHdlrPars pars; |
| 726 | var ConnHdlr vc_conn; |
| 727 | f_init(); |
| 728 | pars := valueof(t_Pars); |
| 729 | pars.g_cp := valueof(t_CallPars(is_mo := false, mncc_with_sdp := true)); |
| 730 | vc_conn := f_start_handler(refers(f_TC_mt_success_rel_gsm), pars); |
| 731 | vc_conn.done; |
| 732 | } |
| 733 | |
| 734 | testcase TC_mo_with_sdp() runs on test_CT { |
| 735 | var ConnHdlrPars pars; |
| 736 | var ConnHdlr vc_conn; |
| 737 | f_init(); |
| 738 | pars := valueof(t_Pars); |
| 739 | pars.g_cp := valueof(t_CallPars(is_mo := true, mncc_with_sdp := true)); |
| 740 | vc_conn := f_start_handler(refers(f_TC_mo_success_rel_sip), pars); |
| 741 | vc_conn.done; |
| 742 | } |
| 743 | |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 744 | control { |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 745 | execute( TC_mt_success_rel_gsm() ); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 746 | execute( TC_mt_success_rel_gsm_ipv6() ); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 747 | execute( TC_mt_success_rel_sip() ); |
| 748 | execute( TC_mo_success_rel_gsm() ); |
Pau Espin Pedrol | bdd874a | 2020-09-10 19:09:47 +0200 | [diff] [blame] | 749 | execute( TC_mo_success_rel_gsm_ipv6() ); |
Harald Welte | b0d9360 | 2018-03-20 18:09:34 +0100 | [diff] [blame] | 750 | execute( TC_mo_success_rel_sip() ); |
Harald Welte | ddf011e | 2019-04-19 09:39:35 +0200 | [diff] [blame] | 751 | execute( TC_mo_setup_disc_late_rtp() ); |
Neels Hofmeyr | 2e3a0e2 | 2023-09-12 02:09:48 +0200 | [diff] [blame] | 752 | execute( TC_mt_with_sdp() ); |
| 753 | execute( TC_mo_with_sdp() ); |
Harald Welte | afec471 | 2018-03-19 22:52:17 +0100 | [diff] [blame] | 754 | } |
| 755 | |
| 756 | |
| 757 | |
| 758 | } |