Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 1 | module EPDG_Tests { |
| 2 | |
| 3 | import from Misc_Helpers all; |
| 4 | import from General_Types all; |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 5 | import from Native_Functions all; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 6 | import from Osmocom_Types all; |
| 7 | import from L3_Common all; |
Pau Espin Pedrol | c2cfd55 | 2024-02-07 17:51:55 +0100 | [diff] [blame] | 8 | import from DNS_Helpers all; |
Pau Espin Pedrol | bf03d77 | 2024-03-01 16:15:21 +0100 | [diff] [blame] | 9 | import from IP_Types all; |
| 10 | import from ICMP_Types all; |
| 11 | import from ICMP_Templates all; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 12 | |
| 13 | import from IPA_Emulation all; |
Pau Espin Pedrol | ce1d3cb | 2024-02-21 17:40:59 +0100 | [diff] [blame] | 14 | import from PCO_Types all; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 15 | import from GSUP_Types all; |
Pau Espin Pedrol | 8f1403a | 2024-01-18 20:08:43 +0100 | [diff] [blame] | 16 | import from GSUP_Templates all; |
| 17 | import from GSUP_Emulation all; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 18 | |
| 19 | import from DIAMETER_Types all; |
| 20 | import from DIAMETER_Templates all; |
Pau Espin Pedrol | 009ab6f | 2024-03-05 13:25:19 +0100 | [diff] [blame] | 21 | import from DIAMETER_rfc4004_Templates all; |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 22 | import from DIAMETER_ts29_229_Templates all; |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 23 | import from DIAMETER_ts29_272_Templates all; |
Pau Espin Pedrol | 4669b61 | 2023-10-23 17:43:14 +0200 | [diff] [blame] | 24 | import from DIAMETER_ts29_273_Templates all; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 25 | import from DIAMETER_Emulation all; |
| 26 | |
Pau Espin Pedrol | 65a7f76 | 2024-02-29 21:07:58 +0100 | [diff] [blame] | 27 | import from GTPv1U_CodecPort all; |
| 28 | import from GTPU_Types all; |
| 29 | import from GTPv1U_Templates all; |
| 30 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 31 | import from GTPv2_Types all; |
| 32 | import from GTPv2_Templates all; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 33 | import from GTPv2_Emulation all; |
| 34 | |
| 35 | modulepar { |
| 36 | /* our emulated GSUP strongswan (CEAI iface) */ |
| 37 | charstring mp_gsup_local_ip := "127.0.0.100"; |
| 38 | integer mp_gsup_local_port := 0; |
| 39 | charstring mp_gsup_remote_ip := "127.0.0.1"; |
| 40 | integer mp_gsup_remote_port := 4222; |
| 41 | |
| 42 | /* our emulated HSS */ |
| 43 | charstring mp_swx_local_ip := "127.0.0.100"; |
| 44 | integer mp_swx_local_port := 3868; |
| 45 | |
| 46 | /* our emulated PGW (Diameter S6b) */ |
| 47 | charstring mp_s6b_local_ip := "127.0.0.100"; |
| 48 | integer mp_s6b_local_port := 3869; |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 49 | charstring mp_s6b_remote_ip := "127.0.0.1"; |
| 50 | integer mp_s6b_remote_port := 3869; |
Pau Espin Pedrol | 8586b26 | 2024-02-09 18:12:21 +0100 | [diff] [blame] | 51 | /* 3GPP TS 23.003 clause 19: "nai.epc.mnc<MNC>.mcc<MCC>.3gppnetwork.org" */ |
| 52 | charstring mp_s6b_nai_realm := "nai.epc.mnc001.mcc01.3gppnetwork.org"; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 53 | |
| 54 | /* our emulated PGW (GTPv2C S2b) */ |
| 55 | charstring mp_s2b_local_ip := "127.0.0.100"; |
| 56 | integer mp_s2b_local_port := GTP2C_PORT; |
| 57 | charstring mp_s2b_remote_ip := "127.0.0.1"; |
| 58 | integer mp_s2b_remote_port := GTP2C_PORT; |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 59 | charstring mp_s2b_dns_ipv4 := "1.2.3.4"; |
| 60 | charstring mp_s2b_dns_ipv6 := "::1"; |
| 61 | charstring mp_s2b_pcscf_ipv4 := "5.6.7.8"; |
| 62 | charstring mp_s2b_pcscf_ipv6 := "::2"; |
Pau Espin Pedrol | 65a7f76 | 2024-02-29 21:07:58 +0100 | [diff] [blame] | 63 | /* our emulated PGW /* GTP1U */ |
| 64 | charstring mp_upf_gtpu_local_ip := "127.0.0.100"; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 65 | |
| 66 | charstring mp_diam_realm := "localdomain"; |
Pau Espin Pedrol | c13a4cd | 2024-01-16 17:28:25 +0100 | [diff] [blame] | 67 | integer mp_diam_watchdog_initial_wait_sec := 6*3; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 68 | } |
| 69 | |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 70 | type port Coord_PT message |
| 71 | { |
| 72 | inout charstring; |
| 73 | } with { extension "internal" }; |
| 74 | private const charstring COORD_CMD_READY := "COORD_CMD_READY"; |
| 75 | private const charstring COORD_CMD_START := "COORD_CMD_START"; |
| 76 | private const charstring COORD_CMD_ATTACHED := "COORD_CMD_ATTACHED"; |
| 77 | private const charstring COORD_CMD_STOP := "COORD_CMD_STOP"; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 78 | |
| 79 | type component MTC_CT { |
| 80 | var DIAMETER_Emulation_CT vc_SWx; |
| 81 | port DIAMETER_PT SWx_UNIT; |
| 82 | port DIAMETEREM_PROC_PT SWx_PROC; |
| 83 | |
| 84 | var DIAMETER_Emulation_CT vc_S6b; |
| 85 | port DIAMETER_PT S6b_UNIT; |
| 86 | port DIAMETEREM_PROC_PT S6b_PROC; |
| 87 | |
| 88 | var GSUP_Emulation_CT vc_GSUP; |
| 89 | var IPA_Emulation_CT vc_GSUP_IPA; |
| 90 | port IPA_CTRL_PT GSUP_IPA_EVENT; |
| 91 | |
| 92 | var GTPv2_Emulation_CT vc_GTP2; |
| 93 | port GTP2EM_PT TEID0; |
| 94 | |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 95 | port Coord_PT COORD; |
| 96 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 97 | timer g_Tguard; |
| 98 | }; |
| 99 | |
| 100 | private altstep as_Tguard() runs on MTC_CT { |
| 101 | [] g_Tguard.timeout { |
| 102 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Tguard timeout"); |
| 103 | } |
| 104 | } |
| 105 | |
| 106 | type component DIAMETER_ConnHdlr_CT extends DIAMETER_ConnHdlr { |
| 107 | port DIAMETER_Conn_PT DIAMETER_CLIENT; |
| 108 | port DIAMETEREM_PROC_PT DIAMETER_PROC_CLIENT; |
| 109 | } |
| 110 | |
| 111 | function f_diam_connhldr_ct_main(hexstring imsi) runs on DIAMETER_ConnHdlr_CT { |
| 112 | var DIAMETER_ConnHdlr vc_conn_unused; |
| 113 | var PDU_DIAMETER msg; |
| 114 | var UINT32 ete_id; |
| 115 | |
| 116 | f_diameter_expect_imsi(imsi); |
| 117 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 118 | while (true) { |
| 119 | alt { |
| 120 | [] DIAMETER_CLIENT.receive(PDU_DIAMETER:?) -> value msg { |
| 121 | DIAMETER.send(msg); |
| 122 | } |
| 123 | [] DIAMETER.receive(PDU_DIAMETER:?) -> value msg { |
| 124 | DIAMETER_CLIENT.send(msg); |
| 125 | } |
| 126 | [] DIAMETER_PROC_CLIENT.getcall(DIAMETEREM_register_eteid:{?,?}) -> param(ete_id, vc_conn_unused) { |
| 127 | DIAMETER_PROC.call(DIAMETEREM_register_eteid:{ete_id, self}) { |
| 128 | [] DIAMETER_PROC.getreply(DIAMETEREM_register_eteid:{?,?}) {}; |
| 129 | } |
| 130 | DIAMETER_PROC_CLIENT.reply(DIAMETEREM_register_eteid:{ete_id, vc_conn_unused}); |
| 131 | } |
| 132 | } |
| 133 | } |
| 134 | } |
| 135 | |
| 136 | type component EPDG_ConnHdlr extends DIAMETER_ConnHdlr, GSUP_ConnHdlr, GTP2_ConnHdlr { |
| 137 | var EPDG_ConnHdlrPars g_pars; |
| 138 | |
| 139 | port DIAMETER_Conn_PT SWx; |
| 140 | port DIAMETEREM_PROC_PT SWx_PROC; |
| 141 | port DIAMETER_Conn_PT S6b; |
| 142 | port DIAMETEREM_PROC_PT S6b_PROC; |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 143 | port Coord_PT COORD; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 144 | }; |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 145 | type record of EPDG_ConnHdlr EPDG_ConnHdlrList; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 146 | |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 147 | type record BearerConfig { |
| 148 | /* EPS Bearer ID */ |
| 149 | uint4_t ebi optional, |
| 150 | /* TEI (Data) local side */ |
| 151 | OCT4 teid_local optional, |
| 152 | /* TEI (Data) remote side */ |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 153 | OCT4 teid_remote optional, |
| 154 | /* GTP-U address of the peer (ePDG) */ |
| 155 | charstring gtpu_addr_remote optional |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 156 | }; |
| 157 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 158 | type record EPDG_ConnHdlrPars { |
| 159 | hexstring imsi, |
Pau Espin Pedrol | 2c2e187 | 2023-10-23 18:31:03 +0200 | [diff] [blame] | 160 | charstring apn, |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 161 | charstring ue_ip, |
| 162 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 163 | /* TEI (Control) local side */ |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 164 | OCT4 teic_local, |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 165 | /* TEI (Control) remote side */ |
| 166 | OCT4 teic_remote optional, |
| 167 | |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 168 | BearerConfig bearer optional, |
| 169 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 170 | AuthVector vec optional |
| 171 | }; |
| 172 | |
| 173 | private function f_epdg_connhldr_SWx_expect_eteid(UINT32 ete_id) runs on EPDG_ConnHdlr { |
| 174 | SWx_PROC.call(DIAMETEREM_register_eteid:{ete_id, null}) { |
| 175 | [] SWx_PROC.getreply(DIAMETEREM_register_eteid:{?,?}) {}; |
| 176 | } |
| 177 | } |
| 178 | private function f_epdg_connhldr_S6b_expect_eteid(UINT32 ete_id) runs on EPDG_ConnHdlr { |
| 179 | S6b_PROC.call(DIAMETEREM_register_eteid:{ete_id, null}) { |
| 180 | [] S6b_PROC.getreply(DIAMETEREM_register_eteid:{?,?}) {}; |
| 181 | } |
| 182 | } |
| 183 | |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 184 | private function f_gen_addr_in_pool(integer idx := 0) return charstring |
| 185 | { |
| 186 | /* Skip first 2 addresses reserved for TUN */ |
| 187 | var integer internal_idx := idx + 2; |
| 188 | var integer suffix := internal_idx rem (256*256); |
| 189 | var integer C := suffix / 256; |
| 190 | var integer D := suffix rem 256; |
| 191 | return "192.168." & int2str(C) & "." & int2str(D); |
| 192 | } |
| 193 | |
| 194 | private function f_init_pars(integer idx := 0) |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 195 | runs on MTC_CT return EPDG_ConnHdlrPars { |
| 196 | var EPDG_ConnHdlrPars pars := { |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 197 | imsi := f_rnd_imsi('26242'H), |
Pau Espin Pedrol | 2c2e187 | 2023-10-23 18:31:03 +0200 | [diff] [blame] | 198 | apn := "internet", |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 199 | ue_ip := f_gen_addr_in_pool(idx), |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 200 | teic_local := '00000000'O, |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 201 | teic_remote := omit, |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 202 | bearer := { |
| 203 | ebi := omit, |
| 204 | teid_local := omit, |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 205 | teid_remote := omit, |
| 206 | gtpu_addr_remote := omit |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 207 | }, |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 208 | vec := f_gen_auth_vec_3g() |
| 209 | }; |
| 210 | return pars; |
| 211 | } |
| 212 | |
| 213 | private function f_init_gsup(charstring id) runs on MTC_CT { |
| 214 | id := id & "-GSUP"; |
| 215 | var GsupOps ops := { |
| 216 | create_cb := refers(GSUP_Emulation.ExpectedCreateCallback) |
| 217 | }; |
| 218 | |
| 219 | vc_GSUP_IPA := IPA_Emulation_CT.create(id & "-IPA"); |
| 220 | vc_GSUP := GSUP_Emulation_CT.create(id); |
| 221 | |
| 222 | map(vc_GSUP_IPA:IPA_PORT, system:IPA_CODEC_PT); |
| 223 | connect(vc_GSUP:GSUP, vc_GSUP_IPA:IPA_GSUP_PORT); |
| 224 | /* we use this hack to get events like ASP_IPA_EVENT_UP */ |
| 225 | connect(vc_GSUP_IPA:IPA_CTRL_PORT, self:GSUP_IPA_EVENT); |
| 226 | |
| 227 | vc_GSUP.start(GSUP_Emulation.main(ops, id)); |
| 228 | vc_GSUP_IPA.start(IPA_Emulation.main_client(mp_gsup_remote_ip, mp_gsup_remote_port, |
| 229 | mp_gsup_local_ip, mp_gsup_local_port)); |
| 230 | |
| 231 | /* wait for incoming connection to GSUP port before proceeding */ |
| 232 | timer T := 10.0; |
| 233 | T.start; |
| 234 | alt { |
| 235 | [] GSUP_IPA_EVENT.receive(tr_ASP_IPA_EV(ASP_IPA_EVENT_UP)) { } |
| 236 | [] T.timeout { |
| 237 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "No connection to GSUP Port"); |
| 238 | } |
| 239 | } |
| 240 | } |
| 241 | |
| 242 | private function DiameterForwardUnitdataCallback(PDU_DIAMETER msg) |
| 243 | runs on DIAMETER_Emulation_CT return template PDU_DIAMETER { |
| 244 | DIAMETER_UNIT.send(msg); |
| 245 | return omit; |
| 246 | } |
| 247 | |
| 248 | private function f_init_diameter(charstring id) runs on MTC_CT { |
| 249 | var DIAMETEROps ops := { |
| 250 | create_cb := refers(DIAMETER_Emulation.ExpectedCreateCallback), |
| 251 | unitdata_cb := refers(DiameterForwardUnitdataCallback), |
| 252 | raw := false /* handler mode (IMSI based routing) */ |
| 253 | }; |
| 254 | var DIAMETER_conn_parameters pars; |
| 255 | |
| 256 | /* SWx setup: */ |
| 257 | pars := { |
| 258 | remote_ip := "", |
| 259 | remote_sctp_port := -1, /* server mode */ |
| 260 | local_ip := mp_swx_local_ip, |
| 261 | local_sctp_port := mp_swx_local_port, |
| 262 | origin_host := "hss." & mp_diam_realm, |
| 263 | origin_realm := mp_diam_realm, |
| 264 | auth_app_id := omit, |
| 265 | vendor_app_id := c_DIAMETER_3GPP_SWx_AID |
| 266 | }; |
| 267 | vc_SWx := DIAMETER_Emulation_CT.create(id); |
| 268 | map(vc_SWx:DIAMETER, system:DIAMETER_CODEC_PT); |
| 269 | connect(vc_SWx:DIAMETER_UNIT, self:SWx_UNIT); |
| 270 | connect(vc_SWx:DIAMETER_PROC, self:SWx_PROC); |
| 271 | vc_SWx.start(DIAMETER_Emulation.main(ops, pars, id)); |
| 272 | |
| 273 | /* S6b setup: */ |
| 274 | pars := { |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 275 | remote_ip := mp_s6b_remote_ip, |
| 276 | remote_sctp_port := mp_s6b_remote_port, /* client mode */ |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 277 | local_ip := mp_s6b_local_ip, |
| 278 | local_sctp_port := mp_s6b_local_port, |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 279 | origin_host := "pgw." & mp_diam_realm, |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 280 | origin_realm := mp_diam_realm, |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 281 | auth_app_id := c_DIAMETER_3GPP_S6b_AID, |
| 282 | vendor_app_id := c_DIAMETER_3GPP_S6b_AID |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 283 | }; |
| 284 | vc_S6b := DIAMETER_Emulation_CT.create(id); |
| 285 | map(vc_S6b:DIAMETER, system:DIAMETER_CODEC_PT); |
| 286 | connect(vc_S6b:DIAMETER_UNIT, self:S6b_UNIT); |
| 287 | connect(vc_S6b:DIAMETER_PROC, self:S6b_PROC); |
| 288 | vc_S6b.start(DIAMETER_Emulation.main(ops, pars, id)); |
| 289 | |
| 290 | f_diameter_wait_capability(SWx_UNIT); |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 291 | f_diameter_wait_capability(S6b_UNIT); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 292 | |
| 293 | /* Give some time for our emulation to get out of SUSPECT list of SUT (3 watchdog ping-pongs): |
| 294 | * RFC6733 sec 5.1 |
| 295 | * RFC3539 sec 3.4.1 [5] |
| 296 | * https://github.com/freeDiameter/freeDiameter/blob/master/libfdcore/p_psm.c#L49 |
| 297 | */ |
Pau Espin Pedrol | c13a4cd | 2024-01-16 17:28:25 +0100 | [diff] [blame] | 298 | f_sleep(int2float(mp_diam_watchdog_initial_wait_sec)); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 299 | } |
| 300 | |
| 301 | private function f_init_gtp(charstring id) runs on MTC_CT { |
| 302 | var Gtp2EmulationCfg cfg := { |
| 303 | gtpc_bind_ip := mp_s2b_local_ip, |
| 304 | gtpc_bind_port := mp_s2b_local_port, |
| 305 | gtpc_remote_ip := mp_s2b_remote_ip, |
| 306 | gtpc_remote_port := mp_s2b_remote_port, |
Pau Espin Pedrol | 65a7f76 | 2024-02-29 21:07:58 +0100 | [diff] [blame] | 307 | gtpu_bind_ip := mp_upf_gtpu_local_ip, |
| 308 | gtpu_bind_port := GTP1U_PORT, |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 309 | sgw_role := false, |
| 310 | use_gtpu_daemon := false /* TODO: maybe use, set to true */ |
| 311 | }; |
| 312 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 313 | vc_GTP2 := GTPv2_Emulation_CT.create(id & "-GTPV2"); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 314 | map(vc_GTP2:GTP2C, system:GTP2C); |
| 315 | connect(vc_GTP2:TEID0, self:TEID0); |
| 316 | vc_GTP2.start(GTPv2_Emulation.main(cfg)); |
| 317 | } |
| 318 | |
| 319 | private function f_init(float t_guard := 40.0) runs on MTC_CT { |
| 320 | |
| 321 | g_Tguard.start(t_guard); |
| 322 | activate(as_Tguard()); |
| 323 | |
| 324 | f_init_gsup(testcasename()); |
| 325 | f_init_diameter(testcasename()); |
| 326 | f_init_gtp(testcasename()); |
| 327 | } |
| 328 | |
| 329 | private type function void_fn(charstring id) runs on EPDG_ConnHdlr; |
| 330 | |
| 331 | private function f_init_handler(void_fn fn, charstring id, EPDG_ConnHdlrPars pars) runs on EPDG_ConnHdlr { |
| 332 | g_pars := pars; |
| 333 | |
| 334 | /* tell GSUP dispatcher to send this IMSI to us */ |
| 335 | f_create_gsup_expect(hex2str(g_pars.imsi)); |
| 336 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 337 | /* tell GTPv2 dispatcher to send this IMSI to us */ |
| 338 | f_gtp2_register_imsi(g_pars.imsi); |
| 339 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 340 | fn.apply(id); |
| 341 | } |
| 342 | |
| 343 | private function f_start_handler(void_fn fn, EPDG_ConnHdlrPars pars) |
| 344 | runs on MTC_CT return EPDG_ConnHdlr { |
| 345 | var EPDG_ConnHdlr vc_conn; |
| 346 | var charstring id := testcasename(); |
| 347 | var DIAMETER_ConnHdlr_CT vc_conn_swx, vc_conn_s6b; |
| 348 | |
| 349 | vc_conn := EPDG_ConnHdlr.create(id); |
| 350 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 351 | /* GSUP */ |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 352 | connect(vc_conn:GSUP, vc_GSUP:GSUP_CLIENT); |
| 353 | connect(vc_conn:GSUP_PROC, vc_GSUP:GSUP_PROC); |
| 354 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 355 | /* GTP2 */ |
| 356 | connect(vc_conn:GTP2, vc_GTP2:CLIENT); |
| 357 | connect(vc_conn:GTP2_PROC, vc_GTP2:CLIENT_PROC); |
| 358 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 359 | /* SWx */ |
| 360 | vc_conn_swx := DIAMETER_ConnHdlr_CT.create(id); |
| 361 | connect(vc_conn_swx:DIAMETER, vc_SWx:DIAMETER_CLIENT); |
| 362 | connect(vc_conn_swx:DIAMETER_PROC, vc_SWx:DIAMETER_PROC); |
| 363 | connect(vc_conn:SWx, vc_conn_swx:DIAMETER_CLIENT); |
| 364 | connect(vc_conn:SWx_PROC, vc_conn_swx:DIAMETER_PROC_CLIENT); |
| 365 | vc_conn_swx.start(f_diam_connhldr_ct_main(pars.imsi)); |
| 366 | |
| 367 | /* S6b */ |
| 368 | vc_conn_s6b := DIAMETER_ConnHdlr_CT.create(id); |
| 369 | connect(vc_conn_s6b:DIAMETER, vc_S6b:DIAMETER_CLIENT); |
| 370 | connect(vc_conn_s6b:DIAMETER_PROC, vc_S6b:DIAMETER_PROC); |
| 371 | connect(vc_conn:S6b, vc_conn_s6b:DIAMETER_CLIENT); |
| 372 | connect(vc_conn:S6b_PROC, vc_conn_s6b:DIAMETER_PROC_CLIENT); |
| 373 | vc_conn_s6b.start(f_diam_connhldr_ct_main(pars.imsi)); |
| 374 | |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 375 | /* COORD */ |
| 376 | connect(vc_conn:COORD, self:COORD); |
| 377 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 378 | vc_conn.start(f_init_handler(fn, id, pars)); |
| 379 | return vc_conn; |
| 380 | } |
| 381 | |
Pau Espin Pedrol | 8586b26 | 2024-02-09 18:12:21 +0100 | [diff] [blame] | 382 | private function f_nai() runs on EPDG_ConnHdlr return charstring { |
| 383 | return hex2str(g_pars.imsi) & "@" & mp_s6b_nai_realm; |
| 384 | } |
| 385 | |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 386 | private function f_DIA_SWx_tx_MAA_success(PDU_DIAMETER rx_mar) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 387 | var template (omit) AVP avp; |
| 388 | var octetstring sess_id; |
| 389 | var template (value) GenericAVP sip_auth_data_item; |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 390 | |
| 391 | avp := f_DIAMETER_get_avp(rx_mar, c_AVP_Code_BASE_NONE_Session_Id); |
| 392 | sess_id := valueof(avp.avp_data.avp_BASE_NONE_Session_Id); |
| 393 | sip_auth_data_item := ts_AVP_3GPP_SIPAuthDataItem(0, |
| 394 | g_pars.vec.rand, |
| 395 | g_pars.vec.ik, |
| 396 | g_pars.vec.ck, |
| 397 | g_pars.vec.autn, |
| 398 | g_pars.vec.auts); |
| 399 | /* Send MAA to translator; expect it to show up on GSUP side */ |
| 400 | SWx.send(ts_DIA_SWx_MAA(g_pars.imsi, sip_auth_data_item, |
| 401 | sess_id := sess_id, |
| 402 | hbh_id := rx_mar.hop_by_hop_id, |
| 403 | ete_id := rx_mar.end_to_end_id)); |
| 404 | } |
| 405 | |
| 406 | private function f_DIA_SWx_tx_MAA_error(PDU_DIAMETER rx_mar, template (value) GenericAVP result) runs on EPDG_ConnHdlr { |
| 407 | var template (omit) AVP avp; |
| 408 | var octetstring sess_id; |
| 409 | var template (value) GenericAVP sip_auth_data_item; |
| 410 | |
| 411 | avp := f_DIAMETER_get_avp(rx_mar, c_AVP_Code_BASE_NONE_Session_Id); |
| 412 | sess_id := valueof(avp.avp_data.avp_BASE_NONE_Session_Id); |
| 413 | sip_auth_data_item := ts_AVP_3GPP_SIPAuthDataItem(0, |
| 414 | g_pars.vec.rand, |
| 415 | g_pars.vec.ik, |
| 416 | g_pars.vec.ck, |
| 417 | g_pars.vec.autn, |
| 418 | g_pars.vec.auts); |
| 419 | SWx.send(ts_DIA_SWx_MAA_result(g_pars.imsi, result, |
| 420 | sess_id := sess_id, |
| 421 | hbh_id := rx_mar.hop_by_hop_id, |
| 422 | ete_id := rx_mar.end_to_end_id)); |
| 423 | } |
| 424 | |
| 425 | /* Diameter SWx MAR + MAA. */ |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 426 | private altstep as_DIA_SWx_MA_success(boolean exp_req_resync := false) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 427 | var PDU_DIAMETER rx_dia; |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 428 | [] SWx.receive(tr_DIA_SWx_MAR(g_pars.imsi)) -> value rx_dia { |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 429 | if (exp_req_resync) { |
| 430 | var octetstring rand_autn_concatenated := g_pars.vec.rand & g_pars.vec.auts; |
| 431 | var AVP avp_grp; |
| 432 | var GenericAVP sip_auth_avp; |
| 433 | |
| 434 | avp_grp := f_DIAMETER_get_avp_or_fail(rx_dia, c_AVP_Code_CxDx_3GPP_SIP_Auth_Data_Item); |
| 435 | sip_auth_avp.avp := f_AVP_Grouped_get_avp_or_fail(avp_grp.avp_data.avp_CxDx_3GPP_SIP_Auth_Data_Item, |
| 436 | c_AVP_Code_CxDx_3GPP_SIP_Authorization); |
| 437 | |
| 438 | if (not match(sip_auth_avp, tr_AVP_3GPP_SIPAuthorization(rand_autn_concatenated))) { |
| 439 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, |
| 440 | log2str("Unexpected Diameter AVP SIP-Authorization: ", sip_auth_avp, |
| 441 | " vs exp ", tr_AVP_3GPP_SIPAuthorization(rand_autn_concatenated))); |
| 442 | } |
| 443 | } |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 444 | f_DIA_SWx_tx_MAA_success(rx_dia); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 445 | setverdict(pass); |
| 446 | } |
| 447 | [] SWx.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 448 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter msg rx: ", rx_dia)); |
| 449 | } |
| 450 | } |
| 451 | |
| 452 | /* Diameter SWx SAR + SAA. */ |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 453 | private altstep as_DIA_SWx_SA_success(template (present) CxDx_3GPP_Server_Assignment_Type server_ass_type := ?) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 454 | var PDU_DIAMETER rx_dia; |
| 455 | var template (omit) AVP avp; |
| 456 | var octetstring sess_id; |
| 457 | [] SWx.receive(tr_DIA_SWx_SAR(g_pars.imsi)) -> value rx_dia { |
| 458 | avp := f_DIAMETER_get_avp(rx_dia, c_AVP_Code_BASE_NONE_Session_Id); |
| 459 | sess_id := valueof(avp.avp_data.avp_BASE_NONE_Session_Id); |
| 460 | /* Send SAA to translator; expect it to show up on GSUP side */ |
| 461 | SWx.send(ts_DIA_SWx_SAA(g_pars.imsi, |
Pau Espin Pedrol | 9b2ebc0 | 2024-03-05 13:25:19 +0100 | [diff] [blame] | 462 | IPv4, |
| 463 | g_pars.apn, |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 464 | sess_id := sess_id, |
| 465 | hbh_id := rx_dia.hop_by_hop_id, |
| 466 | ete_id := rx_dia.end_to_end_id)); |
| 467 | setverdict(pass); |
| 468 | } |
| 469 | [] SWx.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 470 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter msg rx: ", rx_dia)); |
| 471 | } |
| 472 | } |
| 473 | |
Pau Espin Pedrol | 93cbc99 | 2024-03-14 18:25:32 +0100 | [diff] [blame] | 474 | /* Send PPR as HSS to AAA server, expect back PPA */ |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 475 | private function f_DIA_SWx_PP(template (present) GenericAVP exp_result_tmpl := tr_AVP_ResultCode(DIAMETER_SUCCESS), |
| 476 | boolean exp_aaa_proc := true) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 93cbc99 | 2024-03-14 18:25:32 +0100 | [diff] [blame] | 477 | var PDU_DIAMETER rx_dia; |
| 478 | var UINT32 hbh_id := f_rnd_octstring(4); |
| 479 | var UINT32 ete_id := f_rnd_octstring(4); |
| 480 | var octetstring reason_info := char2oct("test"); |
| 481 | |
| 482 | /* Unlike PPR, PPA contains no IMSI. Register ete_id in DIAMETER_Emulation, |
| 483 | * so PPA is forwarded back to us in DIAMETER port instead of MTC_CT.DIAMETER_UNIT. |
| 484 | */ |
| 485 | f_epdg_connhldr_SWx_expect_eteid(ete_id); |
| 486 | |
| 487 | SWx.send(ts_DIA_SWx_PPR(g_pars.imsi, |
| 488 | IPv4, |
| 489 | g_pars.apn, |
| 490 | hbh_id := hbh_id, |
| 491 | ete_id := ete_id)); |
| 492 | |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 493 | if (exp_aaa_proc) { |
| 494 | /* TODO: in successful case, we want to validate how this procedure extends to other interfaces: |
| 495 | * """ 3GPP TS 29.273 8.1.2.3.3: |
| 496 | * After a successful user profile download, the 3GPP AAA Server shall |
| 497 | * initiate re-authentication procedure as described |
| 498 | * in clause 7.2.2.4 if the subscriber has previously been authenticated |
| 499 | * and authorized to untrusted non-3GPP access. |
| 500 | * """ |
| 501 | */ |
| 502 | /* TS 29.273 9.1.2.5.1: |
| 503 | * "The Service Authorization Information Update procedure is performed in two steps": |
| 504 | * step 1: */ |
| 505 | as_DIA_S6b_RA_success(); |
| 506 | /* step 2 */ |
| 507 | /* Since PGW Address didn't change, expect no SAR+SAA triggered as a consequence to AAR+AAA. */ |
| 508 | f_S6b_AA_success(exp_swx_sa_proc := false); |
| 509 | } |
| 510 | |
Pau Espin Pedrol | 93cbc99 | 2024-03-14 18:25:32 +0100 | [diff] [blame] | 511 | alt { |
| 512 | [] SWx.receive(tr_DIA_SWx_PPA(exp_result_tmpl, hbh_id := hbh_id, ete_id := ete_id)) -> value rx_dia {} |
| 513 | [] SWx.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 514 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter SWx msg rx: ", rx_dia)); |
| 515 | } |
| 516 | } |
| 517 | } |
| 518 | |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 519 | /* Send RTR as HSS to AAA server, expect back RTA */ |
| 520 | private function f_DIA_SWx_RT(template (value) CxDx_3GPP_Reason_Code reason_code, |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 521 | template (present) GenericAVP exp_result_tmpl := tr_AVP_ResultCode(DIAMETER_SUCCESS), |
| 522 | boolean exp_aaa_proc := true) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 523 | var PDU_DIAMETER rx_dia; |
| 524 | var UINT32 hbh_id := f_rnd_octstring(4); |
| 525 | var UINT32 ete_id := f_rnd_octstring(4); |
| 526 | var octetstring reason_info := char2oct("test"); |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 527 | var CxDx_3GPP_Reason_Code reason_code_permanent_termination := PERMANENT_TERMINATION; |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 528 | |
| 529 | /* Unlike STR, STA contains no IMSI. Register ete_id in DIAMETER_Emulation, |
| 530 | * so AIA is forwarded back to us in DIAMETER port instead of MTC_CT.DIAMETER_UNIT. |
| 531 | */ |
| 532 | f_epdg_connhldr_SWx_expect_eteid(ete_id); |
| 533 | |
| 534 | SWx.send(ts_DIA_SWx_RTR(g_pars.imsi, reason_code, reason_info, |
| 535 | hbh_id := hbh_id, |
| 536 | ete_id := ete_id)); |
| 537 | |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 538 | if (match(reason_code_permanent_termination, reason_code) and exp_aaa_proc) { |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 539 | /* Expect Abort-Session procedure (ASR + ASA) in the S6b interface: */ |
| 540 | as_DIA_S6b_AS_success(); |
| 541 | /* Here AAA-Server starts an ASR + ASA procedure towards ePDG, which forwards it to strongswan: */ |
| 542 | as_GSUP_rx_CL_REQ(OSMO_GSUP_CANCEL_TYPE_WITHDRAW); |
| 543 | f_GSUP_tx_CL_RES(); |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 544 | /* No need to so STR+STA, since the session was already aborted above during ASR+ASA: */ |
| 545 | as_GTP2C_DeleteSession_success(do_s6b_st_proc := false); |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 546 | } |
| 547 | |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 548 | alt { |
| 549 | [] SWx.receive(tr_DIA_SWx_RTA(exp_result_tmpl, hbh_id := hbh_id, ete_id := ete_id)) -> value rx_dia {} |
| 550 | [] SWx.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 551 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter SWx msg rx: ", rx_dia)); |
| 552 | } |
| 553 | } |
| 554 | } |
| 555 | |
| 556 | |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 557 | /* Send AAR as PGW to AAA server, expect back AAA */ |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 558 | private function f_S6b_AA_success(boolean exp_swx_sa_proc := true) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 559 | var PDU_DIAMETER rx_dia; |
| 560 | var UINT32 hbh_id := f_rnd_octstring(4); |
| 561 | var UINT32 ete_id := f_rnd_octstring(4); |
Pau Espin Pedrol | 009ab6f | 2024-03-05 13:25:19 +0100 | [diff] [blame] | 562 | var template (value) MIPv4_NONE_MIP_Home_Agent_Address pgw_addr; |
| 563 | |
| 564 | pgw_addr := ts_AVP_Home_Agent_Address(IP, f_inet_addr(mp_s2b_local_ip)); |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 565 | |
| 566 | /* Unlike AAR, AAA contains no IMSI. Register ete_id in DIAMETER_Emulation, |
| 567 | * so AIA is forwarded back to us in DIAMETER port instead of MTC_CT.DIAMETER_UNIT. |
| 568 | */ |
| 569 | f_epdg_connhldr_S6b_expect_eteid(ete_id); |
| 570 | |
Pau Espin Pedrol | 8586b26 | 2024-02-09 18:12:21 +0100 | [diff] [blame] | 571 | S6b.send(ts_DIA_S6b_AAR(f_nai(), |
Pau Espin Pedrol | 2c2e187 | 2023-10-23 18:31:03 +0200 | [diff] [blame] | 572 | int2oct(DIA_TS29_373_MIP6_Feature_Vector_GTPv2_SUPPORTED, 8), |
Pau Espin Pedrol | 009ab6f | 2024-03-05 13:25:19 +0100 | [diff] [blame] | 573 | g_pars.apn, |
| 574 | pgw_addr, |
| 575 | hbh_id := hbh_id, ete_id := ete_id)); |
Pau Espin Pedrol | c119ba0 | 2024-01-29 11:55:39 +0100 | [diff] [blame] | 576 | |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 577 | if (exp_swx_sa_proc) { |
| 578 | /* AAR in S6b in AAA-Server triggers Service-Assignment Request/Answer towards HSS: */ |
| 579 | as_DIA_SWx_SA_success(); |
| 580 | } |
Pau Espin Pedrol | c119ba0 | 2024-01-29 11:55:39 +0100 | [diff] [blame] | 581 | |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 582 | alt { |
| 583 | [] S6b.receive(tr_DIA_S6b_AAA) -> value rx_dia {} |
| 584 | [] S6b.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 585 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter S6b msg rx: ", rx_dia)); |
| 586 | } |
| 587 | } |
| 588 | } |
| 589 | |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 590 | /* Send STR as PGW to AAA server, expect back STA */ |
| 591 | private function f_S6b_ST_success() runs on EPDG_ConnHdlr { |
| 592 | var PDU_DIAMETER rx_dia; |
| 593 | var UINT32 hbh_id := f_rnd_octstring(4); |
| 594 | var UINT32 ete_id := f_rnd_octstring(4); |
| 595 | |
| 596 | /* Unlike STR, STA contains no IMSI. Register ete_id in DIAMETER_Emulation, |
| 597 | * so AIA is forwarded back to us in DIAMETER port instead of MTC_CT.DIAMETER_UNIT. |
| 598 | */ |
| 599 | f_epdg_connhldr_S6b_expect_eteid(ete_id); |
| 600 | |
| 601 | S6b.send(ts_DIA_S6b_STR(g_pars.imsi, DIAMETER_LOGOUT, |
| 602 | hbh_id := hbh_id, ete_id := ete_id)); |
| 603 | alt { |
| 604 | [] S6b.receive(tr_DIA_S6b_STA(DIAMETER_SUCCESS)) -> value rx_dia {} |
| 605 | [] S6b.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 606 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter S6b msg rx: ", rx_dia)); |
| 607 | } |
| 608 | } |
| 609 | } |
| 610 | |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 611 | /* Diameter S6b RAR + RAA, TS 29.273 9.1.2.5. */ |
| 612 | private altstep as_DIA_S6b_RA_success() runs on EPDG_ConnHdlr { |
| 613 | var PDU_DIAMETER rx_dia; |
| 614 | var template (omit) AVP avp; |
| 615 | var octetstring sess_id; |
| 616 | [] S6b.receive(tr_DIA_S6b_RAR(f_nai())) -> value rx_dia { |
| 617 | avp := f_DIAMETER_get_avp(rx_dia, c_AVP_Code_BASE_NONE_Session_Id); |
| 618 | sess_id := valueof(avp.avp_data.avp_BASE_NONE_Session_Id); |
| 619 | S6b.send(ts_DIA_S6b_RAA(DIAMETER_SUCCESS, |
| 620 | sess_id := sess_id, |
| 621 | hbh_id := rx_dia.hop_by_hop_id, |
| 622 | ete_id := rx_dia.end_to_end_id)); |
| 623 | setverdict(pass); |
| 624 | } |
| 625 | [] S6b.receive(PDU_DIAMETER:?) -> value rx_dia { |
| 626 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter S6b msg rx: ", rx_dia)); |
| 627 | } |
| 628 | } |
| 629 | |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 630 | /* Diameter S6b ASR + ASA, TS 29.273 9.1.2.3.4. */ |
| 631 | private altstep as_DIA_S6b_AS_success() runs on EPDG_ConnHdlr { |
| 632 | var PDU_DIAMETER rx_dia; |
| 633 | var template (omit) AVP avp; |
| 634 | var octetstring sess_id; |
| 635 | [] S6b.receive(tr_DIA_S6b_ASR(f_nai())) -> value rx_dia { |
| 636 | avp := f_DIAMETER_get_avp(rx_dia, c_AVP_Code_BASE_NONE_Session_Id); |
| 637 | sess_id := valueof(avp.avp_data.avp_BASE_NONE_Session_Id); |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 638 | S6b.send(ts_DIA_S6b_ASA(DIAMETER_SUCCESS, |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 639 | sess_id := sess_id, |
| 640 | hbh_id := rx_dia.hop_by_hop_id, |
| 641 | ete_id := rx_dia.end_to_end_id)); |
| 642 | setverdict(pass); |
| 643 | } |
| 644 | [] S6b.receive(PDU_DIAMETER:?) -> value rx_dia { |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 645 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected Diameter S6b msg rx: ", rx_dia)); |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 646 | } |
| 647 | } |
| 648 | |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 649 | private function f_exp_tr_GTP2C_APCO_in_CreateSessionReq() |
| 650 | runs on EPDG_ConnHdlr return template (present) APCO { |
| 651 | var template ProtocolIDs_and_ContainerIDs protos, protosV4, protosV6, protosV46; |
| 652 | protosV4 := {tr_GTP2C_PCO_P_DNS_IPv4(''O), tr_GTP2C_PCO_P_PCSCF_IPv4(''O)}; |
| 653 | protosV6 := {tr_GTP2C_PCO_P_DNS_IPv6(''O), tr_GTP2C_PCO_P_PCSCF_IPv6(''O)}; |
| 654 | protosV46 := {tr_GTP2C_PCO_P_DNS_IPv4(''O), tr_GTP2C_PCO_P_PCSCF_IPv4(''O), |
| 655 | tr_GTP2C_PCO_P_DNS_IPv6(''O), tr_GTP2C_PCO_P_PCSCF_IPv6(''O)} |
| 656 | /* TODO: pick proto based on req_type v4, v6 or v4v6 */ |
| 657 | protos := protosV4; |
| 658 | return tr_GTP2C_APCO('0000'B, protos); |
| 659 | } |
| 660 | |
| 661 | private function f_GTPv2C_gen_APCO_response(APCO apco_req) runs on EPDG_ConnHdlr return template (value) APCO { |
| 662 | var ProtocolIDs_and_ContainerIDs proto_list_resp := {}; |
| 663 | |
| 664 | for (var integer i := 0; i < lengthof(apco_req.protocolIDs_and_ContainerIDs); i := i + 1) { |
| 665 | var ProtocolID_or_ContainerID proto_req := apco_req.protocolIDs_and_ContainerIDs[i]; |
| 666 | select (proto_req.protocolID_or_ContainerID) { |
| 667 | case (PCO_P_to_OCT2(PCO_P_DNS_IPv4_ADDR)) { |
| 668 | proto_list_resp := proto_list_resp & { valueof(ts_GTP2C_PCO_P_DNS_IPv4(f_inet_addr(mp_s2b_dns_ipv4))) }; |
| 669 | } |
| 670 | case (PCO_P_to_OCT2(PCO_P_DNS_IPv6_ADDR)) { |
| 671 | proto_list_resp := proto_list_resp & { valueof(ts_GTP2C_PCO_P_DNS_IPv6(f_inet_addr(mp_s2b_dns_ipv6))) }; |
| 672 | } |
| 673 | case (PCO_P_to_OCT2(PCO_P_PCSCF_IPv4_ADDR)) { |
| 674 | proto_list_resp := proto_list_resp & { valueof(ts_GTP2C_PCO_P_PCSCF_IPv4(f_inet_addr(mp_s2b_pcscf_ipv4))) }; |
| 675 | } |
| 676 | case (PCO_P_to_OCT2(PCO_P_PCSCF_ADDR)) { |
| 677 | proto_list_resp := proto_list_resp & { valueof(ts_GTP2C_PCO_P_PCSCF_IPv6(f_inet_addr(mp_s2b_pcscf_ipv6))) }; |
| 678 | } |
| 679 | case else { |
| 680 | log("Ignoring unknown PCO Protocol ID: ", proto_req); |
| 681 | } |
| 682 | } |
| 683 | } |
| 684 | |
| 685 | return ts_GTP2C_APCO(apco_req.instance, proto_list_resp); |
| 686 | } |
| 687 | |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 688 | private function f_EPDG_ConnHdlr_parse_CreateSessionReq(PDU_GTPCv2 rx_msg) runs on EPDG_ConnHdlr { |
| 689 | var BearerContextIEs rx_bctx_ies; |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 690 | var FullyQualifiedTEID rx_fteid_gtpu; |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 691 | |
| 692 | /* Parse TEIC and Bearer EBI and TEID and store it in g_pars */ |
| 693 | g_pars.teic_remote := rx_msg.gtpcv2_pdu.createSessionRequest.fullyQualifiedTEID[0].tEID_GRE_Key; |
| 694 | rx_bctx_ies := rx_msg.gtpcv2_pdu.createSessionRequest.bearerContextGrouped[0].bearerContextIEs; |
| 695 | g_pars.bearer.ebi := rx_bctx_ies.ePS_Bearer_ID.ePS_Bearer_ID_Value; |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 696 | |
| 697 | rx_fteid_gtpu := rx_bctx_ies.fullyQualifiedTEID[0]; |
| 698 | g_pars.bearer.teid_remote := rx_fteid_gtpu.tEID_GRE_Key; |
| 699 | if (rx_fteid_gtpu.v4_Flag == '1'B) { |
| 700 | g_pars.bearer.gtpu_addr_remote := f_inet_ntoa(rx_fteid_gtpu.iPv4_Address); |
| 701 | } |
| 702 | /*if (rx_fteid_gtpu.v6_Flag == '1'B) { |
| 703 | g_gtpu6_remote := rx_fteid_gtpu.iPv6_Address; |
| 704 | }*/ |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 705 | |
| 706 | /* allocate + register TEID-C on local side */ |
| 707 | g_pars.teic_local := f_gtp2_allocate_teid(); |
| 708 | g_pars.bearer.teid_local := g_pars.teic_local; |
| 709 | } |
| 710 | |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 711 | /* ePDG Creates session at the PGW. PGW sends Diameter s6b AAR + AAA. */ |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 712 | private altstep as_GTP2C_CreateSession_success() runs on EPDG_ConnHdlr { |
| 713 | var PDU_GTPCv2 rx_msg; |
| 714 | var template (value) FullyQualifiedTEID fteid_c_ie, fteid_u_ie; |
| 715 | var template (value) PDN_AddressAllocation paa; |
Pau Espin Pedrol | 8c74649 | 2023-10-23 20:56:09 +0200 | [diff] [blame] | 716 | var template (value) BearerContextIEs bctx_ies; |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 717 | |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 718 | [] GTP2.receive(tr_GTP2C_CreateSessionReq(g_pars.imsi, apco := f_exp_tr_GTP2C_APCO_in_CreateSessionReq())) -> value rx_msg { |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 719 | f_EPDG_ConnHdlr_parse_CreateSessionReq(rx_msg); |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 720 | |
Pau Espin Pedrol | cdd4162 | 2023-10-23 14:38:20 +0200 | [diff] [blame] | 721 | /* Upon rx of CreateSession, emulate PGW asking the AAA server. */ |
| 722 | f_S6b_AA_success(); |
| 723 | |
Pau Espin Pedrol | 24b0859 | 2024-02-09 18:48:53 +0100 | [diff] [blame] | 724 | fteid_c_ie := ts_GTP2C_FTEID(FTEID_IF_S2b_PGW_GTPC, g_pars.teic_local, 1, |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 725 | f_inet_addr(mp_s2b_local_ip), omit); |
Pau Espin Pedrol | 24b0859 | 2024-02-09 18:48:53 +0100 | [diff] [blame] | 726 | fteid_u_ie := ts_GTP2C_FTEID(FTEID_IF_S2bU_PGW_GTPU, g_pars.bearer.teid_local, 4, |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 727 | f_inet_addr(mp_s2b_local_ip), omit); |
| 728 | paa := ts_GTP2C_PdnAddrAlloc_v4(f_inet_addr(g_pars.ue_ip)); |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 729 | bctx_ies := ts_GTP2C_BcContextIE(ebi := g_pars.bearer.ebi, |
Pau Espin Pedrol | 8c74649 | 2023-10-23 20:56:09 +0200 | [diff] [blame] | 730 | teid_list := { fteid_u_ie }, |
| 731 | qos := ts_GTP2C_BearerQos('09'O, 0,0,0,0), |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 732 | charging_id := ts_GTP2C_ChargingID(g_pars.teic_local)); |
Pau Espin Pedrol | fa2b384 | 2023-12-13 18:49:19 +0100 | [diff] [blame] | 733 | GTP2.send(ts_GTP2C_CreateSessionResp(g_pars.teic_remote, rx_msg.sequenceNumber, |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 734 | Request_accepted, |
Pau Espin Pedrol | fa2b384 | 2023-12-13 18:49:19 +0100 | [diff] [blame] | 735 | { fteid_c_ie }, paa, |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 736 | { ts_GTP2C_BcGrouped(bctx_ies) }, |
| 737 | f_GTPv2C_gen_APCO_response(rx_msg.gtpcv2_pdu.createSessionRequest.aPCO) )); |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 738 | setverdict(pass); |
| 739 | } |
| 740 | [] GTP2.receive(PDU_GTPCv2:?) -> value rx_msg { |
| 741 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GTP2C msg rx: ", rx_msg)); |
| 742 | } |
| 743 | } |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 744 | |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 745 | /* ePDG Creates session at the PGW. PGW sends Diameter s6b AAR + AAA. */ |
| 746 | private altstep as_GTP2C_CreateSession_error(GTP2C_Cause resp_cause, boolean do_s6b_aar := false) runs on EPDG_ConnHdlr { |
| 747 | var PDU_GTPCv2 rx_msg; |
| 748 | var template (value) FullyQualifiedTEID fteid_c_ie, fteid_u_ie; |
| 749 | var template (value) PDN_AddressAllocation paa; |
| 750 | var template (value) BearerContextIEs bctx_ies; |
| 751 | |
| 752 | [] GTP2.receive(tr_GTP2C_CreateSessionReq(g_pars.imsi, apco := f_exp_tr_GTP2C_APCO_in_CreateSessionReq())) -> value rx_msg { |
| 753 | f_EPDG_ConnHdlr_parse_CreateSessionReq(rx_msg); |
| 754 | |
| 755 | /* Upon rx of CreateSession, emulate PGW asking the AAA server. */ |
| 756 | if (do_s6b_aar) { |
| 757 | f_S6b_AA_success(); |
| 758 | } |
| 759 | |
| 760 | fteid_c_ie := ts_GTP2C_FTEID(FTEID_IF_S2b_PGW_GTPC, g_pars.teic_local, 1, |
| 761 | f_inet_addr(mp_s2b_local_ip), omit); |
| 762 | fteid_u_ie := ts_GTP2C_FTEID(FTEID_IF_S2bU_PGW_GTPU, g_pars.bearer.teid_local, 4, |
| 763 | f_inet_addr(mp_s2b_local_ip), omit); |
| 764 | GTP2.send(ts_GTP2C_CreateSessionResp(g_pars.teic_remote, rx_msg.sequenceNumber, |
| 765 | resp_cause)); |
| 766 | setverdict(pass); |
| 767 | } |
| 768 | [] GTP2.receive(PDU_GTPCv2:?) -> value rx_msg { |
| 769 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GTP2C msg rx: ", rx_msg)); |
| 770 | } |
| 771 | } |
| 772 | |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 773 | /* ePDG Deletes session at the PGW. PGW sends Diameter s6b AAR + AAA. */ |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 774 | private altstep as_GTP2C_DeleteSession_success(boolean do_s6b_st_proc := true) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 775 | var PDU_GTPCv2 rx_msg; |
| 776 | var BearerContextIEs rx_bctx_ies; |
| 777 | var template (value) FullyQualifiedTEID fteid_c_ie, fteid_u_ie; |
| 778 | var template (value) PDN_AddressAllocation paa; |
| 779 | var template (value) BearerContextIEs bctx_ies; |
| 780 | |
| 781 | [] GTP2.receive(tr_GTP2C_DeleteSessionReq(g_pars.teic_local)) -> value rx_msg { |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 782 | if (do_s6b_st_proc) { |
| 783 | /* Upon rx of DeleteSession, emulate PGW requesting the AAA server for Sesssion Termination. */ |
| 784 | f_S6b_ST_success(); |
| 785 | } |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 786 | |
| 787 | GTP2.send(ts_GTP2C_DeleteSessionResp(g_pars.teic_remote, |
| 788 | rx_msg.sequenceNumber, |
| 789 | Request_accepted)); |
| 790 | setverdict(pass); |
| 791 | } |
| 792 | [] GTP2.receive(PDU_GTPCv2:?) -> value rx_msg { |
| 793 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GTP2C msg rx: ", rx_msg)); |
| 794 | } |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 795 | } |
| 796 | |
Pau Espin Pedrol | 14abac5 | 2024-02-05 21:05:17 +0100 | [diff] [blame] | 797 | /* Expect CreateBearerResponse */ |
| 798 | private altstep as_GTP2C_CreateBearer_success() runs on EPDG_ConnHdlr { |
| 799 | var PDU_GTPCv2 rx_msg; |
| 800 | |
| 801 | [] GTP2.receive(tr_GTP2C_CreateBearerResp(g_pars.teic_local)) -> value rx_msg { |
| 802 | setverdict(pass); |
| 803 | } |
| 804 | [] GTP2.receive(PDU_GTPCv2:?) -> value rx_msg { |
| 805 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GTP2C msg rx: ", rx_msg)); |
| 806 | } |
| 807 | } |
| 808 | private function f_GTP2C_CreateBearer_success(uint4_t dedicated_bearer_id := 6) runs on EPDG_ConnHdlr { |
| 809 | |
| 810 | var template (value) FullyQualifiedTEID fteid_u_ie := ts_GTP2C_FTEID(FTEID_IF_S2bU_ePDG_GTPU, g_pars.bearer.teid_local, dedicated_bearer_id, |
| 811 | f_inet_addr(mp_s2b_local_ip), omit); |
| 812 | var template (value) FullyQualifiedTEID_List teid_list := { fteid_u_ie }; |
| 813 | |
| 814 | var template (value) FullyQualifiedPDN_ConnectionSetID pgw_fq_csid := ts_GTP2C_FQCSID_IPv4(f_inet_addr(mp_s2b_local_ip), int2oct(dedicated_bearer_id, 2)); |
| 815 | var template (value) FullyQualifiedPDN_ConnectionSetID_List csid_list := { pgw_fq_csid }; |
| 816 | |
| 817 | var template (value) BearerContextGrouped_List bcg_list := { |
| 818 | ts_GTP2C_BcGrouped({ |
| 819 | ePS_Bearer_ID := ts_GTP2C_EpsBearerId(dedicated_bearer_id), |
| 820 | cause := omit, |
| 821 | ePS_Bearer_TFT := omit, |
| 822 | fullyQualifiedTEID := teid_list, |
| 823 | bearerLevel_QoS := ts_GTP2C_BearerQos('09'O, 0,0,0,0), |
| 824 | chargingID := ts_GTP2C_ChargingID(f_rnd_octstring(4)), |
| 825 | bearerFlags := omit, |
| 826 | transactionIdentifier := omit, |
| 827 | protocolConfigOptions := omit, |
| 828 | rAN_NASCause := omit, |
| 829 | additionalProtocolConfigOptions := omit, |
| 830 | extendedProtocolConfigOptions := omit |
| 831 | }) |
| 832 | }; |
| 833 | GTP2.send(ts_GTP2C_CreateBearerReq(g_pars.teic_remote, omit, g_pars.bearer.ebi, |
| 834 | dedicated_bearer_id, bcg_list, csid_list)); |
| 835 | as_GTP2C_CreateBearer_success(); |
| 836 | } |
| 837 | |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 838 | /* Expect DeleteBearerResponse */ |
| 839 | private altstep as_GTP2C_DeleteBearer_success() runs on EPDG_ConnHdlr { |
| 840 | var PDU_GTPCv2 rx_msg; |
| 841 | var template (value) FullyQualifiedTEID fteid_c_ie, fteid_u_ie; |
| 842 | var template (value) PDN_AddressAllocation paa; |
| 843 | |
| 844 | [] GTP2.receive(tr_GTP2C_DeleteBearerResp(g_pars.teic_local)) -> value rx_msg { |
| 845 | setverdict(pass); |
| 846 | } |
| 847 | [] GTP2.receive(PDU_GTPCv2:?) -> value rx_msg { |
| 848 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GTP2C msg rx: ", rx_msg)); |
| 849 | } |
| 850 | } |
| 851 | private function f_GTP2C_DeleteBearer_success() runs on EPDG_ConnHdlr { |
| 852 | var integer proc_trans_id := 3; |
| 853 | GTP2.send(ts_GTP2C_DeleteBearerReq(g_pars.teic_remote, proc_trans_id, g_pars.bearer.ebi, Access_changed_from_Non_3GPP_to_3GPP)); |
Pau Espin Pedrol | cbe6eba | 2024-02-06 12:53:14 +0100 | [diff] [blame] | 854 | as_GSUP_CancelLocation_success(); |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 855 | as_GTP2C_DeleteBearer_success(); |
| 856 | } |
| 857 | |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 858 | private template (value) Gtp1uPeer ts_GtpPeerU(octetstring ip) := { |
| 859 | connId := 1, |
| 860 | remName := f_inet_ntoa(ip), |
| 861 | remPort := GTP1U_PORT |
| 862 | } |
| 863 | private function f_GTP1U_send(octetstring payload) runs on EPDG_ConnHdlr { |
| 864 | var Gtp1uPeer peer := valueof(ts_GtpPeerU(f_inet_addr(g_pars.bearer.gtpu_addr_remote))); |
| 865 | GTP2.send(ts_GTP1U_GPDU(peer, 0 /*seq*/, g_pars.bearer.teid_remote, payload)); |
| 866 | } |
| 867 | private function f_GTP1U_echo_ping_pong(uint16_t seq_nr := 0) runs on EPDG_ConnHdlr { |
| 868 | var Gtp1uPeer peer := valueof(ts_GtpPeerU(f_inet_addr(g_pars.bearer.gtpu_addr_remote))); |
| 869 | GTP2.send(ts_GTPU_PING(peer, seq := seq_nr)); |
| 870 | GTP2.receive(tr_GTPU_PONG(peer)); |
| 871 | } |
Pau Espin Pedrol | bf03d77 | 2024-03-01 16:15:21 +0100 | [diff] [blame] | 872 | private altstep as_GTPU_rx_icmp4(template (present) PDU_ICMP expected := ?) runs on EPDG_ConnHdlr { |
| 873 | var Gtp1uUnitdata rx_msg; |
| 874 | var template (value) Gtp1uPeer peer := ts_GtpPeerU(f_inet_addr(g_pars.bearer.gtpu_addr_remote)); |
| 875 | |
| 876 | [] GTP2.receive(tr_GTPU_GPDU(peer, g_pars.bearer.teid_local)) -> value rx_msg { |
| 877 | /*TODO: verify gtpu txseq: |
| 878 | if (f_verify_gtpu_txseq(ud.gtpu, use_gtpu_txseq) == false) { |
| 879 | setverdict(fail); |
| 880 | stop; |
| 881 | } |
| 882 | */ |
| 883 | var octetstring gpdu := rx_msg.gtpu.gtpu_IEs.g_PDU_IEs.data; |
| 884 | var IPv4_packet ip4 := f_IPv4_dec(gpdu); |
| 885 | if (ip4.header.ver != 4) { |
| 886 | repeat; |
| 887 | } |
| 888 | var PDU_ICMP icmp4 := f_dec_PDU_ICMP(ip4.payload); |
| 889 | if (not match(icmp4, expected)) { |
| 890 | repeat; |
| 891 | } |
| 892 | } |
| 893 | [] GTP2.receive(Gtp1uUnitdata:?) -> value rx_msg { |
| 894 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GTP msg rx: ", rx_msg)); |
| 895 | } |
| 896 | } |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 897 | |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 898 | /************ |
| 899 | * GSUP CEAI |
| 900 | ************/ |
| 901 | |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 902 | private function f_GSUP_tx_SAI_REQ(boolean req_resync := false) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 903 | var GSUP_PDU rx_gsup; |
Pau Espin Pedrol | c2cfd55 | 2024-02-07 17:51:55 +0100 | [diff] [blame] | 904 | var template (value) GSUP_IEs pdp_info; |
Pau Espin Pedrol | c2cfd55 | 2024-02-07 17:51:55 +0100 | [diff] [blame] | 905 | pdp_info := { ts_GSUP_IE_PDP_CONTEXT_ID('00'O), |
| 906 | ts_GSUP_IE_PDP_ADDRESS(ts_EuaIPv4Dyn), |
| 907 | ts_GSUP_IE_APN(f_enc_dns_hostname(g_pars.apn)) }; |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 908 | if (req_resync) { |
| 909 | GSUP.send(ts_GSUP_SAI_REQ_PDP_INFO_UMTS_AKA_RESYNC( |
| 910 | g_pars.imsi, pdp_info, |
| 911 | g_pars.vec.auts, g_pars.vec.rand)); |
| 912 | } else { |
| 913 | GSUP.send(ts_GSUP_SAI_REQ_PDP_INFO(g_pars.imsi, pdp_info)); |
| 914 | } |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 915 | } |
| 916 | |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 917 | private altstep as_GSUP_rx_SAI_RES() runs on EPDG_ConnHdlr { |
| 918 | var GSUP_PDU rx_gsup; |
| 919 | var template (present) GSUP_IE auth_tuple_ie := tr_GSUP_IE_AuthTuple3G( |
| 920 | g_pars.vec.rand, |
| 921 | g_pars.vec.ik, |
| 922 | g_pars.vec.ck, |
| 923 | g_pars.vec.autn, |
| 924 | g_pars.vec.rand & g_pars.vec.auts); |
| 925 | |
| 926 | [] GSUP.receive(tr_GSUP_SAI_RES(g_pars.imsi, auth_tuple_ie)) -> value rx_gsup { |
| 927 | } |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 928 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 929 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 930 | } |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 931 | } |
| 932 | |
| 933 | private altstep as_GSUP_rx_SAI_ERR(template (present) integer cause := ?) runs on EPDG_ConnHdlr { |
| 934 | var GSUP_PDU rx_gsup; |
| 935 | |
| 936 | [] GSUP.receive(tr_GSUP_SAI_ERR(g_pars.imsi, cause)) -> value rx_gsup { |
| 937 | } |
| 938 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 939 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 940 | } |
| 941 | } |
| 942 | |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 943 | private altstep as_GSUP_rx_CL_REQ(template GSUP_CancelType ctype := omit) runs on EPDG_ConnHdlr { |
| 944 | var GSUP_PDU rx_gsup; |
| 945 | |
| 946 | [] GSUP.receive(tr_GSUP_CL_REQ(g_pars.imsi, dom := *, ctype := ctype)) -> value rx_gsup { |
| 947 | } |
| 948 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 949 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 950 | } |
| 951 | } |
| 952 | |
| 953 | private function f_GSUP_tx_CL_RES() runs on EPDG_ConnHdlr { |
| 954 | GSUP.send(ts_GSUP_CL_RES(g_pars.imsi)); |
| 955 | } |
| 956 | |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 957 | /* GSUP AuthInfo Req + Resp, triggers SWx MAR + MAA. */ |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 958 | private function f_GSUP_AI_success(boolean req_resync := false) runs on EPDG_ConnHdlr { |
| 959 | f_GSUP_tx_SAI_REQ(req_resync); |
| 960 | as_DIA_SWx_MA_success(req_resync); |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 961 | as_GSUP_rx_SAI_RES(); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 962 | setverdict(pass); |
| 963 | } |
| 964 | |
| 965 | /* GSUP LU Req + Resp, triggers SWx SAR + SAA (Server Assignment). */ |
| 966 | private function f_GSUP_LU_success() runs on EPDG_ConnHdlr { |
| 967 | var GSUP_PDU rx_gsup; |
| 968 | var template octetstring destination_name := *; |
| 969 | GSUP.send(ts_GSUP_UL_REQ(g_pars.imsi)); |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 970 | as_DIA_SWx_SA_success(REGISTRATION); |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 971 | /* Expect a positive response back to the translator */ |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 972 | alt { |
| 973 | [] GSUP.receive(tr_GSUP_UL_RES(g_pars.imsi, destination_name)); |
| 974 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 975 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 976 | } |
| 977 | } |
| 978 | setverdict(pass); |
| 979 | } |
| 980 | |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 981 | /* GSUP TunnelEPDG Tunnel Req + Resp, triggers S2b CreateSession Req + Response. */ |
| 982 | private function f_GSUP_EPDGTunnel_success() runs on EPDG_ConnHdlr { |
| 983 | var GSUP_PDU rx_gsup; |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 984 | var template (value) PCO_DATA pco := PCO_Types.ts_PCO({ ts_PCO_P_DNS_IPv4, ts_PCO_P_PCSCF_IPv4 }); |
Pau Espin Pedrol | ce1d3cb | 2024-02-21 17:40:59 +0100 | [diff] [blame] | 985 | GSUP.send(ts_GSUP_EPDGTunnel_REQ(g_pars.imsi, pco)); |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 986 | as_GTP2C_CreateSession_success(); |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 987 | /* Expect a positive response back to the translator; */ |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 988 | var template (present) GSUP_IEs exp_pdp_info := { |
Pau Espin Pedrol | a6b0c1c | 2024-01-22 20:02:06 +0100 | [diff] [blame] | 989 | tr_GSUP_IE_PDP_CONTEXT_ID(?), |
Pau Espin Pedrol | 78598b5 | 2024-02-14 19:21:42 +0100 | [diff] [blame] | 990 | tr_GSUP_IE_PDP_ADDRESS(tr_GSUP_PDP_Address_IPv4(f_inet_addr(g_pars.ue_ip))), |
| 991 | tr_GSUP_IE_APN(f_enc_dns_hostname(g_pars.apn)), |
Pau Espin Pedrol | a6b0c1c | 2024-01-22 20:02:06 +0100 | [diff] [blame] | 992 | tr_GSUP_IE_PDP_QOS(?), |
| 993 | tr_GSUP_IE_Charging_Characteristics(?) |
| 994 | }; |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 995 | var template (present) PCO_DATA exp_pco := PCO_Types.tr_PCO({ |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 996 | tr_PCO_P_DNS_IPv4(f_inet_addr(mp_s2b_dns_ipv4)), |
| 997 | tr_PCO_P_PCSCF_IPv4(f_inet_addr(mp_s2b_pcscf_ipv4)) |
| 998 | }); |
| 999 | /* TODO: check for v6 and v4v6 types ^ */ |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 1000 | alt { |
Pau Espin Pedrol | f292586 | 2024-02-22 20:12:30 +0100 | [diff] [blame] | 1001 | [] GSUP.receive(tr_GSUP_EPDGTunnel_RES(g_pars.imsi, exp_pdp_info)); |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 1002 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 1003 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 1004 | } |
| 1005 | } |
| 1006 | setverdict(pass); |
| 1007 | } |
| 1008 | |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 1009 | /* GSUP TunnelEPDG Tunnel Req + Resp, triggers S2b CreateSession Req + Response (rejected). */ |
| 1010 | private function f_GSUP_EPDGTunnel_error() runs on EPDG_ConnHdlr { |
| 1011 | var GSUP_PDU rx_gsup; |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 1012 | var template (value) PCO_DATA pco := PCO_Types.ts_PCO({ ts_PCO_P_DNS_IPv4, ts_PCO_P_PCSCF_IPv4 }); |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 1013 | GSUP.send(ts_GSUP_EPDGTunnel_REQ(g_pars.imsi, pco)); |
| 1014 | as_GTP2C_CreateSession_error(APN_access_denied__no_subscription); |
| 1015 | alt { |
| 1016 | [] GSUP.receive(tr_GSUP_EPDGTunnel_ERR(g_pars.imsi)); |
| 1017 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 1018 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 1019 | } |
| 1020 | } |
| 1021 | setverdict(pass); |
| 1022 | } |
| 1023 | |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 1024 | /* GSUP Purge MS Req + Resp, triggers S2b DeleteSession Req + Response. */ |
| 1025 | private function f_GSUP_PurgeMS_success() runs on EPDG_ConnHdlr { |
| 1026 | var GSUP_PDU rx_gsup; |
| 1027 | GSUP.send(ts_GSUP_PURGE_MS_REQ(g_pars.imsi, OSMO_GSUP_CN_DOMAIN_PS)); |
| 1028 | as_GTP2C_DeleteSession_success(); |
| 1029 | /* ePDG internally sends STR to its AAA-Server. Since all sessions |
| 1030 | become inactive, AAA-Server sends SAR(USER_DEREGISTRATION) to HSS: */ |
| 1031 | |
| 1032 | /* Expect a positive response back to the translator; */ |
| 1033 | as_DIA_SWx_SA_success(USER_DEREGISTRATION); |
| 1034 | alt { |
| 1035 | [] GSUP.receive(tr_GSUP_PURGE_MS_RES(g_pars.imsi)); |
| 1036 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 1037 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 1038 | } |
| 1039 | } |
| 1040 | setverdict(pass); |
| 1041 | } |
| 1042 | |
Pau Espin Pedrol | cbe6eba | 2024-02-06 12:53:14 +0100 | [diff] [blame] | 1043 | /* Expect CancelLocationReq */ |
| 1044 | private altstep as_GSUP_CancelLocation_success() runs on EPDG_ConnHdlr { |
| 1045 | var GSUP_PDU rx_gsup; |
| 1046 | |
| 1047 | [] GSUP.receive(tr_GSUP_CL_REQ(g_pars.imsi)) -> value rx_gsup { |
| 1048 | GSUP.send(ts_GSUP_CL_RES(g_pars.imsi)); |
| 1049 | } |
| 1050 | [] GSUP.receive(GSUP_PDU:?) -> value rx_gsup { |
| 1051 | Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Unexpected GSUP msg rx: ", rx_gsup)); |
| 1052 | } |
| 1053 | } |
| 1054 | |
Pau Espin Pedrol | af8ba58 | 2024-02-05 21:05:10 +0100 | [diff] [blame] | 1055 | private function f_initial_attach() runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 1056 | f_GSUP_AI_success(); |
| 1057 | f_GSUP_LU_success(); |
Pau Espin Pedrol | d19fdf5 | 2023-10-19 16:58:24 +0200 | [diff] [blame] | 1058 | f_GSUP_EPDGTunnel_success(); |
Pau Espin Pedrol | af8ba58 | 2024-02-05 21:05:10 +0100 | [diff] [blame] | 1059 | } |
| 1060 | |
| 1061 | private function f_TC_authinfo_normal(charstring id) runs on EPDG_ConnHdlr { |
| 1062 | f_initial_attach(); |
Pau Espin Pedrol | 4944a5c | 2024-01-24 17:23:01 +0100 | [diff] [blame] | 1063 | f_GSUP_PurgeMS_success(); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 1064 | } |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 1065 | testcase TC_authinfo_normal() runs on MTC_CT { |
| 1066 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1067 | var EPDG_ConnHdlr vc_conn; |
| 1068 | f_init(); |
| 1069 | vc_conn := f_start_handler(refers(f_TC_authinfo_normal), pars); |
| 1070 | vc_conn.done; |
| 1071 | setverdict(pass); |
| 1072 | } |
| 1073 | |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 1074 | private function f_TC_authinfo_MAA_unknown_user(charstring id) runs on EPDG_ConnHdlr { |
| 1075 | var PDU_DIAMETER rx_dia; |
| 1076 | var DIAMETER_ExperimentalResultcode exp_result_code := DIAMETER_ERROR_USER_UNKNOWN; |
| 1077 | f_GSUP_tx_SAI_REQ(); |
| 1078 | |
| 1079 | SWx.receive(tr_DIA_SWx_MAR(g_pars.imsi)) -> value rx_dia; |
| 1080 | f_DIA_SWx_tx_MAA_error(rx_dia, |
| 1081 | ts_AVP_ExperimentalResult(vendor_id_3GPP, |
| 1082 | int2oct(enum2int(exp_result_code), 4))); |
| 1083 | /* cause 2 = IMSI_UNKNOWN */ |
| 1084 | as_GSUP_rx_SAI_ERR(2); |
| 1085 | } |
| 1086 | testcase TC_authinfo_MAA_unknown_user() runs on MTC_CT { |
| 1087 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1088 | var EPDG_ConnHdlr vc_conn; |
| 1089 | f_init(); |
| 1090 | vc_conn := f_start_handler(refers(f_TC_authinfo_MAA_unknown_user), pars); |
| 1091 | vc_conn.done; |
| 1092 | setverdict(pass); |
| 1093 | } |
| 1094 | |
Pau Espin Pedrol | d4e8633 | 2024-03-06 14:01:21 +0100 | [diff] [blame] | 1095 | /* Emulate UE doing MAR+MAA, then repeating and continuing. */ |
| 1096 | private function f_TC_authinfo_twice(charstring id) runs on EPDG_ConnHdlr { |
| 1097 | f_GSUP_AI_success(); |
| 1098 | f_initial_attach(); |
| 1099 | } |
| 1100 | testcase TC_authinfo_twice() runs on MTC_CT { |
| 1101 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1102 | var EPDG_ConnHdlr vc_conn; |
| 1103 | f_init(); |
| 1104 | vc_conn := f_start_handler(refers(f_TC_authinfo_twice), pars); |
| 1105 | vc_conn.done; |
| 1106 | setverdict(pass); |
| 1107 | } |
| 1108 | |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 1109 | /* Emulate UE doing MAR+MAA, then UE requesting again due to resync needed */ |
| 1110 | private function f_TC_authinfo_fail_resync(charstring id) runs on EPDG_ConnHdlr { |
| 1111 | f_GSUP_AI_success(false); |
| 1112 | f_GSUP_AI_success(true); |
| 1113 | f_GSUP_LU_success(); |
| 1114 | f_GSUP_EPDGTunnel_success(); |
| 1115 | f_GSUP_PurgeMS_success(); |
| 1116 | } |
| 1117 | testcase TC_authinfo_fail_resync() runs on MTC_CT { |
| 1118 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1119 | var EPDG_ConnHdlr vc_conn; |
| 1120 | f_init(); |
| 1121 | vc_conn := f_start_handler(refers(f_TC_authinfo_fail_resync), pars); |
| 1122 | vc_conn.done; |
| 1123 | setverdict(pass); |
| 1124 | } |
| 1125 | |
Pau Espin Pedrol | 14abac5 | 2024-02-05 21:05:17 +0100 | [diff] [blame] | 1126 | private function f_TC_ho_lte_to_wifi(charstring id) runs on EPDG_ConnHdlr { |
| 1127 | f_initial_attach(); |
| 1128 | /* Whenever UE comes from 3GPP, PGW may activate a dedicated S2b bearer |
| 1129 | * and notify ePDG with a Create Bearer Request */ |
| 1130 | f_GTP2C_CreateBearer_success(); |
| 1131 | f_GSUP_PurgeMS_success(); |
| 1132 | } |
Pau Espin Pedrol | 14abac5 | 2024-02-05 21:05:17 +0100 | [diff] [blame] | 1133 | testcase TC_ho_lte_to_wifi() runs on MTC_CT { |
| 1134 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1135 | var EPDG_ConnHdlr vc_conn; |
| 1136 | f_init(); |
| 1137 | vc_conn := f_start_handler(refers(f_TC_ho_lte_to_wifi), pars); |
| 1138 | vc_conn.done; |
| 1139 | setverdict(pass); |
| 1140 | } |
| 1141 | |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 1142 | private function f_TC_ho_wifi_to_lte(charstring id) runs on EPDG_ConnHdlr { |
Pau Espin Pedrol | af8ba58 | 2024-02-05 21:05:10 +0100 | [diff] [blame] | 1143 | f_initial_attach(); |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 1144 | /* Whenever UE goes back to 3GPP, PGW will notify ePDG with a Delete Bearer Request |
| 1145 | * cause="Access changed from non-3gpp to 3gpp" */ |
| 1146 | f_GTP2C_DeleteBearer_success(); |
| 1147 | } |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 1148 | testcase TC_ho_wifi_to_lte() runs on MTC_CT { |
| 1149 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1150 | var EPDG_ConnHdlr vc_conn; |
| 1151 | f_init(); |
| 1152 | vc_conn := f_start_handler(refers(f_TC_ho_wifi_to_lte), pars); |
| 1153 | vc_conn.done; |
| 1154 | setverdict(pass); |
| 1155 | } |
| 1156 | |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 1157 | private function f_TC_s2b_CreateSession_rejected(charstring id) runs on EPDG_ConnHdlr { |
| 1158 | f_GSUP_AI_success(); |
| 1159 | f_GSUP_LU_success(); |
| 1160 | f_GSUP_EPDGTunnel_error(); |
| 1161 | } |
| 1162 | testcase TC_s2b_CreateSession_rejected() runs on MTC_CT { |
| 1163 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1164 | var EPDG_ConnHdlr vc_conn; |
| 1165 | f_init(); |
| 1166 | vc_conn := f_start_handler(refers(f_TC_s2b_CreateSession_rejected), pars); |
| 1167 | vc_conn.done; |
| 1168 | setverdict(pass); |
| 1169 | } |
| 1170 | |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 1171 | /* 3GPP TS 29.273 Network Initiated De-Registration by HSS, Administrative */ |
| 1172 | private function f_TC_hss_initiated_deregister_new_server_assigned(charstring id) runs on EPDG_ConnHdlr { |
| 1173 | f_initial_attach(); |
| 1174 | /* Procedure should be performed properly: */ |
| 1175 | f_DIA_SWx_RT(NEW_SERVER_ASSIGNED, tr_AVP_ResultCode(DIAMETER_SUCCESS)); |
| 1176 | /* Subscriber was already removed, it should fail if requested again: */ |
| 1177 | var DIAMETER_ts29_229_ExperimentalResultcode erc := DIAMETER_ERROR_USER_UNKNOWN; |
| 1178 | f_DIA_SWx_RT(NEW_SERVER_ASSIGNED, tr_AVP_ExperimentalResult(vendor_id_3GPP, int2oct(enum2int(erc), 4))); |
| 1179 | } |
| 1180 | testcase TC_hss_initiated_deregister_new_server_assigned() runs on MTC_CT { |
| 1181 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1182 | var EPDG_ConnHdlr vc_conn; |
| 1183 | f_init(); |
| 1184 | vc_conn := f_start_handler(refers(f_TC_hss_initiated_deregister_new_server_assigned), pars); |
| 1185 | vc_conn.done; |
| 1186 | setverdict(pass); |
| 1187 | } |
| 1188 | |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 1189 | private function f_TC_hss_initiated_deregister_permanent_termination(charstring id) runs on EPDG_ConnHdlr { |
| 1190 | f_initial_attach(); |
| 1191 | /* Procedure should be performed properly: */ |
| 1192 | f_DIA_SWx_RT(PERMANENT_TERMINATION, tr_AVP_ResultCode(DIAMETER_SUCCESS)); |
| 1193 | /* Subscriber was already removed, it should fail if requested again: */ |
| 1194 | var DIAMETER_ts29_229_ExperimentalResultcode erc := DIAMETER_ERROR_USER_UNKNOWN; |
Pau Espin Pedrol | 660cfe5 | 2024-03-14 14:45:19 +0100 | [diff] [blame] | 1195 | f_DIA_SWx_RT(PERMANENT_TERMINATION, tr_AVP_ExperimentalResult(vendor_id_3GPP, int2oct(enum2int(erc), 4)), |
| 1196 | exp_aaa_proc := false); |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 1197 | } |
| 1198 | testcase TC_hss_initiated_deregister_permanent_termination() runs on MTC_CT { |
| 1199 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1200 | var EPDG_ConnHdlr vc_conn; |
| 1201 | f_init(); |
| 1202 | vc_conn := f_start_handler(refers(f_TC_hss_initiated_deregister_permanent_termination), pars); |
| 1203 | vc_conn.done; |
| 1204 | setverdict(pass); |
| 1205 | } |
| 1206 | |
Pau Espin Pedrol | 93cbc99 | 2024-03-14 18:25:32 +0100 | [diff] [blame] | 1207 | /* |
| 1208 | * 3GPP TS 29.273 8.1.2.3 HSS Initiated Update of User Profile |
| 1209 | * 3GPP TS 29.273 8.2.2.2 HSS Initiated Update of User Profile Procedure |
| 1210 | */ |
| 1211 | private function f_TC_hss_initiated_update_user_profile(charstring id) runs on EPDG_ConnHdlr { |
| 1212 | f_initial_attach(); |
| 1213 | /* Procedure should be performed properly: */ |
| 1214 | f_DIA_SWx_PP(tr_AVP_ResultCode(DIAMETER_SUCCESS)); |
| 1215 | } |
| 1216 | testcase TC_hss_initiated_update_user_profile() runs on MTC_CT { |
| 1217 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1218 | var EPDG_ConnHdlr vc_conn; |
| 1219 | f_init(); |
| 1220 | vc_conn := f_start_handler(refers(f_TC_hss_initiated_update_user_profile), pars); |
| 1221 | vc_conn.done; |
| 1222 | setverdict(pass); |
| 1223 | } |
| 1224 | |
| 1225 | /* |
| 1226 | * Same as TC_hss_initiated_update_user_profile_unknown, but without registering |
| 1227 | * subscriber first, so expect DIAMETER_ERROR_USER_UNKNOWN in answer. |
| 1228 | */ |
| 1229 | private function f_TC_hss_initiated_update_user_profile_unknown(charstring id) runs on EPDG_ConnHdlr { |
| 1230 | var DIAMETER_ts29_229_ExperimentalResultcode erc := DIAMETER_ERROR_USER_UNKNOWN; |
Pau Espin Pedrol | aca4c29 | 2024-03-15 17:53:26 +0100 | [diff] [blame] | 1231 | f_DIA_SWx_PP(tr_AVP_ExperimentalResult(vendor_id_3GPP, int2oct(enum2int(erc), 4)), |
| 1232 | exp_aaa_proc := false); |
Pau Espin Pedrol | 93cbc99 | 2024-03-14 18:25:32 +0100 | [diff] [blame] | 1233 | } |
| 1234 | testcase TC_hss_initiated_update_user_profile_unknown() runs on MTC_CT { |
| 1235 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1236 | var EPDG_ConnHdlr vc_conn; |
| 1237 | f_init(); |
| 1238 | vc_conn := f_start_handler(refers(f_TC_hss_initiated_update_user_profile_unknown), pars); |
| 1239 | vc_conn.done; |
| 1240 | setverdict(pass); |
| 1241 | } |
| 1242 | |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 1243 | private function f_TC_concurrent_ues(charstring id) runs on EPDG_ConnHdlr { |
| 1244 | COORD.send(COORD_CMD_READY); |
| 1245 | COORD.receive(COORD_CMD_START); |
| 1246 | f_initial_attach(); |
| 1247 | COORD.send(COORD_CMD_ATTACHED); |
| 1248 | COORD.receive(COORD_CMD_STOP); |
| 1249 | f_GSUP_PurgeMS_success(); |
| 1250 | } |
| 1251 | private function f_TC_concurrent_ues_MTC(integer num_ues) runs on MTC_CT { |
| 1252 | var EPDG_ConnHdlrList vc_conn_list := {}; |
| 1253 | var EPDG_ConnHdlr vc_conn; |
| 1254 | f_init(t_guard := 100.0); |
| 1255 | |
| 1256 | for (var integer i := 0; i < num_ues; i := i + 1) { |
| 1257 | var EPDG_ConnHdlrPars pars := f_init_pars(i); |
| 1258 | vc_conn := f_start_handler(refers(f_TC_concurrent_ues), pars); |
| 1259 | vc_conn_list := vc_conn_list & { vc_conn }; |
| 1260 | } |
| 1261 | |
| 1262 | for (var integer i := 0; i < num_ues; i := i + 1) { |
| 1263 | COORD.receive(COORD_CMD_READY) from vc_conn_list[i]; |
| 1264 | } |
| 1265 | |
| 1266 | for (var integer i := 0; i < num_ues; i := i + 1) { |
| 1267 | COORD.send(COORD_CMD_START) to vc_conn_list[i]; |
| 1268 | f_sleep(0.1); |
| 1269 | } |
| 1270 | |
| 1271 | for (var integer i := 0; i < num_ues; i := i + 1) { |
| 1272 | COORD.receive(COORD_CMD_ATTACHED) from vc_conn_list[i]; |
| 1273 | } |
| 1274 | |
| 1275 | log("All attached!"); |
| 1276 | f_sleep(1.0); |
| 1277 | |
| 1278 | for (var integer i := 0; i < num_ues; i := i + 1) { |
| 1279 | COORD.send(COORD_CMD_STOP) to vc_conn_list[i]; |
| 1280 | } |
| 1281 | |
| 1282 | for (var integer i := 0; i < num_ues; i := i + 1) { |
| 1283 | vc_conn_list[i].done; |
| 1284 | } |
| 1285 | |
| 1286 | setverdict(pass); |
| 1287 | } |
| 1288 | testcase TC_concurrent_ues2() runs on MTC_CT { |
| 1289 | f_TC_concurrent_ues_MTC(2) |
| 1290 | } |
| 1291 | testcase TC_concurrent_ues100() runs on MTC_CT { |
| 1292 | f_TC_concurrent_ues_MTC(100) |
| 1293 | } |
| 1294 | |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 1295 | private function f_TC_upf_echo_req(charstring id) runs on EPDG_ConnHdlr { |
| 1296 | f_initial_attach(); |
| 1297 | /* Dispatch Echo Resp to this component: */ |
| 1298 | f_gtp2_register_teid('00000000'O); |
| 1299 | f_GTP1U_echo_ping_pong(seq_nr := 0); |
| 1300 | /* Send one again, to validate it works several times: */ |
| 1301 | f_GTP1U_echo_ping_pong(seq_nr := 1); |
| 1302 | f_GSUP_PurgeMS_success(); |
| 1303 | } |
| 1304 | testcase TC_upf_echo_req() runs on MTC_CT { |
| 1305 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1306 | var EPDG_ConnHdlr vc_conn; |
| 1307 | f_init(); |
| 1308 | vc_conn := f_start_handler(refers(f_TC_upf_echo_req), pars); |
| 1309 | vc_conn.done; |
| 1310 | setverdict(pass); |
| 1311 | } |
| 1312 | |
Pau Espin Pedrol | bf03d77 | 2024-03-01 16:15:21 +0100 | [diff] [blame] | 1313 | private function f_TC_mt_ipv4_echo_req(charstring id) runs on EPDG_ConnHdlr { |
| 1314 | f_initial_attach(); |
| 1315 | /* Dispatch Echo Resp to this component: */ |
| 1316 | f_gtp2_register_teid('00000000'O); |
| 1317 | var octetstring echo_req := f_gen_icmpv4_echo(f_inet_addr(mp_upf_gtpu_local_ip), f_inet_addr(g_pars.ue_ip)); |
| 1318 | f_GTP1U_send(echo_req); |
| 1319 | as_GTPU_rx_icmp4((tr_ICMPv4_ERP, tr_ICMPv4_DU)); |
| 1320 | f_GSUP_PurgeMS_success(); |
| 1321 | } |
| 1322 | testcase TC_mt_ipv4_echo_req() runs on MTC_CT { |
| 1323 | var EPDG_ConnHdlrPars pars := f_init_pars(); |
| 1324 | var EPDG_ConnHdlr vc_conn; |
| 1325 | f_init(); |
| 1326 | vc_conn := f_start_handler(refers(f_TC_mt_ipv4_echo_req), pars); |
| 1327 | vc_conn.done; |
| 1328 | setverdict(pass); |
| 1329 | } |
| 1330 | |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 1331 | control { |
| 1332 | execute ( TC_authinfo_normal() ); |
Pau Espin Pedrol | 6601f22 | 2024-03-05 18:51:09 +0100 | [diff] [blame] | 1333 | execute ( TC_authinfo_MAA_unknown_user() ); |
Pau Espin Pedrol | d4e8633 | 2024-03-06 14:01:21 +0100 | [diff] [blame] | 1334 | execute ( TC_authinfo_twice() ); |
Pau Espin Pedrol | b8cc610 | 2024-03-08 17:37:08 +0100 | [diff] [blame] | 1335 | execute ( TC_authinfo_fail_resync() ); |
Pau Espin Pedrol | 14abac5 | 2024-02-05 21:05:17 +0100 | [diff] [blame] | 1336 | execute ( TC_ho_lte_to_wifi() ); |
Pau Espin Pedrol | d4a2008 | 2023-10-23 19:59:24 +0200 | [diff] [blame] | 1337 | execute ( TC_ho_wifi_to_lte() ); |
Pau Espin Pedrol | 7b2cc92 | 2024-02-28 16:14:15 +0100 | [diff] [blame] | 1338 | execute ( TC_s2b_CreateSession_rejected() ); |
Pau Espin Pedrol | d9ff19e | 2024-03-11 12:16:13 +0100 | [diff] [blame] | 1339 | execute ( TC_hss_initiated_deregister_new_server_assigned() ); |
Pau Espin Pedrol | a7823b9 | 2024-03-11 17:55:52 +0100 | [diff] [blame] | 1340 | execute ( TC_hss_initiated_deregister_permanent_termination() ); |
Pau Espin Pedrol | 93cbc99 | 2024-03-14 18:25:32 +0100 | [diff] [blame] | 1341 | execute ( TC_hss_initiated_update_user_profile() ); |
| 1342 | execute ( TC_hss_initiated_update_user_profile_unknown() ); |
Pau Espin Pedrol | 285a2b6 | 2024-02-27 18:25:45 +0100 | [diff] [blame] | 1343 | execute ( TC_concurrent_ues2() ); |
| 1344 | execute ( TC_concurrent_ues100() ); |
Pau Espin Pedrol | a9b65f1 | 2024-02-29 21:08:15 +0100 | [diff] [blame] | 1345 | execute ( TC_upf_echo_req() ); |
Pau Espin Pedrol | bf03d77 | 2024-03-01 16:15:21 +0100 | [diff] [blame] | 1346 | execute ( TC_mt_ipv4_echo_req() ); |
Pau Espin Pedrol | 965ac64 | 2023-10-16 18:12:45 +0200 | [diff] [blame] | 1347 | } |
| 1348 | |
| 1349 | } |