Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 1 | module STP_Tests_M3UA { |
| 2 | |
| 3 | /* Osmocom STP test suite in in TTCN-3 |
| 4 | * (C) 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 | |
| 13 | friend module STP_Tests; |
| 14 | |
| 15 | import from General_Types all; |
| 16 | import from Osmocom_Types all; |
| 17 | import from IPL4asp_Types all; |
| 18 | |
| 19 | import from Osmocom_VTY_Functions all; |
| 20 | |
| 21 | import from M3UA_Types all; |
| 22 | import from M3UA_Templates all; |
| 23 | import from M3UA_CodecPort all; |
| 24 | import from M3UA_CodecPort_CtrlFunct all; |
| 25 | |
| 26 | import from M3UA_Emulation all; |
| 27 | import from MTP3asp_Types all; |
| 28 | import from MTP3asp_PortType all; |
| 29 | |
| 30 | import from SCCP_Types all; |
| 31 | import from SCCP_Templates all; |
| 32 | import from SCCPasp_Types all; |
| 33 | import from SCCP_Emulation all; |
| 34 | |
| 35 | import from STP_Tests_Common all; |
| 36 | |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 37 | private const integer NR_M3UA := 3; /* number of M3UA clients in ATS */ |
Harald Welte | 6baf5e7 | 2023-04-15 20:30:52 +0800 | [diff] [blame] | 38 | private const integer NR_M3UA_SRV := 3; /* number of M3UA servres in ATS */ |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 39 | |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 40 | modulepar { |
| 41 | /* STP-side IP addresses */ |
| 42 | HostList mp_stp_m3ua_ip := { "127.0.0.1", "::1" }; |
| 43 | /* local IP addresses */ |
| 44 | HostList mp_local_m3ua_ip := { "127.0.0.1", "::1" }; |
| 45 | M3uaConfigs mp_m3ua_configs := { |
| 46 | /* as-sender: One ASP within AS */ |
| 47 | { |
| 48 | remote_sctp_port := 2905, |
| 49 | local_sctp_port := 9999, |
| 50 | point_code := 23, |
| 51 | routing_ctx := 1023 |
| 52 | }, |
| 53 | /* as-receiver: Two ASP within AS */ |
| 54 | { |
| 55 | remote_sctp_port := 2905, |
| 56 | local_sctp_port := 10000, |
| 57 | point_code := 42, |
| 58 | routing_ctx := 1042 |
| 59 | }, { |
| 60 | remote_sctp_port := 2905, |
| 61 | local_sctp_port := 10001, |
| 62 | point_code := 42, |
| 63 | routing_ctx := 1042 |
| 64 | }, |
| 65 | /* as-client: One ASP within AS */ |
| 66 | { |
| 67 | remote_sctp_port := 2906, |
| 68 | local_sctp_port := 10002, |
| 69 | point_code := 55, |
| 70 | routing_ctx := 1055 |
Harald Welte | 6baf5e7 | 2023-04-15 20:30:52 +0800 | [diff] [blame] | 71 | }, |
| 72 | /* as-client60-norctx */ |
| 73 | { |
| 74 | remote_sctp_port := 2907, |
| 75 | local_sctp_port := 11060, |
| 76 | point_code := 60, |
| 77 | routing_ctx := - |
| 78 | }, |
| 79 | /* as-client61-norctx */ |
| 80 | { |
| 81 | remote_sctp_port := 2907, |
| 82 | local_sctp_port := 11061, |
| 83 | point_code := 61, |
| 84 | routing_ctx := - |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 85 | } |
| 86 | }; |
| 87 | integer mp_recovery_timeout_msec := 2000; |
| 88 | charstring mp_sccp_service_type := "mtp3_itu"; |
| 89 | } |
| 90 | |
| 91 | type record M3uaConfig { |
| 92 | /* STP-side SCTP port for M3UA */ |
| 93 | integer remote_sctp_port, |
| 94 | /* local M3UA base port on TTCN3 side */ |
| 95 | integer local_sctp_port, |
| 96 | /* point code routed via this M3U */ |
| 97 | integer point_code, |
| 98 | /* associated routing context */ |
| 99 | integer routing_ctx |
| 100 | }; |
| 101 | type record length (NR_M3UA+NR_M3UA_SRV) of M3uaConfig M3uaConfigs; |
| 102 | |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 103 | private function M3UA_SRV(integer idx) return integer { |
| 104 | return NR_M3UA+idx; |
| 105 | } |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 106 | |
| 107 | type component RAW_M3UA_CT extends Test_CT { |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 108 | port M3UA_CODEC_PT M3UA[NR_M3UA+NR_M3UA_SRV]; |
| 109 | var integer g_m3ua_conn_id[NR_M3UA+NR_M3UA_SRV]; |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | private template PortEvent tr_SctpAssocChange := { |
| 113 | sctpEvent := { |
| 114 | sctpAssocChange := ? |
| 115 | } |
| 116 | } |
| 117 | private template PortEvent tr_SctpPeerAddrChange := { |
| 118 | sctpEvent := { |
| 119 | sctpPeerAddrChange := ? |
| 120 | } |
| 121 | } |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 122 | private template PortEvent tr_SctpConnOpened := { |
| 123 | connOpened := ? |
| 124 | } |
| 125 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 126 | |
| 127 | private altstep as_m3ua_sctp() runs on RAW_M3UA_CT { |
| 128 | [] any from M3UA.receive(tr_SctpAssocChange) { repeat; } |
| 129 | [] any from M3UA.receive(tr_SctpPeerAddrChange) { repeat; } |
| 130 | } |
| 131 | |
Harald Welte | 42bcc44 | 2021-02-07 21:26:30 +0100 | [diff] [blame] | 132 | private altstep as_m3ua_ssnm_ignore() runs on RAW_M3UA_CT { |
| 133 | var M3UA_RecvFrom rx; |
| 134 | [] any from M3UA.receive(t_M3UA_RecvFrom(tr_M3UA_SSNM)) -> value rx { |
| 135 | log("Ignoring M3UA SSNM", rx); |
| 136 | repeat; |
| 137 | } |
| 138 | } |
| 139 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 140 | friend function f_M3UA_send(integer idx, template (present) PDU_M3UA msg, template integer stream := 0) |
| 141 | runs on RAW_M3UA_CT { |
| 142 | M3UA[idx].send(t_M3UA_Send(g_m3ua_conn_id[idx], msg, stream)); |
| 143 | } |
| 144 | |
| 145 | friend function f_M3UA_exp(integer idx, template (present) PDU_M3UA msg) runs on RAW_M3UA_CT { |
| 146 | var M3UA_RecvFrom rx; |
Harald Welte | 3081259 | 2021-02-08 09:50:46 +0100 | [diff] [blame] | 147 | timer T := 5.0; |
| 148 | T.start; |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 149 | alt { |
| 150 | [] M3UA[idx].receive(t_M3UA_RecvFrom(msg)) { |
| 151 | setverdict(pass); |
| 152 | } |
| 153 | [] M3UA[idx].receive(t_M3UA_RecvFrom(?)) -> value rx { |
| 154 | setverdict(fail, "Received unexpected M3UA[", idx, "] ", rx, |
| 155 | "while waiting for ", msg); |
| 156 | mtc.stop; |
| 157 | } |
Harald Welte | 3081259 | 2021-02-08 09:50:46 +0100 | [diff] [blame] | 158 | [] T.timeout { |
| 159 | setverdict(fail, "Timeout waiting for M3UA[", idx, "] ", msg); |
| 160 | mtc.stop; |
| 161 | } |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 162 | } |
| 163 | } |
| 164 | |
Harald Welte | 3e5f05e | 2023-04-15 20:02:52 +0800 | [diff] [blame] | 165 | /* flush any number of queued messages matching 'msg' */ |
| 166 | friend function f_M3UA_flush(integer idx, template (present) PDU_M3UA msg) runs on RAW_M3UA_CT { |
| 167 | var M3UA_RecvFrom rx; |
| 168 | timer T := 0.01; |
| 169 | T.start; |
| 170 | alt { |
| 171 | /* this should normally be possible with something like M3UA[idx].check(receive(...)) but somehow |
| 172 | * TITAN complains about the 'check' token, so it looks that feature of TTCN3 is not supported? */ |
| 173 | [] M3UA[idx].receive(t_M3UA_RecvFrom(msg)) { |
| 174 | repeat; |
| 175 | } |
| 176 | [] T.timeout { |
| 177 | } |
| 178 | } |
| 179 | } |
| 180 | |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 181 | private template (value) Socket ts_Socket(HostName hostName, PortNumber portNumber) := { |
| 182 | hostName := hostName, |
| 183 | portNumber := portNumber |
| 184 | }; |
| 185 | |
| 186 | private template (value) SctpTuple ts_SCTP(template (omit) integer ppid := 3, |
| 187 | template (omit) integer stream := 0, |
| 188 | template (omit) SocketList remSocks := omit) := { |
| 189 | sinfo_stream := stream, |
| 190 | sinfo_ppid := ppid, |
| 191 | remSocks := remSocks, |
| 192 | assocId := omit |
| 193 | }; |
| 194 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 195 | friend function f_M3UA_connect(integer i) runs on RAW_M3UA_CT { |
| 196 | var Result res; |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 197 | var Option opt_add_local_addrs; |
| 198 | var OptionList opt_list := {}; |
| 199 | var template SocketList opt_add_remote_addrs; |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 200 | var M3uaConfig m3cfg := mp_m3ua_configs[i]; |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 201 | |
| 202 | if (lengthof(mp_local_m3ua_ip) == 0 or lengthof(mp_stp_m3ua_ip) == 0) { |
| 203 | setverdict(fail, "Empty local or remote address trying to connect SCTP socket: ", |
| 204 | mp_local_m3ua_ip, " / ", mp_stp_m3ua_ip); |
| 205 | mtc.stop; |
| 206 | } |
| 207 | |
| 208 | if (lengthof(mp_local_m3ua_ip) > 1) { |
| 209 | opt_add_local_addrs.sctpAdditionalLocalAddresses := substr(mp_local_m3ua_ip, 1, |
| 210 | lengthof(mp_local_m3ua_ip) - 1); //{mp_local_m3ua_ip}; |
| 211 | opt_list := {opt_add_local_addrs}; |
| 212 | } |
| 213 | |
| 214 | if (lengthof(mp_stp_m3ua_ip) > 1) { |
| 215 | for (var integer j := 1; j < lengthof(mp_stp_m3ua_ip); j := j + 1) { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 216 | var Socket sk := valueof(ts_Socket(mp_stp_m3ua_ip[j], m3cfg.remote_sctp_port)); |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 217 | opt_add_remote_addrs[j - 1] := sk; |
| 218 | } |
| 219 | } else { |
| 220 | opt_add_remote_addrs := omit; |
| 221 | } |
| 222 | |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 223 | res := M3UA_CodecPort_CtrlFunct.f_IPL4_connect(M3UA[i], mp_stp_m3ua_ip[0], m3cfg.remote_sctp_port, |
| 224 | mp_local_m3ua_ip[0], m3cfg.local_sctp_port, 0, |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 225 | {sctp:=valueof(ts_SCTP(3, 0, opt_add_remote_addrs))}, |
| 226 | opt_list); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 227 | if (not ispresent(res.connId)) { |
| 228 | setverdict(fail, "Could not connect M3UA socket, check your configuration"); |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 229 | mtc.stop; |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 230 | } |
| 231 | g_m3ua_conn_id[i] := res.connId; |
| 232 | } |
| 233 | |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 234 | friend function f_M3UA_close(integer i) runs on RAW_M3UA_CT { |
| 235 | var Result res; |
| 236 | res := M3UA_CodecPort_CtrlFunct.f_IPL4_close(M3UA[i], g_m3ua_conn_id[i], {sctp:=valueof(ts_SCTP)}); |
| 237 | g_m3ua_conn_id[i] := 0; |
| 238 | } |
| 239 | |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 240 | friend function f_M3UA_listen(integer i) runs on RAW_M3UA_CT { |
| 241 | var Result res; |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 242 | var Option opt_add_local_addrs; |
| 243 | var OptionList opt_list := {}; |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 244 | var M3uaConfig m3cfg := mp_m3ua_configs[i]; |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 245 | |
| 246 | if (lengthof(mp_local_m3ua_ip) == 0 ) { |
| 247 | setverdict(fail, "Empty local address trying to bind SCTP socket: ", |
| 248 | mp_local_m3ua_ip); |
| 249 | mtc.stop; |
| 250 | } |
| 251 | |
| 252 | if (lengthof(mp_local_m3ua_ip) > 1) { |
| 253 | opt_add_local_addrs.sctpAdditionalLocalAddresses := substr(mp_local_m3ua_ip, 1, |
| 254 | lengthof(mp_local_m3ua_ip) - 1); //{mp_local_m3ua_ip}; |
| 255 | opt_list := {opt_add_local_addrs}; |
| 256 | } |
| 257 | |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 258 | res := M3UA_CodecPort_CtrlFunct.f_IPL4_listen(M3UA[i], mp_local_m3ua_ip[0], m3cfg.local_sctp_port, |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 259 | {sctp:=valueof(ts_SCTP)}, opt_list); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 260 | if (not ispresent(res.connId)) { |
| 261 | setverdict(fail, "Could not bind M3UA socket, check your configuration"); |
Pau Espin Pedrol | b51c087 | 2020-08-21 13:42:30 +0200 | [diff] [blame] | 262 | mtc.stop; |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 263 | } |
| 264 | } |
| 265 | |
Harald Welte | 27cfb7a | 2021-02-08 09:58:28 +0100 | [diff] [blame] | 266 | friend function f_init_m3ua(boolean ignore_ssnm := true) runs on RAW_M3UA_CT { |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 267 | var integer i; |
| 268 | |
| 269 | f_init_common(); |
| 270 | |
| 271 | activate(as_m3ua_sctp()); |
Harald Welte | 27cfb7a | 2021-02-08 09:58:28 +0100 | [diff] [blame] | 272 | if (ignore_ssnm) { |
| 273 | activate(as_m3ua_ssnm_ignore()); |
| 274 | } |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 275 | |
| 276 | for (i := 0; i < NR_M3UA; i:=i+1) { |
| 277 | map(self:M3UA[i], system:M3UA_CODEC_PT); |
| 278 | f_M3UA_connect(i); |
| 279 | } |
| 280 | } |
| 281 | |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 282 | friend function f_clear_m3ua() runs on RAW_M3UA_CT { |
| 283 | var integer i; |
| 284 | |
| 285 | log("Clearing M3UA..."); |
| 286 | |
| 287 | for (i := 0; i < NR_M3UA; i:=i+1) { |
| 288 | f_M3UA_close(i); |
| 289 | } |
| 290 | /* Wait for recovery timer to trigger and shutdown all AS: */ |
| 291 | f_sleep(int2float(mp_recovery_timeout_msec)/1000.0 + 0.5); |
| 292 | setverdict(pass, "M3UA cleared"); |
| 293 | } |
| 294 | |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 295 | friend function f_init_m3ua_srv() runs on RAW_M3UA_CT { |
| 296 | var integer i; |
| 297 | var PortEvent sctp_evt; |
| 298 | |
| 299 | for (i := NR_M3UA; i < NR_M3UA+NR_M3UA_SRV; i:=i+1) { |
| 300 | map(self:M3UA[i], system:M3UA_CODEC_PT); |
| 301 | /* bind+ listen */ |
| 302 | f_M3UA_listen(i); |
| 303 | /* wait for accept() */ |
| 304 | M3UA[i].receive(tr_SctpConnOpened) -> value sctp_evt { |
| 305 | g_m3ua_conn_id[i] := sctp_evt.connOpened.connId; |
| 306 | } |
| 307 | } |
| 308 | } |
| 309 | |
| 310 | |
| 311 | /*********************************************************************** |
| 312 | * Test the STP in M3UA SG role (we are ASP) |
| 313 | ***********************************************************************/ |
| 314 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 315 | /* perform an outbound ASP-UP procedure */ |
| 316 | friend function f_M3UA_asp_up(integer idx, template (omit) OCT4 aspid := omit) runs on RAW_M3UA_CT { |
| 317 | f_M3UA_send(idx, ts_M3UA_ASPUP(aspid)); |
| 318 | f_M3UA_exp(idx, tr_M3UA_ASPUP_ACK); |
| 319 | } |
| 320 | |
| 321 | /* perform an outbound BEAT procedure */ |
| 322 | friend function f_M3UA_beat(integer idx, template (omit) octetstring hbd) runs on RAW_M3UA_CT { |
| 323 | if (istemplatekind(hbd, "omit")) { |
| 324 | f_M3UA_send(idx, ts_M3UA_BEAT(omit)); |
| 325 | f_M3UA_exp(idx, tr_M3UA_BEAT_ACK(omit)); |
| 326 | } else { |
| 327 | f_M3UA_send(idx, ts_M3UA_BEAT(ts_M3UA_hb_data(hbd))); |
| 328 | f_M3UA_exp(idx, tr_M3UA_BEAT_ACK(tr_M3UA_hb_data(hbd))); |
| 329 | } |
| 330 | } |
| 331 | |
| 332 | /* perform an outbound ASP-ACTIVATE procedure */ |
| 333 | friend function f_M3UA_asp_act(integer idx, template (omit) M3UA_Traffic_Mode_Type tmt := omit, |
| 334 | template (omit) OCT4 rctx := omit) runs on RAW_M3UA_CT { |
| 335 | f_M3UA_send(idx, ts_M3UA_ASPAC(tmt, rctx)); |
| 336 | f_M3UA_exp(idx, tr_M3UA_ASPAC_ACK(tmt, rctx)); |
| 337 | } |
| 338 | |
Harald Welte | 27cfb7a | 2021-02-08 09:58:28 +0100 | [diff] [blame] | 339 | /* perform an outbound ASP-INACTIVATE procedure */ |
| 340 | friend function f_M3UA_asp_inact(integer idx, template (omit) OCT4 rctx := omit) runs on RAW_M3UA_CT { |
| 341 | f_M3UA_send(idx, ts_M3UA_ASPIA(rctx)); |
| 342 | f_M3UA_exp(idx, tr_M3UA_ASPIA_ACK(rctx)); |
| 343 | } |
| 344 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 345 | /* perform outbound ASP-UP and ASP-ACT, optionally expect interemittent NOTIFY */ |
| 346 | friend function f_M3UA_asp_up_act(integer idx, template (omit) M3UA_Traffic_Mode_Type tmt := omit, |
| 347 | template (omit) OCT4 rctx := omit, |
| 348 | template (omit) OCT2 ntfy_after_up := c_M3UA_ST_I_AS_INACTIVE, |
| 349 | template (omit) OCT2 ntfy_after_act := c_M3UA_ST_I_AS_ACTIVE) |
| 350 | runs on RAW_M3UA_CT { |
| 351 | f_M3UA_asp_up(idx, omit); |
| 352 | if (not istemplatekind(ntfy_after_up, "omit")) { |
| 353 | f_M3UA_exp(idx, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, ntfy_after_up, *)); |
| 354 | } |
| 355 | f_M3UA_asp_act(idx, tmt, rctx); |
| 356 | if (not istemplatekind(ntfy_after_act, "omit")) { |
| 357 | f_M3UA_exp(idx, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, ntfy_after_act, *)); |
| 358 | } |
| 359 | } |
| 360 | |
| 361 | |
| 362 | /* Test the ASP-UP procedure */ |
| 363 | testcase TC_connect_asp_up() runs on RAW_M3UA_CT { |
| 364 | f_init_m3ua(); |
| 365 | f_M3UA_asp_up(0); |
| 366 | f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_INACTIVE, *)); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 367 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 368 | } |
| 369 | |
| 370 | /* Test the heartbeat procedure without optional heartbeat data payload */ |
| 371 | testcase TC_beat() runs on RAW_M3UA_CT { |
| 372 | f_init_m3ua(); |
| 373 | f_M3UA_asp_up(0); |
| 374 | f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_INACTIVE, *)); |
| 375 | f_M3UA_beat(0, omit); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 376 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 377 | } |
| 378 | |
| 379 | /* Test the heartbeat procedure with optional heartbeat data payload */ |
| 380 | testcase TC_beat_payload() runs on RAW_M3UA_CT { |
| 381 | f_init_m3ua(); |
| 382 | f_M3UA_asp_up(0); |
| 383 | f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_INACTIVE, *)); |
| 384 | f_M3UA_beat(0, 'a1a2a3a4a5'O); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 385 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 386 | } |
| 387 | |
| 388 | /* Test the ASP-ACTIVATE procedure (without traffic-mode or routing ctx) */ |
| 389 | testcase TC_asp_act() runs on RAW_M3UA_CT { |
| 390 | f_init_m3ua(); |
| 391 | f_M3UA_asp_up_act(0); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 392 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 393 | } |
| 394 | |
| 395 | /* Test the ASP-ACTIVATE procedure with traffic-mode override */ |
| 396 | testcase TC_asp_act_override() runs on RAW_M3UA_CT { |
| 397 | f_init_m3ua(); |
| 398 | f_M3UA_asp_up_act(0, c_M3UA_TMT_override, omit); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 399 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 400 | } |
| 401 | |
| 402 | /* Test the ASP-ACTIVATE procedure with traffic-mode override */ |
| 403 | testcase TC_asp_act_loadshare() runs on RAW_M3UA_CT { |
| 404 | f_init_m3ua(); |
| 405 | f_M3UA_asp_up_act(0, c_M3UA_TMT_loadshare, omit); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 406 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 407 | } |
| 408 | |
| 409 | /* Test the ASP-ACTIVATE procedure with traffic-mode broadcast */ |
| 410 | testcase TC_asp_act_broadcast() runs on RAW_M3UA_CT { |
| 411 | f_init_m3ua(); |
| 412 | f_M3UA_asp_up_act(0, c_M3UA_TMT_broadcast, omit); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 413 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 414 | } |
| 415 | |
Harald Welte | 15a8501 | 2020-06-13 16:35:45 +0200 | [diff] [blame] | 416 | /* test whether the STP accepts M3UA DATA without Routing Context IE */ |
| 417 | testcase TC_act_rctx_data_no_rctx() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 418 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 419 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 420 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[1].routing_ctx, 4); |
| 421 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[1].point_code, 4); |
Harald Welte | 15a8501 | 2020-06-13 16:35:45 +0200 | [diff] [blame] | 422 | |
| 423 | f_init_m3ua(); |
| 424 | /* bring up the sender specifying a routing context */ |
| 425 | |
| 426 | f_M3UA_asp_up_act(0, rctx := rctx_sender); |
| 427 | f_M3UA_asp_up_act(1); |
| 428 | |
| 429 | /* check if DATA is accepted without Routing Context IE */ |
| 430 | f_test_traffic(0, omit, pc_sender, 1, rctx_receiver, pc_receiver); |
| 431 | |
| 432 | f_clear_m3ua(); |
| 433 | } |
| 434 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 435 | /* Test if traffic is routed from idx_tx/pc_tx to idx_rx/pc_rx */ |
| 436 | private function f_test_traffic(integer idx_tx, template (omit) OCT4 rctx_sender, OCT4 pc_tx, |
| 437 | integer idx_rx, template (omit) OCT4 rctx_receiver, OCT4 pc_rx, |
| 438 | OCT1 si := '23'O, OCT1 ni := '00'O, OCT1 mp := '00'O, OCT1 sls := '00'O) |
| 439 | runs on RAW_M3UA_CT { |
Harald Welte | 67881ae | 2022-04-12 22:52:47 +0200 | [diff] [blame] | 440 | var octetstring data := f_rnd_octstring_rnd_len(100); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 441 | f_M3UA_send(idx_tx, ts_M3UA_DATA(rctx_sender, |
| 442 | ts_M3UA_protocol_data(pc_tx, pc_rx, si, ni, mp, sls, data)), 1); |
| 443 | f_M3UA_exp(idx_rx, tr_M3UA_DATA(rctx_receiver, |
| 444 | tr_M3UA_protocol_data(pc_tx, pc_rx, si, ni, mp, sls, data))); |
| 445 | } |
| 446 | |
| 447 | |
| 448 | /* test "traffic-mode override" behavior */ |
| 449 | testcase TC_tmt_override() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 450 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 451 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 452 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[1].routing_ctx, 4); |
| 453 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[1].point_code, 4); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 454 | |
| 455 | f_init_m3ua(); |
| 456 | |
| 457 | /* bring up the 'sender' side (single ASP in AS) */ |
| 458 | f_M3UA_asp_up_act(0, omit, omit); |
| 459 | |
| 460 | /* activate the first 'receiver' side ASP */ |
| 461 | f_M3UA_asp_up_act(1, c_M3UA_TMT_override, rctx_receiver); |
| 462 | |
| 463 | /* verify traffic is routed from sender to [sole] receiver */ |
| 464 | f_test_traffic(0, rctx_sender, pc_sender, 1, rctx_receiver, pc_receiver); |
| 465 | |
| 466 | /* activate the second 'receiver' side ASP (no NOTIFY as AS state doesn't change) */ |
| 467 | f_M3UA_asp_up_act(2, c_M3UA_TMT_override, rctx_receiver, omit, omit); |
| 468 | |
| 469 | /* we expect a NOTIFY to the *other* ASP Other/Alternat-ASP-Active */ |
| 470 | f_M3UA_exp(1, tr_M3UA_NOTIFY(c_M3UA_ST_T_OTHER, c_M3UA_ST_I_ALTERNATE_ASP, *)); |
| 471 | |
| 472 | /* verify traffic is routed from sender to new receiver */ |
| 473 | f_test_traffic(0, rctx_sender, pc_sender, 2, rctx_receiver, pc_receiver); |
| 474 | |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 475 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 476 | } |
| 477 | |
| 478 | private altstep as_count_rx(integer idx, template (present) PDU_M3UA exp, inout integer counter) |
| 479 | runs on RAW_M3UA_CT { |
| 480 | [] M3UA[idx].receive(t_M3UA_RecvFrom(exp)) { |
| 481 | counter := counter + 1; |
| 482 | } |
| 483 | } |
| 484 | |
| 485 | /* test "traffic-mode load-share" behavior */ |
| 486 | testcase TC_tmt_loadshare() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 487 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 488 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 489 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[1].routing_ctx, 4); |
| 490 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[1].point_code, 4); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 491 | var integer i; |
| 492 | |
| 493 | f_init_m3ua(); |
| 494 | |
| 495 | /* FIXME: configure the STP via VTY to set traffic-mode */ |
| 496 | |
| 497 | /* bring up the 'sender' side (single ASP in AS) */ |
| 498 | f_M3UA_asp_up_act(0, omit, rctx_sender); |
| 499 | |
| 500 | /* activate the first 'receiver' side ASP */ |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 501 | f_M3UA_asp_up_act(1, c_M3UA_TMT_loadshare, omit); // TODO: rctx |
| 502 | |
| 503 | /* verify traffic is routed from sender to [sole] receiver */ |
| 504 | for (i := 0; i < 10; i := i+1) { |
| 505 | f_test_traffic(0, rctx_sender, pc_sender, 1, rctx_receiver, pc_receiver); |
| 506 | } |
| 507 | |
| 508 | /* activate the second 'receiver' side ASP (no NOTIFY) */ |
| 509 | f_M3UA_asp_up_act(2, c_M3UA_TMT_loadshare, omit, omit, omit); // TODO: rctx |
| 510 | |
| 511 | /* verify traffic is routed from sender to new receiver */ |
| 512 | const integer iter_per_asp := 5; |
| 513 | var integer num_rx[NR_M3UA] := { 0, 0, 0 }; |
| 514 | for (i := 0; i < 2*iter_per_asp; i := i+1) { |
Harald Welte | 67881ae | 2022-04-12 22:52:47 +0200 | [diff] [blame] | 515 | var octetstring data := f_rnd_octstring_rnd_len(100); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 516 | var template (value) M3UA_Protocol_Data tx_pd; |
| 517 | var template (present) M3UA_Protocol_Data rx_pd; |
| 518 | tx_pd := ts_M3UA_protocol_data(pc_sender, pc_receiver, '23'O, '00'O, '00'O, '00'O, data); |
| 519 | rx_pd := tr_M3UA_protocol_data(pc_sender, pc_receiver, '23'O, '00'O, '00'O, '00'O, data); |
| 520 | f_M3UA_send(0, ts_M3UA_DATA(rctx_sender, tx_pd), 1); |
| 521 | alt { |
Pau Espin Pedrol | 4d91578 | 2020-08-21 12:24:35 +0200 | [diff] [blame] | 522 | [] as_count_rx(1, tr_M3UA_DATA(rctx_receiver, rx_pd), num_rx[1]); |
| 523 | [] as_count_rx(2, tr_M3UA_DATA(rctx_receiver, rx_pd), num_rx[2]); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 524 | } |
| 525 | } |
| 526 | /* FIXME: check for extraneous messages? */ |
| 527 | for (i := 1; i <= 2; i := i+1) { |
| 528 | if (num_rx[i] != iter_per_asp) { |
Harald Welte | b9f7bbb | 2019-10-29 09:07:11 +0100 | [diff] [blame] | 529 | setverdict(fail, "Received ", num_rx[i], " out of expected ", iter_per_asp, |
| 530 | "M3UA DATA messages at M3UA port ", i); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 531 | } |
| 532 | } |
| 533 | setverdict(pass); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 534 | |
| 535 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 536 | } |
| 537 | |
| 538 | /* test "traffic-mode broadcast" behavior */ |
| 539 | testcase TC_tmt_broadcast() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 540 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 541 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 542 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[1].routing_ctx, 4); |
| 543 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[1].point_code, 4); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 544 | var integer i; |
| 545 | |
| 546 | f_init_m3ua(); |
| 547 | |
| 548 | /* FIXME: configure the STP via VTY to set traffic-mode */ |
| 549 | |
| 550 | /* bring up the 'sender' side (single ASP in AS) */ |
| 551 | f_M3UA_asp_up_act(0, omit, omit); // TODO: rctx |
| 552 | |
| 553 | /* activate the first 'receiver' side ASP */ |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 554 | f_M3UA_asp_up_act(1, c_M3UA_TMT_broadcast, omit); // TODO: rctx |
| 555 | |
| 556 | /* verify traffic is routed from sender to [sole] receiver */ |
| 557 | for (i := 0; i < 10; i := i+1) { |
| 558 | f_test_traffic(0, rctx_sender, pc_sender, 1, rctx_receiver, pc_receiver); |
| 559 | } |
| 560 | |
| 561 | /* activate the second 'receiver' side ASP */ |
| 562 | f_M3UA_asp_up_act(2, c_M3UA_TMT_broadcast, omit, omit, omit); // TODO: rctx |
| 563 | |
| 564 | /* verify traffic is routed from sender to new receiver */ |
| 565 | for (i := 0; i < 10; i := i+1) { |
Harald Welte | 67881ae | 2022-04-12 22:52:47 +0200 | [diff] [blame] | 566 | var octetstring data := f_rnd_octstring_rnd_len(100); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 567 | var template (value) M3UA_Protocol_Data tx_pd; |
| 568 | var template (present) M3UA_Protocol_Data rx_pd; |
| 569 | tx_pd := ts_M3UA_protocol_data(pc_sender, pc_receiver, '23'O, '00'O, '00'O, '00'O, data); |
| 570 | rx_pd := tr_M3UA_protocol_data(pc_sender, pc_receiver, '23'O, '00'O, '00'O, '00'O, data); |
| 571 | f_M3UA_send(0, ts_M3UA_DATA(rctx_sender, tx_pd), 1); |
| 572 | /* each message must be received both on 1 and 2 */ |
| 573 | f_M3UA_exp(1, tr_M3UA_DATA(rctx_receiver, rx_pd)); |
| 574 | f_M3UA_exp(2, tr_M3UA_DATA(rctx_receiver, rx_pd)); |
| 575 | } |
| 576 | setverdict(pass); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 577 | |
| 578 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 579 | } |
| 580 | |
| 581 | private function f_M3UA_rkm_register(OCT4 id, OCT3 dpc, OCT4 rctx, |
| 582 | template (present) OCT4 exp_status := c_M3UA_REGSTS_SUCCESS) |
| 583 | runs on RAW_M3UA_CT |
| 584 | { |
| 585 | f_M3UA_send(0, ts_M3UA_REG_REQ({ts_M3UA_rkey(id:=id, dpc:=dpc, rctx:=rctx)})); |
| 586 | f_M3UA_exp(0, tr_M3UA_REG_RSP({tr_M3UA_reg_res(id:=id, status:=exp_status, rctx:=rctx)})); |
| 587 | } |
| 588 | |
| 589 | /* Send RKM registration; expect -EPERM as RCTX doesn't match config and dynamic not permitted */ |
| 590 | testcase TC_rkm_reg_static_notpermitted() runs on RAW_M3UA_CT { |
| 591 | f_init_m3ua(); |
| 592 | |
| 593 | f_M3UA_send(0, ts_M3UA_REG_REQ({ts_M3UA_rkey(id:='00000099'O, dpc:='aabbcc'O)})); |
| 594 | f_M3UA_exp(0, tr_M3UA_REG_RSP({tr_M3UA_reg_res(id:='00000099'O, status:=c_M3UA_REGSTS_ERR_EPERM, |
| 595 | rctx:=?)})); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 596 | |
| 597 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 598 | } |
| 599 | |
| 600 | /* Send RKM registration; expect OK as RCTX does match config */ |
| 601 | testcase TC_rkm_reg_static_permitted() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 602 | var OCT3 dpc := int2oct(mp_m3ua_configs[0].point_code, 3); // must match config |
| 603 | var OCT4 rctx := int2oct(mp_m3ua_configs[0].routing_ctx, 4); // must match config |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 604 | |
| 605 | f_init_m3ua(); |
| 606 | |
| 607 | f_M3UA_send(0, ts_M3UA_REG_REQ({ts_M3UA_rkey(id:='10000099'O, dpc:=dpc, rctx:=rctx)})); |
| 608 | f_M3UA_exp(0, tr_M3UA_REG_RSP({tr_M3UA_reg_res(id:='10000099'O, status:=c_M3UA_REGSTS_SUCCESS, |
| 609 | rctx:=rctx)})); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 610 | |
| 611 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 612 | } |
| 613 | |
| 614 | /* Send RKM registration; expect OK as dynamic not permitted */ |
| 615 | testcase TC_rkm_reg_dynamic_permitted() runs on RAW_M3UA_CT { |
| 616 | f_init_common(); |
| 617 | f_vty_config2(VTY, {"cs7 instance 0"}, "xua rkm routing-key-allocation dynamic-permitted"); |
| 618 | f_init_m3ua(); |
| 619 | |
| 620 | f_M3UA_send(0, ts_M3UA_REG_REQ({ts_M3UA_rkey(id:='20000099'O, dpc:='aabbcc'O)})); |
| 621 | f_M3UA_exp(0, tr_M3UA_REG_RSP({tr_M3UA_reg_res(id:='20000099'O, status:=c_M3UA_REGSTS_SUCCESS, |
| 622 | rctx:=?)})); |
| 623 | |
| 624 | f_vty_config2(VTY, {"cs7 instance 0"}, "xua rkm routing-key-allocation static-only"); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 625 | |
| 626 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 627 | } |
| 628 | |
| 629 | /* try to de-register a routing key that was never registered -> error */ |
| 630 | testcase TC_rkm_unreg_never_registered() runs on RAW_M3UA_CT { |
| 631 | f_init_m3ua(); |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 632 | f_M3UA_send(0, ts_M3UA_DEREG_REQ(ts_M3UA_routing_ctx(int2oct(mp_m3ua_configs[0].routing_ctx,4)))); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 633 | f_M3UA_exp(0, tr_M3UA_DEREG_RSP({tr_M3UA_dereg_res(?,c_m3UA_DEREGSTS_ERR_NOT_REG)})); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 634 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 635 | } |
| 636 | |
| 637 | /* try to de-register a routing key that is invalid (non-existant) -> error */ |
| 638 | testcase TC_rkm_unreg_invalid() runs on RAW_M3UA_CT { |
| 639 | f_init_m3ua(); |
| 640 | f_M3UA_send(0, ts_M3UA_DEREG_REQ(ts_M3UA_routing_ctx(int2oct(1234,4)))); |
| 641 | f_M3UA_exp(0, tr_M3UA_DEREG_RSP({tr_M3UA_dereg_res(?,c_m3UA_DEREGSTS_ERR_INVAL_RCTX)})); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 642 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 643 | } |
| 644 | |
Oliver Smith | 326d78e | 2021-07-23 10:42:10 +0200 | [diff] [blame] | 645 | /* try to de-register a routing key that was registered -> OK */ |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 646 | testcase TC_rkm_unreg_registered() runs on RAW_M3UA_CT { |
Oliver Smith | 326d78e | 2021-07-23 10:42:10 +0200 | [diff] [blame] | 647 | var OCT3 dpc := int2oct(123, 3); |
| 648 | var OCT4 rctx := int2oct(1234, 4); |
| 649 | |
| 650 | f_init_common(); |
| 651 | f_vty_config2(VTY, {"cs7 instance 0"}, "xua rkm routing-key-allocation dynamic-permitted"); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 652 | f_init_m3ua(); |
Oliver Smith | 326d78e | 2021-07-23 10:42:10 +0200 | [diff] [blame] | 653 | |
| 654 | /* first register the routing key */ |
| 655 | f_M3UA_rkm_register(id:='30000099'O, dpc:=dpc, rctx:=rctx); |
| 656 | |
| 657 | /* then try to de-register */ |
| 658 | f_M3UA_send(0, ts_M3UA_DEREG_REQ(ts_M3UA_routing_ctx(rctx))); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 659 | f_M3UA_exp(0, tr_M3UA_DEREG_RSP({tr_M3UA_dereg_res(?,c_m3UA_DEREGSTS_SUCCESS)})); |
Oliver Smith | 326d78e | 2021-07-23 10:42:10 +0200 | [diff] [blame] | 660 | |
| 661 | f_vty_config2(VTY, {"cs7 instance 0"}, "xua rkm routing-key-allocation static-only"); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 662 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 663 | } |
| 664 | |
| 665 | /* try to de-register a routing key for an active ASP -> ERROR */ |
| 666 | testcase TC_rkm_unreg_active() runs on RAW_M3UA_CT { |
Oliver Smith | ee02223 | 2021-07-23 11:01:06 +0200 | [diff] [blame] | 667 | var OCT3 dpc := int2oct(123, 3); |
| 668 | var OCT4 rctx := int2oct(1234, 4); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 669 | |
Oliver Smith | ee02223 | 2021-07-23 11:01:06 +0200 | [diff] [blame] | 670 | f_init_common(); |
| 671 | f_vty_config2(VTY, {"cs7 instance 0"}, "xua rkm routing-key-allocation dynamic-permitted"); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 672 | f_init_m3ua(); |
| 673 | |
| 674 | /* first register the routing key */ |
| 675 | f_M3UA_rkm_register(id:='30000099'O, dpc:=dpc, rctx:=rctx); |
| 676 | |
| 677 | /* then activate the ASP */ |
| 678 | f_M3UA_asp_up_act(0); |
Oliver Smith | ee02223 | 2021-07-23 11:01:06 +0200 | [diff] [blame] | 679 | f_M3UA_exp(0, tr_M3UA_DAVA({*}, rctx)); |
| 680 | f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_ACTIVE, *)); |
| 681 | f_M3UA_exp(0, tr_M3UA_DAVA({*}, *)); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 682 | |
Oliver Smith | ee02223 | 2021-07-23 11:01:06 +0200 | [diff] [blame] | 683 | /* then try to de-register -> ERR_ASP_ACTIVE */ |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 684 | f_M3UA_send(0, ts_M3UA_DEREG_REQ(ts_M3UA_routing_ctx(rctx))); |
| 685 | f_M3UA_exp(0, tr_M3UA_DEREG_RSP({tr_M3UA_dereg_res(?,c_m3UA_DEREGSTS_ERR_ASP_ACTIVE)})); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 686 | |
Oliver Smith | ee02223 | 2021-07-23 11:01:06 +0200 | [diff] [blame] | 687 | /* deactivate ASP and properly de-register to clean up */ |
| 688 | f_M3UA_asp_inact(0); |
| 689 | f_M3UA_send(0, ts_M3UA_DEREG_REQ(ts_M3UA_routing_ctx(rctx))); |
| 690 | f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_PENDING, *)); |
| 691 | f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_PENDING, *)); |
| 692 | f_M3UA_exp(0, tr_M3UA_DEREG_RSP({tr_M3UA_dereg_res(?,c_m3UA_DEREGSTS_SUCCESS)})); |
| 693 | |
| 694 | f_vty_config2(VTY, {"cs7 instance 0"}, "xua rkm routing-key-allocation static-only"); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 695 | f_clear_m3ua(); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 696 | } |
| 697 | |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 698 | /*********************************************************************** |
| 699 | * Test the STP in M3UA ASP role (we are SG) |
| 700 | ***********************************************************************/ |
| 701 | |
| 702 | /* expect/perform an inbound ASP-UP procedure */ |
| 703 | friend function f_M3UA_CLNT_asp_up(integer idx, template OCT4 aspid := omit) runs on RAW_M3UA_CT { |
| 704 | f_M3UA_exp(idx, tr_M3UA_ASPUP(aspid)); |
Harald Welte | 3e5f05e | 2023-04-15 20:02:52 +0800 | [diff] [blame] | 705 | /* there might have been multiple re-transmissions that have queued up in the ATS between |
| 706 | * the SCTP connection establishment and this function execution, so let's flush those copies. */ |
| 707 | f_M3UA_flush(idx, tr_M3UA_ASPUP(aspid)); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 708 | f_M3UA_send(idx, ts_M3UA_ASPUP_ACK); |
| 709 | } |
| 710 | |
| 711 | /* expect/perform an inbound ASP-ACTIVATE procedure */ |
| 712 | friend function f_M3UA_CLNT_asp_act(integer idx, template M3UA_Traffic_Mode_Type tmt := omit, |
| 713 | template (omit) OCT4 rctx := omit) runs on RAW_M3UA_CT { |
| 714 | f_M3UA_exp(idx, tr_M3UA_ASPAC(tmt, rctx)); |
| 715 | f_M3UA_send(idx, ts_M3UA_ASPAC_ACK(tmt, rctx)); |
| 716 | } |
| 717 | |
| 718 | /* expect/perform inbound ASP-UP and ASP-ACT, optionally send interemittent NOTIFY */ |
| 719 | friend function f_M3UA_CLNT_asp_up_act(integer idx, template M3UA_Traffic_Mode_Type tmt := omit, |
| 720 | template OCT4 rctx := omit, |
| 721 | template (omit) OCT2 ntfy_after_up := c_M3UA_ST_I_AS_INACTIVE, |
| 722 | template (omit) OCT2 ntfy_after_act := c_M3UA_ST_I_AS_ACTIVE) |
| 723 | runs on RAW_M3UA_CT { |
| 724 | f_M3UA_CLNT_asp_up(idx, omit); |
| 725 | if (not istemplatekind(ntfy_after_up, "omit")) { |
| 726 | f_M3UA_send(idx, ts_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, ntfy_after_up, rctx)); |
| 727 | } |
| 728 | f_M3UA_CLNT_asp_act(idx, tmt, rctx); |
| 729 | if (not istemplatekind(ntfy_after_act, "omit")) { |
| 730 | f_M3UA_send(idx, ts_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, ntfy_after_act, rctx)); |
| 731 | } |
| 732 | } |
| 733 | |
| 734 | |
| 735 | /* Expect inbound connection from ASP/SCTP-client, followed by ASP-UP */ |
| 736 | testcase TC_clnt_connect_asp_up() runs on RAW_M3UA_CT { |
| 737 | f_init_m3ua(); |
| 738 | f_init_m3ua_srv(); |
| 739 | |
| 740 | f_M3UA_CLNT_asp_up(M3UA_SRV(0)); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 741 | |
| 742 | f_clear_m3ua(); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 743 | } |
| 744 | |
| 745 | /* Expect inbound connection from ASP/SCTP-client, followed by ASP-UP + ASP-ACT */ |
| 746 | testcase TC_clnt_asp_act() runs on RAW_M3UA_CT { |
| 747 | f_init_m3ua(); |
| 748 | f_init_m3ua_srv(); |
| 749 | |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 750 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 751 | |
| 752 | f_clear_m3ua(); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 753 | } |
| 754 | |
Harald Welte | 53050cd | 2019-12-01 20:49:01 +0100 | [diff] [blame] | 755 | /* Expect inbound connection from ASP/SCTP-client, followed by ASP-UP + ASP-ACT */ |
| 756 | testcase TC_clnt_asp_act_tmt_loadshare() runs on RAW_M3UA_CT { |
| 757 | f_init_common(); |
| 758 | f_vty_config2(VTY, {"cs7 instance 0", "as as-client m3ua"}, "traffic-mode loadshare"); |
| 759 | f_init_m3ua(); |
| 760 | f_init_m3ua_srv(); |
| 761 | |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 762 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), tmt := c_M3UA_TMT_loadshare, rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
Harald Welte | 53050cd | 2019-12-01 20:49:01 +0100 | [diff] [blame] | 763 | |
| 764 | f_clear_m3ua(); |
| 765 | } |
| 766 | |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 767 | /* Test traffic being routed through "server" side STP (M3UA SG), coming back in "client" |
| 768 | * side STP (M3UA ASP) */ |
| 769 | testcase TC_clnt_sg_to_asp() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 770 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 771 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 772 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 773 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[M3UA_SRV(0)].point_code, 4); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 774 | |
| 775 | f_init_m3ua(); |
| 776 | f_M3UA_asp_up_act(0); |
| 777 | |
| 778 | f_init_m3ua_srv(); |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 779 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 780 | |
| 781 | f_sleep(1.0); |
| 782 | |
| 783 | /* verify traffic is routed from sender to [sole] receiver */ |
| 784 | f_test_traffic(0, rctx_sender, pc_sender, M3UA_SRV(0), rctx_receiver, pc_receiver); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 785 | |
| 786 | f_clear_m3ua(); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 787 | } |
| 788 | |
| 789 | /* Test traffic being routed through "client" side STP (M3UA ASP), coming back in "server" |
| 790 | * side STP (M3UA SG) */ |
| 791 | testcase TC_clnt_asp_to_sg() runs on RAW_M3UA_CT { |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 792 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 793 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[M3UA_SRV(0)].point_code, 4); |
| 794 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 795 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[0].point_code, 4); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 796 | |
| 797 | f_init_m3ua(); |
| 798 | f_M3UA_asp_up_act(0); |
| 799 | |
| 800 | f_init_m3ua_srv(); |
Harald Welte | 1c4e984 | 2021-02-07 23:03:28 +0100 | [diff] [blame] | 801 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 802 | |
| 803 | f_sleep(1.0); |
| 804 | |
| 805 | /* verify traffic is routed from sender to [sole] receiver */ |
| 806 | f_test_traffic(M3UA_SRV(0), rctx_sender, pc_sender, 0, rctx_receiver, pc_receiver); |
Pau Espin Pedrol | 05726dd | 2019-11-06 15:55:57 +0100 | [diff] [blame] | 807 | f_clear_m3ua(); |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 808 | } |
| 809 | |
Harald Welte | 6baf5e7 | 2023-04-15 20:30:52 +0800 | [diff] [blame] | 810 | /* Test traffic being routed through "server" side STP (M3UA SG), coming back in "client" |
| 811 | * side STP (M3UA ASP) which has no routing context set */ |
| 812 | testcase TC_clnt_sg_to_asp_norctx() runs on RAW_M3UA_CT { |
| 813 | var OCT4 rctx_sender := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 814 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 815 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[M3UA_SRV(1)].point_code, 4); |
| 816 | var OCT4 pc_receiver2 := int2oct(mp_m3ua_configs[M3UA_SRV(2)].point_code, 4); |
| 817 | |
| 818 | /* activate the sender side (ATS is client to STP in SG role) */ |
| 819 | f_init_m3ua(); |
| 820 | f_M3UA_asp_up_act(0); |
| 821 | |
| 822 | /* activate the receiver side (ATS is server to STP in ASP role) */ |
| 823 | f_init_m3ua_srv(); |
| 824 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(1), rctx := omit); |
| 825 | /* activate another instance of STP in ASP role with no routing context */ |
| 826 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(2), rctx := omit); |
| 827 | |
| 828 | f_sleep(1.0); |
| 829 | |
| 830 | /* verify traffic is routed from sender to [sole] receiver for each PC */ |
| 831 | f_test_traffic(0, rctx_sender, pc_sender, M3UA_SRV(1), omit, pc_receiver); |
| 832 | f_test_traffic(0, rctx_sender, pc_sender, M3UA_SRV(2), omit, pc_receiver2); |
| 833 | |
| 834 | f_clear_m3ua(); |
| 835 | } |
| 836 | |
| 837 | /* Test traffic being routed through "server" side STP (M3UA SG), coming back in "client" |
| 838 | * side STP (M3UA ASP) which has no routing context set */ |
| 839 | testcase TC_clnt_asp_to_sg_norctx() runs on RAW_M3UA_CT { |
| 840 | var OCT4 rctx_receiver := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 841 | var OCT4 pc_receiver := int2oct(mp_m3ua_configs[0].point_code, 4); |
| 842 | var OCT4 pc_sender := int2oct(mp_m3ua_configs[M3UA_SRV(1)].point_code, 4); |
| 843 | var OCT4 pc_sender2 := int2oct(mp_m3ua_configs[M3UA_SRV(2)].point_code, 4); |
| 844 | |
| 845 | /* activate the sender side (ATS is client to STP in SG role) */ |
| 846 | f_init_m3ua(); |
| 847 | f_M3UA_asp_up_act(0); |
| 848 | |
| 849 | /* activate the receiver side (ATS is server to STP in ASP role) */ |
| 850 | f_init_m3ua_srv(); |
| 851 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(1), rctx := omit); |
| 852 | /* activate another instance of STP in ASP role with no routing context */ |
| 853 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(2), rctx := omit); |
| 854 | |
| 855 | f_sleep(1.0); |
| 856 | |
| 857 | /* verify traffic is routed from sender to [sole] receiver for each PC */ |
| 858 | f_test_traffic(M3UA_SRV(1), omit, pc_sender, 0, rctx_receiver, pc_receiver); |
| 859 | f_test_traffic(M3UA_SRV(2), omit, pc_sender2, 0, rctx_receiver, pc_receiver); |
| 860 | |
| 861 | f_clear_m3ua(); |
| 862 | } |
| 863 | |
Harald Welte | 27cfb7a | 2021-02-08 09:58:28 +0100 | [diff] [blame] | 864 | /* Test if ASPAC / ASPIA of one ASP generates DAVA / DUNA on other ASP */ |
| 865 | testcase TC_ssnm_aspac_dava_aspia_duna() runs on RAW_M3UA_CT { |
| 866 | var OCT4 rctx0 := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 867 | |
| 868 | f_init_m3ua(ignore_ssnm := false); |
| 869 | /* activate the first ASP */ |
| 870 | f_M3UA_asp_up_act(0); |
| 871 | |
| 872 | /* activate the second ASP */ |
| 873 | f_M3UA_asp_up_act(1, c_M3UA_TMT_override, omit); |
| 874 | /* expect DAVA for PC of second ASP on first ASP */ |
| 875 | f_M3UA_exp(0, tr_M3UA_DAVA({ts_M3UA_PC(mp_m3ua_configs[1].point_code, 0)}, rctx0)); |
| 876 | /* TODO: expect no DAVA on second ASP */ |
| 877 | |
| 878 | /* deactivate the second ASP */ |
| 879 | f_M3UA_asp_inact(1); |
| 880 | /* expect DUNA for PC of second ASP on first ASP */ |
| 881 | f_M3UA_exp(0, tr_M3UA_DUNA({ts_M3UA_PC(mp_m3ua_configs[1].point_code, 0)}, rctx0)); |
| 882 | /* TODO: expect no DUNA on second ASP */ |
| 883 | |
| 884 | f_clear_m3ua(); |
| 885 | } |
| 886 | |
| 887 | /* Test if DAVA/DUNA sent from SG to ASP-role STP gets forwarded to other ASP */ |
| 888 | testcase TC_ssnm_distribution_dava_duna() runs on RAW_M3UA_CT { |
| 889 | var OCT4 rctx0 := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 890 | var OCT4 rctxS0 := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 891 | /* some random point code whose availability we advertise */ |
| 892 | var template (value) M3UA_Point_Code adv_pc := ts_M3UA_PC(1234, 0); |
| 893 | |
| 894 | f_init_m3ua(ignore_ssnm := false); |
| 895 | |
| 896 | /* activate the first ASP */ |
| 897 | f_M3UA_asp_up_act(0); |
| 898 | |
| 899 | /* activate SG-role ASP (ASP on STP) */ |
| 900 | f_init_m3ua_srv(); |
| 901 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
| 902 | |
| 903 | /* transmit a DAVA to the remote ASP */ |
| 904 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DAVA({adv_pc}, rctxS0)); |
| 905 | /* expect that to show up on other ASP */ |
| 906 | f_M3UA_exp(0, tr_M3UA_DAVA({adv_pc}, rctx0)); |
| 907 | |
| 908 | /* transmit a DUNA to the remote ASP */ |
| 909 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DUNA({adv_pc}, rctxS0)); |
| 910 | /* expect that to show up on other ASP */ |
| 911 | f_M3UA_exp(0, tr_M3UA_DUNA({adv_pc}, rctx0)); |
| 912 | } |
| 913 | |
| 914 | /* Test if DAVA/DUNA sent from SG to ASP-role STP gets forwarded to other ASP */ |
| 915 | testcase TC_ssnm_distribution_dava_duna_multipc() runs on RAW_M3UA_CT { |
| 916 | var OCT4 rctx0 := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 917 | var OCT4 rctxS0 := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 918 | /* some random point code whose availability we advertise */ |
| 919 | var template (value) M3UA_Point_Codes adv_pcs := { ts_M3UA_PC(1234, 0), ts_M3UA_PC(5678, 0) }; |
| 920 | |
| 921 | f_init_m3ua(ignore_ssnm := false); |
| 922 | |
| 923 | /* activate the first ASP */ |
| 924 | f_M3UA_asp_up_act(0); |
| 925 | |
| 926 | /* activate SG-role ASP (ASP on STP) */ |
| 927 | f_init_m3ua_srv(); |
| 928 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
| 929 | |
| 930 | /* transmit a DAVA to the remote ASP */ |
| 931 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DAVA(adv_pcs, rctxS0)); |
| 932 | /* expect that to show up on other ASP */ |
| 933 | f_M3UA_exp(0, tr_M3UA_DAVA(adv_pcs, rctx0)); |
| 934 | |
| 935 | /* transmit a DUNA to the remote ASP */ |
| 936 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DUNA(adv_pcs, rctxS0)); |
| 937 | /* expect that to show up on other ASP */ |
| 938 | f_M3UA_exp(0, tr_M3UA_DUNA(adv_pcs, rctx0)); |
| 939 | } |
| 940 | |
| 941 | /* Test if DUPU sent from SG to ASP-role STP gets forwarded to other ASP */ |
| 942 | testcase TC_ssnm_distribution_dupu() runs on RAW_M3UA_CT { |
| 943 | var OCT4 rctx0 := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 944 | var OCT4 rctxS0 := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 945 | /* some random point code whose availability we advertise */ |
| 946 | var template (value) M3UA_Point_Code adv_pc := ts_M3UA_PC(1234, 0); |
| 947 | |
| 948 | f_init_m3ua(ignore_ssnm := false); |
| 949 | |
| 950 | /* activate the first ASP */ |
| 951 | f_M3UA_asp_up_act(0); |
| 952 | |
| 953 | /* activate SG-role ASP (ASP on STP) */ |
| 954 | f_init_m3ua_srv(); |
| 955 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
| 956 | |
| 957 | /* transmit a DUPU to the remote ASP */ |
| 958 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DUPU({adv_pc}, '0102'O, 'ABCD'O, rctxS0)); |
| 959 | /* expect that to show up on other ASP */ |
| 960 | f_M3UA_exp(0, tr_M3UA_DUPU({adv_pc}, '0102'O, 'ABCD'O, rctx0)); |
| 961 | } |
| 962 | |
| 963 | /* Test if SCON sent from SG to ASP-role STP gets forwarded to other ASP */ |
| 964 | testcase TC_ssnm_distribution_scon() runs on RAW_M3UA_CT { |
| 965 | var OCT4 rctx0 := int2oct(mp_m3ua_configs[0].routing_ctx, 4); |
| 966 | var OCT4 rctxS0 := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 967 | /* some random point code whose availability we advertise */ |
| 968 | var template (value) M3UA_Point_Code adv_pc := ts_M3UA_PC(1234, 0); |
| 969 | |
| 970 | f_init_m3ua(ignore_ssnm := false); |
| 971 | |
| 972 | /* activate the first ASP */ |
| 973 | f_M3UA_asp_up_act(0); |
| 974 | |
| 975 | /* activate SG-role ASP (ASP on STP) */ |
| 976 | f_init_m3ua_srv(); |
| 977 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4)); |
| 978 | |
| 979 | /* transmit a SCON to the remote ASP */ |
| 980 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_SCON({adv_pc}, rctxS0)); |
| 981 | /* expect that to show up on other ASP */ |
| 982 | f_M3UA_exp(0, tr_M3UA_SCON({adv_pc}, rctx0)); |
| 983 | } |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 984 | |
Harald Welte | 30cb400 | 2021-05-13 20:51:37 +0200 | [diff] [blame] | 985 | private function f_quirk(charstring quirk) runs on RAW_M3UA_CT { |
| 986 | f_vty_config2(VTY, {"cs7 instance 0", "asp asp-client0 10002 2906 m3ua"}, "quirk " & quirk); |
| 987 | } |
| 988 | |
| 989 | private function f_no_quirk(charstring quirk) runs on RAW_M3UA_CT { |
| 990 | f_vty_config2(VTY, {"cs7 instance 0", "asp asp-client0 10002 2906 m3ua"}, "no quirk " & quirk); |
| 991 | } |
| 992 | |
| 993 | /* quirk 'no_notify': Expect inbound connection from ASP/SCTP-client, followed by ASP-UP + ASP-ACT */ |
| 994 | testcase TC_clnt_quirk_no_notify_asp_act() runs on RAW_M3UA_CT { |
| 995 | f_init_m3ua(); |
| 996 | f_quirk("no_notify"); |
| 997 | f_init_m3ua_srv(); |
| 998 | |
| 999 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4), |
| 1000 | ntfy_after_up := omit, ntfy_after_act := omit); |
| 1001 | f_no_quirk("no_notify"); |
| 1002 | f_clear_m3ua(); |
| 1003 | } |
| 1004 | |
Harald Welte | 5ef2553 | 2021-05-13 21:10:25 +0200 | [diff] [blame] | 1005 | /* ensure that DAUD is not supported in ASP role, as required by RFC */ |
| 1006 | testcase TC_clnt_no_daud_in_asp() runs on RAW_M3UA_CT { |
| 1007 | f_init_m3ua(); |
| 1008 | f_no_quirk("daud_in_asp"); |
| 1009 | f_init_m3ua_srv(); |
| 1010 | |
| 1011 | var OCT4 rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 1012 | |
| 1013 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := rctx); |
| 1014 | |
| 1015 | var template (value) M3UA_Point_Codes aff_pcs := { ts_M3UA_PC(mp_m3ua_configs[M3UA_SRV(0)].point_code) }; |
| 1016 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DAUD(aff_pcs)); |
| 1017 | f_M3UA_exp(M3UA_SRV(0), tr_M3UA_ERR('00000004'O, omit)); |
| 1018 | setverdict(pass); |
| 1019 | |
| 1020 | f_clear_m3ua(); |
| 1021 | } |
| 1022 | |
| 1023 | /* quirk 'daud_in_asp': allowing inbound DAUD from SG in ASP role */ |
| 1024 | testcase TC_clnt_quirk_daud_in_asp() runs on RAW_M3UA_CT { |
| 1025 | f_init_m3ua(); |
| 1026 | f_quirk("daud_in_asp"); |
| 1027 | f_init_m3ua_srv(); |
| 1028 | |
| 1029 | var OCT4 rctx := int2oct(mp_m3ua_configs[M3UA_SRV(0)].routing_ctx, 4); |
| 1030 | |
| 1031 | f_M3UA_CLNT_asp_up_act(M3UA_SRV(0), rctx := rctx); |
| 1032 | |
| 1033 | var template (value) M3UA_Point_Codes aff_pcs := { ts_M3UA_PC(mp_m3ua_configs[M3UA_SRV(0)].point_code) }; |
| 1034 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DAUD(aff_pcs)); |
| 1035 | f_M3UA_exp(M3UA_SRV(0), tr_M3UA_DAVA(aff_pcs)); |
| 1036 | setverdict(pass); |
| 1037 | |
| 1038 | f_no_quirk("daud_in_asp"); |
| 1039 | f_clear_m3ua(); |
| 1040 | } |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 1041 | |
Harald Welte | 261aea7 | 2021-05-13 21:23:29 +0200 | [diff] [blame] | 1042 | /* Expect a normal ASP to reject any [S]SNM messages in ASP-INACTIVE state */ |
| 1043 | testcase TC_clnt_no_snm_inactive() runs on RAW_M3UA_CT { |
| 1044 | f_init_m3ua(); |
| 1045 | f_quirk("no_notify"); |
| 1046 | f_quirk("daud_in_asp"); |
| 1047 | f_no_quirk("snm_inactive"); |
| 1048 | f_init_m3ua_srv(); |
| 1049 | |
| 1050 | /* bring ASP only UP (into INACTIVE state), but not ACTIVE! */ |
| 1051 | f_M3UA_CLNT_asp_up(M3UA_SRV(0)); |
| 1052 | f_M3UA_exp(M3UA_SRV(0), tr_M3UA_ASPAC(*, *)); |
| 1053 | |
| 1054 | var template (value) M3UA_Point_Codes aff_pcs := { ts_M3UA_PC(mp_m3ua_configs[M3UA_SRV(0)].point_code) }; |
| 1055 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DAUD(aff_pcs)); |
| 1056 | f_M3UA_exp(M3UA_SRV(0), tr_M3UA_ERR('00000006'O, omit)); |
| 1057 | setverdict(pass); |
| 1058 | |
| 1059 | f_no_quirk("no_notify"); |
| 1060 | f_no_quirk("daud_in_asp"); |
| 1061 | f_clear_m3ua(); |
| 1062 | } |
| 1063 | |
| 1064 | /* quirk 'snm_inactive': Process [S]SNM in ASP-INACTIVE state */ |
| 1065 | testcase TC_clnt_quirk_snm_inactive() runs on RAW_M3UA_CT { |
| 1066 | f_init_m3ua(); |
| 1067 | f_quirk("no_notify"); |
| 1068 | f_quirk("daud_in_asp"); |
| 1069 | f_quirk("snm_inactive"); |
| 1070 | f_init_m3ua_srv(); |
| 1071 | |
| 1072 | /* bring ASP only UP (into INACTIVE state), but not ACTIVE! */ |
| 1073 | f_M3UA_CLNT_asp_up(M3UA_SRV(0)); |
| 1074 | f_M3UA_exp(M3UA_SRV(0), tr_M3UA_ASPAC(*, *)); |
| 1075 | |
| 1076 | var template (value) M3UA_Point_Codes aff_pcs := { ts_M3UA_PC(mp_m3ua_configs[M3UA_SRV(0)].point_code) }; |
| 1077 | f_M3UA_send(M3UA_SRV(0), ts_M3UA_DAUD(aff_pcs)); |
| 1078 | f_M3UA_exp(M3UA_SRV(0), tr_M3UA_DAVA(aff_pcs)); |
| 1079 | setverdict(pass); |
| 1080 | |
| 1081 | f_no_quirk("no_notify"); |
| 1082 | f_no_quirk("daud_in_asp"); |
| 1083 | f_no_quirk("snm_inactive"); |
| 1084 | f_clear_m3ua(); |
| 1085 | } |
| 1086 | |
| 1087 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 1088 | control { |
| 1089 | /* M3UA Tests */ |
| 1090 | execute( TC_connect_asp_up() ); |
| 1091 | execute( TC_beat() ); |
| 1092 | execute( TC_beat_payload() ); |
| 1093 | execute( TC_asp_act() ); |
| 1094 | execute( TC_asp_act_override() ); |
| 1095 | execute( TC_asp_act_loadshare() ); |
| 1096 | execute( TC_asp_act_broadcast() ); |
| 1097 | execute( TC_tmt_override() ); |
| 1098 | execute( TC_tmt_loadshare() ); |
| 1099 | execute( TC_tmt_broadcast() ); |
Harald Welte | 15a8501 | 2020-06-13 16:35:45 +0200 | [diff] [blame] | 1100 | execute( TC_act_rctx_data_no_rctx() ); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 1101 | |
| 1102 | /* M3UA RKM tests */ |
| 1103 | execute( TC_rkm_reg_static_notpermitted() ); |
| 1104 | execute( TC_rkm_reg_static_permitted() ); |
| 1105 | execute( TC_rkm_reg_dynamic_permitted() ); |
Pau Espin Pedrol | 6b1b0ff | 2021-11-16 19:24:53 +0100 | [diff] [blame] | 1106 | execute( TC_rkm_unreg_never_registered() ); |
| 1107 | |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 1108 | execute( TC_rkm_unreg_invalid() ); |
| 1109 | execute( TC_rkm_unreg_registered() ); |
| 1110 | execute( TC_rkm_unreg_active() ); |
| 1111 | /* TODO: test RKM with unsupported routing keys: NA, SI, OPC */ |
| 1112 | /* TODO: register/unregister multiple routing contexts in one message; including mixed |
| 1113 | success/failure situations */ |
Harald Welte | 829dac4 | 2019-11-05 16:55:30 +0100 | [diff] [blame] | 1114 | |
| 1115 | /* Test STP as SCTP client + M3UA ASP role */ |
| 1116 | execute( TC_clnt_connect_asp_up() ); |
| 1117 | execute( TC_clnt_asp_act() ); |
| 1118 | execute( TC_clnt_sg_to_asp() ); |
| 1119 | execute( TC_clnt_asp_to_sg() ); |
Harald Welte | 53050cd | 2019-12-01 20:49:01 +0100 | [diff] [blame] | 1120 | |
Harald Welte | 6baf5e7 | 2023-04-15 20:30:52 +0800 | [diff] [blame] | 1121 | execute( TC_clnt_sg_to_asp_norctx() ); |
| 1122 | execute( TC_clnt_asp_to_sg_norctx() ); |
| 1123 | |
Pau Espin Pedrol | 6b1b0ff | 2021-11-16 19:24:53 +0100 | [diff] [blame] | 1124 | execute( TC_clnt_quirk_no_notify_asp_act() ); |
| 1125 | execute( TC_clnt_no_daud_in_asp() ); |
| 1126 | execute( TC_clnt_quirk_daud_in_asp() ); |
| 1127 | execute( TC_clnt_no_snm_inactive() ); |
| 1128 | execute( TC_clnt_quirk_snm_inactive() ); |
| 1129 | |
Harald Welte | 30cb400 | 2021-05-13 20:51:37 +0200 | [diff] [blame] | 1130 | |
Harald Welte | 27cfb7a | 2021-02-08 09:58:28 +0100 | [diff] [blame] | 1131 | /* M3UA SSNM tests */ |
| 1132 | execute( TC_ssnm_aspac_dava_aspia_duna() ); |
| 1133 | execute( TC_ssnm_distribution_dava_duna() ); |
| 1134 | execute( TC_ssnm_distribution_dava_duna_multipc() ); |
| 1135 | execute( TC_ssnm_distribution_dupu() ); |
| 1136 | execute( TC_ssnm_distribution_scon() ); |
| 1137 | |
Harald Welte | 53050cd | 2019-12-01 20:49:01 +0100 | [diff] [blame] | 1138 | /* put this one last as it changes the stp side config */ |
| 1139 | execute( TC_clnt_asp_act_tmt_loadshare() ); |
Harald Welte | 0db4413 | 2019-10-17 11:09:05 +0200 | [diff] [blame] | 1140 | } |
| 1141 | |
| 1142 | |
| 1143 | |
| 1144 | } |