Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 1 | module CBC_Tests { |
| 2 | |
| 3 | import from Osmocom_Types all; |
Pau Espin Pedrol | 7c13cb7 | 2022-06-16 19:03:44 +0200 | [diff] [blame] | 4 | import from Socket_API_Definitions all; |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 5 | |
| 6 | import from BSSAP_Types all; |
| 7 | import from BSSMAP_Templates all; |
| 8 | import from CBSP_Types all; |
| 9 | import from CBSP_Templates all; |
| 10 | import from CBSP_Adapter all; |
| 11 | import from CBSP_CodecPort all; |
Pau Espin Pedrol | 7c13cb7 | 2022-06-16 19:03:44 +0200 | [diff] [blame] | 12 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 13 | import from SABP_Types all; |
| 14 | import from SABP_Templates all; |
| 15 | import from SABP_IEs all; |
| 16 | import from SABP_PDU_Descriptions all; |
| 17 | |
Pau Espin Pedrol | 7c13cb7 | 2022-06-16 19:03:44 +0200 | [diff] [blame] | 18 | import from SBC_AP_IEs all; |
| 19 | import from SBC_AP_Constants all; |
| 20 | import from SBC_AP_PDU_Contents all; |
| 21 | import from SBC_AP_PDU_Descriptions all; |
| 22 | import from SBC_AP_Types all; |
| 23 | import from SBC_AP_Templates all; |
| 24 | import from SBC_AP_CodecPort all; |
| 25 | import from SBC_AP_Adapter all; |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 26 | |
| 27 | import from HTTP_Adapter all; |
| 28 | import from HTTPmsg_Types all; |
| 29 | import from ECBE_Types all; |
| 30 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 31 | import from CBS_Message all; |
| 32 | import from ECBE_Components all; |
| 33 | import from BSC_ConnectionHandler all; |
| 34 | import from MME_ConnectionHandler all; |
| 35 | |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 36 | const integer MAX_BSC := 2; |
| 37 | const integer MAX_MME := 2; |
| 38 | |
| 39 | type record BSC_modulepar_cfg { |
| 40 | boolean tcp_is_client |
| 41 | }; |
| 42 | type record of BSC_modulepar_cfg BSC_modulepar_cfgs; |
| 43 | |
| 44 | type record MME_modulepar_cfg { |
| 45 | boolean sctp_is_client |
| 46 | }; |
| 47 | type record of MME_modulepar_cfg MME_modulepar_cfgs; |
| 48 | |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 49 | modulepar { |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 50 | charstring mp_local_host := "127.0.0.2"; |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 51 | charstring mp_cbc_host := "127.0.0.1"; |
Pau Espin Pedrol | 07746ad | 2022-06-16 19:02:04 +0200 | [diff] [blame] | 52 | integer mp_cbc_cbsp_port := 48049; |
Pau Espin Pedrol | 7c13cb7 | 2022-06-16 19:03:44 +0200 | [diff] [blame] | 53 | integer mp_cbc_sbcap_port := c_SBC_AP_PORT; |
Pau Espin Pedrol | 07746ad | 2022-06-16 19:02:04 +0200 | [diff] [blame] | 54 | integer mp_cbc_ecbe_port := 12345; |
Pau Espin Pedrol | e14c208 | 2022-07-29 16:41:02 +0200 | [diff] [blame] | 55 | integer mp_local_cbsp_port := 15000; |
| 56 | integer mp_local_sbcap_port := 16000; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 57 | /* Must match osmo-cbc.cfg: */ |
| 58 | BSC_modulepar_cfgs mp_bsc_cfg := { |
| 59 | { tcp_is_client := true }, |
| 60 | { tcp_is_client := false } |
| 61 | }; |
| 62 | MME_modulepar_cfgs mp_mme_cfg := { |
| 63 | { sctp_is_client := true }, |
| 64 | { sctp_is_client := false } |
| 65 | }; |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 66 | }; |
| 67 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 68 | type component test_CT extends CBSP_Adapter_CT, http_CT { |
Pau Espin Pedrol | 7e45128 | 2022-08-01 19:32:23 +0200 | [diff] [blame] | 69 | timer g_Tguard := 60.0; |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 70 | var integer g_num_bsc; |
| 71 | var integer g_num_mme; |
| 72 | var BSC_ConnHdlr g_vc_conn_BSC[MAX_BSC]; |
| 73 | var MME_ConnHdlr g_vc_conn_MME[MAX_MME]; |
| 74 | var BSC_ConnHdlrPars g_pars_BSC[MAX_BSC]; |
| 75 | var MME_ConnHdlrPars g_pars_MME[MAX_MME]; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 76 | port BSC_ConnHdlr_Coord_PT COORD_BSC[MAX_BSC]; |
| 77 | port MME_ConnHdlr_Coord_PT COORD_MME[MAX_BSC]; |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 78 | }; |
| 79 | |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 80 | private function f_shutdown_helper() runs on test_CT { |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 81 | /* Wait for all BSC cons to terminate */ |
| 82 | for (var integer i := 0; i < g_num_bsc; i := i + 1) { |
| 83 | g_vc_conn_BSC[i].done; |
| 84 | } |
| 85 | /* Wait for all MME cons to terminate */ |
| 86 | for (var integer i := 0; i < g_num_mme; i := i + 1) { |
| 87 | g_vc_conn_MME[i].done; |
| 88 | } |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 89 | all component.stop; |
| 90 | setverdict(pass); |
| 91 | mtc.stop; |
| 92 | } |
| 93 | |
Pau Espin Pedrol | 7e45128 | 2022-08-01 19:32:23 +0200 | [diff] [blame] | 94 | /* altstep for the global guard timer */ |
| 95 | private altstep as_Tguard() runs on test_CT { |
| 96 | [] g_Tguard.timeout { |
| 97 | setverdict(fail, "Tguard timeout"); |
| 98 | all component.stop; |
| 99 | mtc.stop; |
| 100 | } |
| 101 | } |
| 102 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 103 | /* |
| 104 | * BSC Conn Handler: |
| 105 | */ |
| 106 | private function f_BSC_ConnHdlr_start_fn_void() runs on BSC_ConnHdlr { |
| 107 | log("Default start_fn() function called!"); |
| 108 | } |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 109 | private function f_init_pars_bsc(charstring bsc_host, integer bsc_cbsp_port, |
| 110 | charstring cbc_host, integer cbc_cbsp_port, |
| 111 | boolean tcp_is_client) |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 112 | runs on test_CT return BSC_ConnHdlrPars { |
| 113 | var BSC_ConnHdlrPars pars := { |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 114 | bsc_host := bsc_host, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 115 | bsc_cbsp_port := bsc_cbsp_port, |
| 116 | cbc_host := cbc_host, |
| 117 | cbc_cbsp_port := cbc_cbsp_port, |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 118 | tcp_is_client := tcp_is_client, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 119 | start_fn := refers(f_BSC_ConnHdlr_start_fn_void), |
| 120 | exp_cbs_msg := omit, |
| 121 | cell_list_success := omit |
| 122 | }; |
| 123 | return pars; |
| 124 | } |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 125 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 126 | private function f_init_bsc(integer idx, charstring id) runs on test_CT return BSC_ConnHdlr { |
| 127 | var BSC_ConnHdlr vc_conn; |
| 128 | id := id & "-BSC" & int2str(idx); |
| 129 | vc_conn := BSC_ConnHdlr.create(id) alive; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 130 | g_pars_BSC[idx] := f_init_pars_bsc(mp_local_host, mp_local_cbsp_port + idx, |
| 131 | mp_cbc_host, mp_cbc_cbsp_port, |
| 132 | mp_bsc_cfg[idx].tcp_is_client); |
| 133 | connect(self:COORD_BSC[idx], vc_conn:COORD); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 134 | return vc_conn; |
| 135 | } |
| 136 | |
| 137 | private function f_start_bsc(integer idx, charstring id, BSC_ConnHdlrPars pars) |
| 138 | runs on test_CT { |
| 139 | id := id & "-BSC" & int2str(idx); |
| 140 | g_vc_conn_BSC[idx] := f_init_bsc(idx, id); |
| 141 | g_vc_conn_BSC[idx].start(f_BSC_ConnHdlr_main(id, pars)); |
| 142 | } |
| 143 | |
| 144 | /* |
| 145 | * MME Conn Handler: |
| 146 | */ |
| 147 | private function f_MME_ConnHdlr_start_fn_void() runs on MME_ConnHdlr { |
| 148 | log("Default start_fn() function called!"); |
| 149 | } |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 150 | private function f_init_pars_mme(charstring mme_host, integer mme_sbcap_port, |
| 151 | charstring cbc_host, integer cbc_sbcap_port, |
| 152 | boolean sctp_is_client) |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 153 | runs on test_CT return MME_ConnHdlrPars { |
| 154 | var MME_ConnHdlrPars pars := { |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 155 | mme_host := mme_host, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 156 | mme_sbcap_port := mme_sbcap_port, |
| 157 | cbc_host := cbc_host, |
| 158 | cbc_sbcap_port := cbc_sbcap_port, |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 159 | sctp_is_client := sctp_is_client, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 160 | start_fn := refers(f_MME_ConnHdlr_start_fn_void), |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 161 | exp_cbs_msg := omit, |
| 162 | write_replace_warning_ind_cause := omit, |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 163 | write_repl_unknown_TAIs := omit, |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 164 | bcast_cell_id_list := omit |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 165 | }; |
| 166 | return pars; |
| 167 | } |
| 168 | |
| 169 | private function f_init_mme(integer idx, charstring id) runs on test_CT return MME_ConnHdlr { |
| 170 | var MME_ConnHdlr vc_conn; |
| 171 | id := id & "-MME" & int2str(idx); |
| 172 | vc_conn := MME_ConnHdlr.create(id) alive; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 173 | g_pars_MME[idx] := f_init_pars_mme(mp_local_host, mp_local_sbcap_port + idx, |
| 174 | mp_cbc_host, mp_cbc_sbcap_port, |
| 175 | mp_mme_cfg[idx].sctp_is_client); |
| 176 | connect(self:COORD_MME[idx], vc_conn:COORD); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 177 | return vc_conn; |
| 178 | } |
| 179 | |
| 180 | private function f_start_mme(integer idx, charstring id, MME_ConnHdlrPars pars) |
| 181 | runs on test_CT { |
| 182 | id := id & "-MME" & int2str(idx); |
| 183 | g_vc_conn_MME[idx] := f_init_mme(idx, id); |
| 184 | g_vc_conn_MME[idx].start(f_MME_ConnHdlr_main(id, pars)); |
| 185 | } |
| 186 | |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 187 | private function f_init(integer num_bsc := 0, integer num_mme := 0) runs on test_CT { |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 188 | f_http_init(mp_cbc_host, mp_cbc_ecbe_port); |
| 189 | |
| 190 | g_num_bsc := num_bsc; |
| 191 | for (var integer i := 0; i < g_num_bsc; i := i + 1) { |
| 192 | g_vc_conn_BSC[i] := f_init_bsc(i, testcasename()); |
| 193 | } |
| 194 | |
| 195 | g_num_mme := num_mme; |
| 196 | for (var integer i := 0; i < g_num_mme; i := i + 1) { |
| 197 | g_vc_conn_MME[i] := f_init_mme(i, testcasename()); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 198 | } |
| 199 | } |
| 200 | |
Pau Espin Pedrol | 7e45128 | 2022-08-01 19:32:23 +0200 | [diff] [blame] | 201 | function f_start(float t_guard := 60.0) runs on test_CT { |
| 202 | /* Start guard timer and activate it as default */ |
| 203 | g_Tguard.start(t_guard); |
| 204 | activate(as_Tguard()); |
| 205 | |
Pau Espin Pedrol | 3dfa807 | 2022-07-29 16:29:43 +0200 | [diff] [blame] | 206 | for (var integer i := 0; i < g_num_bsc; i := i + 1) { |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 207 | f_start_bsc(i, testcasename(), g_pars_BSC[i]); |
| 208 | } |
| 209 | for (var integer i := 0; i < g_num_mme; i := i + 1) { |
| 210 | f_start_mme(i, testcasename(), g_pars_MME[i]); |
| 211 | } |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 212 | |
| 213 | /* Now wait for conns to be ready: */ |
| 214 | for (var integer i := 0; i < g_num_bsc; i := i + 1) { |
| 215 | COORD_BSC[i].receive(COORD_MSG_CONNECTED); |
| 216 | } |
| 217 | for (var integer i := 0; i < g_num_mme; i := i + 1) { |
| 218 | COORD_MME[i].receive(COORD_MSG_CONNECTED); |
| 219 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 220 | } |
| 221 | |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 222 | /* test whether or not we receive a valid KEEP-ALIVE from the CBC */ |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 223 | private function f_bsc_TC_rx_keepalive() runs on BSC_ConnHdlr { |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 224 | var CBSP_PDU rx; |
| 225 | var CBSP_IE ie; |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 226 | rx := f_cbsp_exp(tr_CBSP_KEEP_ALIVE(?)); |
| 227 | f_cbsp_find_ie(rx, CBSP_IEI_KEEP_ALIVE_REP_PERIOD, ie); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 228 | } |
| 229 | testcase TC_rx_keepalive() runs on test_CT { |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 230 | |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 231 | f_init(num_bsc := 1); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 232 | g_pars_BSC[0].start_fn := refers(f_bsc_TC_rx_keepalive); |
| 233 | f_start(); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 234 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 235 | } |
| 236 | |
| 237 | /* test whether CBC terminates connection if KEEP-ALIVE is not answered by BSC */ |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 238 | private function f_bsc_TC_rx_keepalive_timeout() runs on BSC_ConnHdlr { |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 239 | var CBSP_PDU rx; |
| 240 | var CBSP_IE ie; |
| 241 | var integer ka_rep_per_s; |
| 242 | |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 243 | rx := f_cbsp_exp(tr_CBSP_KEEP_ALIVE(?)); |
| 244 | f_cbsp_find_ie(rx, CBSP_IEI_KEEP_ALIVE_REP_PERIOD, ie); |
| 245 | |
| 246 | /* sleep for longer than the keep-alive period */ |
| 247 | ka_rep_per_s := f_cbsp_period2s(ie.body.keep_alive_rep_period); |
| 248 | f_sleep(int2float(ka_rep_per_s + 5)); |
| 249 | |
| 250 | /* expect the CBSP connection to be closed */ |
| 251 | CBSP[0].receive(PortEvent:{connClosed:=?}) |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 252 | } |
| 253 | testcase TC_rx_keepalive_timeout() runs on test_CT { |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 254 | f_init(num_bsc := 1); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 255 | g_pars_BSC[0].start_fn := refers(f_bsc_TC_rx_keepalive_timeout); |
Pau Espin Pedrol | 7e45128 | 2022-08-01 19:32:23 +0200 | [diff] [blame] | 256 | f_start(t_guard := 100.0); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 257 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 258 | } |
| 259 | |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 260 | private const BSSMAP_FIELD_CellIdentificationList cil_BSS := { |
| 261 | cIl_allInBSS := ''O |
| 262 | }; |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 263 | private function f_bsc_TC_write_replace() runs on BSC_ConnHdlr { |
| 264 | f_cbsp_handle_write(g_pars.exp_cbs_msg); |
| 265 | f_sleep(100.0); |
| 266 | } |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 267 | testcase TC_write_replace() runs on test_CT { |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 268 | var CBS_Message msg := { |
| 269 | msg_id := 42, |
| 270 | ser_nr := 16752, |
| 271 | old_ser_nr := omit, |
| 272 | cell_list := cil_BSS, |
| 273 | channel_ind := 0, |
| 274 | category := CBSP_CATEG_NORMAL, |
| 275 | rep_period := 5, |
| 276 | num_bcast_req := 3, |
| 277 | dcs := 1, |
| 278 | content := { |
| 279 | { '00'O, 1 } |
| 280 | } |
| 281 | }; |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 282 | |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 283 | f_init(num_bsc := 1); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 284 | g_pars_BSC[0].exp_cbs_msg := msg; |
| 285 | g_pars_BSC[0].start_fn := refers(f_bsc_TC_write_replace); |
| 286 | f_start(); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 287 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 288 | } |
| 289 | |
| 290 | testcase TC_selftest() runs on test_CT { |
| 291 | const octetstring c_load_q := '0700000d0400080000f110012345671200'O; |
| 292 | const octetstring c_load_q_compl := '0800000f0a000a0000f1100123456700001200'O; |
| 293 | const octetstring c_reset := '1000000b0400080000f11001234567'O; |
| 294 | const octetstring c_reset_compl := '1100000b0400080000f11001234567'O; |
| 295 | const octetstring c_msg_sts_q := '0a0000130e022b0200000400080000f110012345671200'O; |
| 296 | const octetstring c_msg_sts_q_fail := '0c0000140e022b0200000900090000f11001234567021200'O; |
| 297 | const octetstring c_kill := '040000110e00000200000400080000f11001234567'O; |
| 298 | const octetstring c_kill_fail := '060000120e00000200000900090000f1100123456702'O; |
| 299 | const octetstring c_write_repl := '010000c70e022b0300300400080000f110012345671200050006000407000613020c400107f4f29c9e769f5de337b90c921d1b8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d100'O; |
| 300 | const octetstring c_write_repl_compl := '020000130e022b0300300400080000f110012345671200'O; |
| 301 | const octetstring c_write_repl_fail := '030000140e022b0300300900090000f110012345670d1200'O; |
| 302 | const octetstring c_msg_s_q := '0a0000130e022b0200900400080000f110012345671200'O; |
| 303 | const octetstring c_msg_s_q_compl := '0b0000160e022b02009008000b0000f110012345670008001200'O; |
| 304 | const octetstring c_kill_compl := '050000160e022b02008008000b0000f110012345670006001200'O; |
| 305 | |
| 306 | log(dec_CBSP_PDU(c_load_q)); |
| 307 | log(dec_CBSP_PDU(c_load_q_compl)); |
| 308 | log(dec_CBSP_PDU(c_reset)); |
| 309 | log(dec_CBSP_PDU(c_reset_compl)); |
| 310 | log(dec_CBSP_PDU(c_msg_sts_q)); |
| 311 | log(dec_CBSP_PDU(c_msg_sts_q_fail)); |
| 312 | log(dec_CBSP_PDU(c_kill)); |
| 313 | log(dec_CBSP_PDU(c_kill_fail)); |
| 314 | log(dec_CBSP_PDU(c_write_repl)); |
| 315 | log(dec_CBSP_PDU(c_write_repl_compl)); |
| 316 | log(dec_CBSP_PDU(c_write_repl_fail)); |
| 317 | log(dec_CBSP_PDU(c_msg_s_q)); |
| 318 | log(dec_CBSP_PDU(c_msg_s_q_compl)); |
| 319 | log(dec_CBSP_PDU(c_kill_compl)); |
| 320 | } |
| 321 | |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 322 | testcase TC_selftest_sabp() runs on test_CT { |
| 323 | const octetstring c_write := '00000080930000080006000211120007000240c0000f0010000113f0030282ec0613f0030282ec070001400100000d0002012a000900020000000400010100000056029f01b4d90d064297d9ec37e8fe96b3c9a0303bdd68341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d10012'O; |
| 324 | |
| 325 | log(dec_SABP_PDU(c_write)); |
| 326 | log(enc_SABP_PDU(dec_SABP_PDU(c_write))); |
| 327 | |
| 328 | var template (value) Service_Areas_List sa_list := { |
| 329 | ts_SabpSai('62F224'O, '0023'O, '0042'O) |
| 330 | }; |
| 331 | var template (value) SABP_PDU tx; |
| 332 | |
| 333 | tx := ts_SABP_Write(int2bit(1, 16), int2bit(1, 16), sa_list, 23, 42, '00000000'B, '01011010'B); |
| 334 | log("Write: ", enc_SABP_PDU(valueof(tx))) |
| 335 | |
| 336 | var Service_Areas_List sa_list2 := { valueof(ts_SabpSai('62F224'O, '1000'O, '0042'O)) }; |
| 337 | for (var integer i := 0; i < 2500; i := i+1) { |
| 338 | sa_list2 := sa_list2 & {valueof(ts_SabpSai('62F224'O, '2000'O, int2oct(i,2))) }; |
| 339 | } |
| 340 | tx := ts_SABP_Write(int2bit(2, 16), int2bit(2, 16), sa_list2, 23, 42, '00000000'B, '01011010'B); |
| 341 | log("Write: ", enc_SABP_PDU(valueof(tx))) |
| 342 | |
| 343 | tx := ts_SABP_Restart(sa_list); |
| 344 | log("Restart: ", enc_SABP_PDU(valueof(tx))); |
| 345 | } |
| 346 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 347 | private function f_bsc_create_and_delete() runs on BSC_ConnHdlr { |
Pau Espin Pedrol | 855c56c | 2022-08-05 15:52:00 +0200 | [diff] [blame^] | 348 | f_cbsp_handle_write(g_pars.exp_cbs_msg, 0, g_pars.cell_list_success); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 349 | f_cbsp_handle_kill(0, g_pars.exp_cbs_msg.msg_id, g_pars.exp_cbs_msg.ser_nr, |
Pau Espin Pedrol | 855c56c | 2022-08-05 15:52:00 +0200 | [diff] [blame^] | 350 | exp_list:=g_pars.cell_list_success, tx_list:=g_pars.cell_list_success, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 351 | tx_fail_list:=omit, tx_compl_list:=omit, |
| 352 | channel_ind:=g_pars.exp_cbs_msg.channel_ind); |
| 353 | } |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 354 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 355 | private function f_mme_create_and_delete() runs on MME_ConnHdlr { |
| 356 | f_sbcap_handle_write_replace_warn_req(g_pars.exp_cbs_msg, 0); |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 357 | if (ispresent(g_pars.write_replace_warning_ind_cause) and |
| 358 | ispresent(g_pars.bcast_cell_id_list)) { |
| 359 | f_sbcap_tx_write_replace_warn_ind(0, g_pars.exp_cbs_msg, |
| 360 | g_pars.write_replace_warning_ind_cause, |
| 361 | g_pars.bcast_cell_id_list) |
| 362 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 363 | f_sbcap_handle_stop_warn_req(0, g_pars.exp_cbs_msg); |
| 364 | } |
| 365 | |
| 366 | function f_create_and_delete(CBS_Message msg) |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 367 | runs on test_CT { |
| 368 | var EcbeCbcMessage ecbe := f_cbs2ecbe(msg, "TTCN-3"); |
| 369 | f_ecbe_tx_post_cbs(ecbe); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 370 | f_ecbe_rx_resp(201); |
| 371 | |
| 372 | f_sleep(2.0); |
| 373 | |
| 374 | f_ecbe_tx_delete_cbs(msg.msg_id); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 375 | f_ecbe_rx_resp(200); |
| 376 | } |
| 377 | |
| 378 | private template (value) CBS_Message t_CBSmsg(uint16_t msg_id, uint16_t ser_nr) := { |
| 379 | msg_id := msg_id, |
| 380 | ser_nr := ser_nr, |
| 381 | old_ser_nr := omit, |
| 382 | cell_list := cil_BSS, |
| 383 | channel_ind := 0, |
| 384 | category := CBSP_CATEG_NORMAL, |
| 385 | rep_period := 5, |
| 386 | num_bcast_req := 3, |
| 387 | dcs := 1, |
| 388 | content := { |
| 389 | { '00'O, 1 } |
| 390 | } |
| 391 | }; |
| 392 | |
| 393 | /* specify a variety of different Cell Identifier formats to extend test coverage */ |
| 394 | testcase TC_ecbe_create_delete_cgi() runs on test_CT { |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 395 | f_init(num_bsc := 1); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 396 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 397 | var template (value) CBS_Message msg := t_CBSmsg(43, 16752); |
| 398 | |
| 399 | cell_list_success := ts_BSSMAP_CIL_CGI({ |
| 400 | ts_BSSMAP_CI_CGI('901'H, '70'H, 23, 42), |
| 401 | ts_BSSMAP_CI_CGI('901'H, '70'H, 24, 42), |
| 402 | ts_BSSMAP_CI_CGI('901'H, '70'H, 24, 43) |
| 403 | }); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 404 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 405 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 406 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 407 | f_start(); |
| 408 | f_create_and_delete(valueof(msg)); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 409 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 410 | } |
| 411 | testcase TC_ecbe_create_delete_lac_ci() runs on test_CT { |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 412 | f_init(num_bsc := 1); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 413 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 414 | var template (value) CBS_Message msg := t_CBSmsg(44, 16752); |
| 415 | cell_list_success := ts_BSSMAP_CIL_LAC_CI({ |
| 416 | ts_BSSMAP_CI_LAC_CI(10001, 50001), |
| 417 | ts_BSSMAP_CI_LAC_CI(10002, 50002), |
| 418 | ts_BSSMAP_CI_LAC_CI(10003, 50003) |
| 419 | }); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 420 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 421 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 422 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 423 | f_start(); |
| 424 | f_create_and_delete(valueof(msg)); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 425 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 426 | } |
| 427 | testcase TC_ecbe_create_delete_lac() runs on test_CT { |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 428 | f_init(num_bsc := 1); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 429 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 430 | var template (value) CBS_Message msg := t_CBSmsg(45, 16752); |
| 431 | cell_list_success := ts_BSSMAP_CIL_LAC({ |
| 432 | ts_BSSMAP_CI_LAC(10001), |
| 433 | ts_BSSMAP_CI_LAC(10002), |
| 434 | ts_BSSMAP_CI_LAC(10003) |
| 435 | }); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 436 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 437 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 438 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 439 | f_start(); |
| 440 | f_create_and_delete(valueof(msg)); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 441 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 442 | } |
| 443 | testcase TC_ecbe_create_delete_ci() runs on test_CT { |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 444 | f_init(num_bsc := 1); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 445 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 446 | var template (value) CBS_Message msg := t_CBSmsg(46, 16752); |
| 447 | cell_list_success := ts_BSSMAP_CIL_CI({ |
| 448 | ts_BSSMAP_CI_CI(50001), |
| 449 | ts_BSSMAP_CI_CI(50002), |
| 450 | ts_BSSMAP_CI_CI(50003) |
| 451 | }); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 452 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 453 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 454 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 455 | f_start(); |
| 456 | f_create_and_delete(valueof(msg)); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 457 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 458 | } |
| 459 | testcase TC_ecbe_create_delete_lai() runs on test_CT { |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 460 | f_init(num_bsc := 1); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 461 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 462 | var template (value) CBS_Message msg := t_CBSmsg(47, 16752); |
| 463 | cell_list_success := ts_BSSMAP_CIL_LAI({ |
| 464 | ts_BSSMAP_CI_LAI('901'H, '70'H, 25), |
| 465 | ts_BSSMAP_CI_LAI('901'H, '70'H, 26), |
| 466 | ts_BSSMAP_CI_LAI('901'H, '70'H, 27) |
| 467 | }); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 468 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 469 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 470 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 471 | f_start(); |
| 472 | f_create_and_delete(valueof(msg)); |
| 473 | f_shutdown_helper(); |
| 474 | } |
| 475 | |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 476 | /* Create and delete message with MME available. MME reports |
| 477 | * Write-Replace-Warning-Indication and Stop-Warning-Indication to CBC |
| 478 | */ |
| 479 | testcase TC_ecbe_create_delete_mme_indication() runs on test_CT { |
| 480 | var template (value) CellId_Broadcast_List bcast_cell_id_li; |
| 481 | var template (value) CBS_Message msg := t_CBSmsg(48, 16752); |
| 482 | |
| 483 | f_init(num_bsc := 0, num_mme := 1); |
| 484 | |
| 485 | bcast_cell_id_li := { |
| 486 | ts_SBCAP_CellId_Broadcast_List_Item(ts_SBCAP_ECGI(f_enc_mcc_mnc('901'H, '70'H), 1234)), |
| 487 | ts_SBCAP_CellId_Broadcast_List_Item(ts_SBCAP_ECGI(f_enc_mcc_mnc('901'H, '70'H), 5678)) |
| 488 | }; |
| 489 | g_pars_MME[0].start_fn := refers(f_mme_create_and_delete); |
| 490 | g_pars_MME[0].exp_cbs_msg := valueof(msg); |
| 491 | g_pars_MME[0].write_replace_warning_ind_cause := SBC_AP_Cause_message_accepted; |
| 492 | g_pars_MME[0].bcast_cell_id_list := valueof(bcast_cell_id_li); |
| 493 | f_start(); |
| 494 | f_create_and_delete(valueof(msg)); |
| 495 | f_shutdown_helper(); |
| 496 | } |
| 497 | |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 498 | /* Create and delete message with MME available. MME reports |
| 499 | * Write-Replace-Response with Unknown TAI IE. |
| 500 | */ |
| 501 | testcase TC_ecbe_create_delete_mme_unknown_tai() runs on test_CT { |
| 502 | var template (value) List_of_TAIs write_repl_unknown_TAIs; |
| 503 | var template (value) CBS_Message msg := t_CBSmsg(48, 16752); |
| 504 | |
| 505 | f_init(num_bsc := 0, num_mme := 1); |
| 506 | |
| 507 | write_repl_unknown_TAIs := {{ts_SBCAP_TAI(f_enc_mcc_mnc('901'H, '70'H), 1234)}}; |
| 508 | g_pars_MME[0].start_fn := refers(f_mme_create_and_delete); |
| 509 | g_pars_MME[0].exp_cbs_msg := valueof(msg); |
| 510 | g_pars_MME[0].write_replace_warning_ind_cause := SBC_AP_Cause_message_accepted; |
| 511 | g_pars_MME[0].write_repl_unknown_TAIs := valueof(write_repl_unknown_TAIs); |
| 512 | f_start(); |
| 513 | f_create_and_delete(valueof(msg)); |
| 514 | f_shutdown_helper(); |
| 515 | } |
| 516 | |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 517 | /* Create and delete message with both BSC and MME available */ |
| 518 | testcase TC_ecbe_create_delete_bsc_and_mme() runs on test_CT { |
| 519 | f_init(num_bsc := 1, num_mme := 1); |
| 520 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 521 | var template (value) CellId_Broadcast_List bcast_cell_id_li; |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 522 | var template (value) CBS_Message msg := t_CBSmsg(43, 16752); |
| 523 | |
| 524 | cell_list_success := ts_BSSMAP_CIL_CGI({ |
| 525 | ts_BSSMAP_CI_CGI('901'H, '70'H, 23, 42), |
| 526 | ts_BSSMAP_CI_CGI('901'H, '70'H, 24, 42), |
| 527 | ts_BSSMAP_CI_CGI('901'H, '70'H, 24, 43) |
| 528 | }); |
| 529 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 530 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 531 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 532 | |
| 533 | bcast_cell_id_li := { |
| 534 | ts_SBCAP_CellId_Broadcast_List_Item(ts_SBCAP_ECGI(f_enc_mcc_mnc('901'H, '70'H), 1234)) |
| 535 | }; |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 536 | g_pars_MME[0].start_fn := refers(f_mme_create_and_delete); |
| 537 | g_pars_MME[0].exp_cbs_msg := valueof(msg); |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 538 | g_pars_MME[0].write_replace_warning_ind_cause := SBC_AP_Cause_message_accepted; |
| 539 | g_pars_MME[0].bcast_cell_id_list := valueof(bcast_cell_id_li); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 540 | f_start(); |
| 541 | f_create_and_delete(valueof(msg)); |
Pau Espin Pedrol | 9d8b6bf | 2022-06-23 12:19:47 +0200 | [diff] [blame] | 542 | f_shutdown_helper(); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 543 | } |
| 544 | |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 545 | /* Create and delete message with BSC acting as TCP server */ |
| 546 | testcase TC_ecbe_create_delete_bsc_server() runs on test_CT { |
| 547 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 548 | var template (value) CBS_Message msg := t_CBSmsg(46, 16752); |
| 549 | |
| 550 | /* The 2nd BSC is the one configured as server, but we only want to test |
| 551 | * that one, so initialize both but copy over config of the 2nd one to |
| 552 | * the first one, to start only one BSC: */ |
| 553 | f_init(num_bsc := 2); |
| 554 | g_num_bsc := 1; |
| 555 | g_pars_BSC[0] := g_pars_BSC[1]; |
| 556 | |
| 557 | cell_list_success := ts_BSSMAP_CIL_CI({ |
| 558 | ts_BSSMAP_CI_CI(50001), |
| 559 | ts_BSSMAP_CI_CI(50002), |
| 560 | ts_BSSMAP_CI_CI(50003) |
| 561 | }); |
| 562 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 563 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 564 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
| 565 | f_start(); |
| 566 | f_create_and_delete(valueof(msg)); |
| 567 | f_shutdown_helper(); |
| 568 | } |
| 569 | |
| 570 | /* Create and delete message with MME acting as SCTP server */ |
| 571 | testcase TC_ecbe_create_delete_mme_server() runs on test_CT { |
| 572 | var template (value) CellId_Broadcast_List bcast_cell_id_li; |
| 573 | var template (value) CBS_Message msg := t_CBSmsg(48, 16752); |
| 574 | |
| 575 | /* The 2nd MME is the one configured as server, but we only want to test |
| 576 | * that one, so initialize both but copy over config of the 2nd one to |
| 577 | * the first one, to start only one MME: */ |
| 578 | f_init(num_bsc := 0, num_mme := 2); |
| 579 | g_num_mme := 1; |
| 580 | g_pars_MME[0] := g_pars_MME[1]; |
| 581 | |
| 582 | bcast_cell_id_li := { |
| 583 | ts_SBCAP_CellId_Broadcast_List_Item(ts_SBCAP_ECGI(f_enc_mcc_mnc('901'H, '70'H), 1234)), |
| 584 | ts_SBCAP_CellId_Broadcast_List_Item(ts_SBCAP_ECGI(f_enc_mcc_mnc('901'H, '70'H), 5678)) |
| 585 | }; |
| 586 | g_pars_MME[0].start_fn := refers(f_mme_create_and_delete); |
| 587 | g_pars_MME[0].exp_cbs_msg := valueof(msg); |
| 588 | g_pars_MME[0].write_replace_warning_ind_cause := SBC_AP_Cause_message_accepted; |
| 589 | g_pars_MME[0].bcast_cell_id_list := valueof(bcast_cell_id_li); |
| 590 | f_start(); |
| 591 | f_create_and_delete(valueof(msg)); |
| 592 | f_shutdown_helper(); |
| 593 | } |
| 594 | |
Pau Espin Pedrol | a5536b6 | 2022-08-02 18:53:08 +0200 | [diff] [blame] | 595 | /* Create 2 concurrent messages against an MME, then delete them */ |
| 596 | private function f_mme_TC_concurrent_cbs_msg_mme() runs on MME_ConnHdlr { |
| 597 | var CBS_Message msg[2]; |
| 598 | msg[0] := g_pars.exp_cbs_msg; |
| 599 | msg[1] := msg[0]; |
| 600 | msg[1].msg_id := msg[0].msg_id + 1; |
| 601 | |
| 602 | for (var integer i := 0; i < lengthof(msg); i := i + 1) { |
| 603 | f_sbcap_handle_write_replace_warn_req(msg[i], 0); |
| 604 | if (ispresent(g_pars.write_replace_warning_ind_cause) and |
| 605 | ispresent(g_pars.bcast_cell_id_list)) { |
| 606 | f_sbcap_tx_write_replace_warn_ind(0, msg[i], |
| 607 | g_pars.write_replace_warning_ind_cause, |
| 608 | g_pars.bcast_cell_id_list) |
| 609 | } |
| 610 | } |
| 611 | /* Now handle Stop: */ |
| 612 | for (var integer i := 0; i < lengthof(msg); i := i + 1) { |
| 613 | f_sbcap_handle_stop_warn_req(0, msg[i]); |
| 614 | } |
| 615 | } |
| 616 | testcase TC_concurrent_cbs_msg_mme() runs on test_CT { |
| 617 | var template (value) CellId_Broadcast_List bcast_cell_id_li; |
| 618 | var CBS_Message msg[2]; |
| 619 | var EcbeCbcMessage ecbe; |
| 620 | |
| 621 | msg[0] := valueof(t_CBSmsg(49, 16752)); |
| 622 | msg[1] := msg[0]; |
| 623 | msg[1].msg_id := msg[0].msg_id + 1; |
| 624 | |
| 625 | f_init(num_bsc := 0, num_mme := 1); |
| 626 | |
| 627 | bcast_cell_id_li := { |
| 628 | ts_SBCAP_CellId_Broadcast_List_Item(ts_SBCAP_ECGI(f_enc_mcc_mnc('901'H, '70'H), 1234)) |
| 629 | }; |
| 630 | g_pars_MME[0].start_fn := refers(f_mme_TC_concurrent_cbs_msg_mme); |
| 631 | g_pars_MME[0].exp_cbs_msg := msg[0]; |
| 632 | g_pars_MME[0].write_replace_warning_ind_cause := SBC_AP_Cause_message_accepted; |
| 633 | g_pars_MME[0].bcast_cell_id_list := valueof(bcast_cell_id_li); |
| 634 | f_start(); |
| 635 | |
| 636 | for (var integer i := 0; i < lengthof(msg); i := i + 1) { |
| 637 | ecbe := f_cbs2ecbe(msg[i], "TTCN-3"); |
| 638 | f_ecbe_tx_post_cbs(ecbe); |
| 639 | f_ecbe_rx_resp(201); |
| 640 | } |
| 641 | |
| 642 | f_sleep(2.0); |
| 643 | |
| 644 | for (var integer i := 0; i < lengthof(msg); i := i + 1) { |
| 645 | f_ecbe_tx_delete_cbs(msg[i].msg_id); |
| 646 | f_ecbe_rx_resp(200); |
| 647 | } |
| 648 | |
| 649 | f_shutdown_helper(); |
| 650 | } |
| 651 | |
Pau Espin Pedrol | e7d3d99 | 2022-08-04 12:21:10 +0200 | [diff] [blame] | 652 | /* Test ETWS message over CBSP. TS 23.041 9.4.1.2.2 */ |
Pau Espin Pedrol | ad5d2db | 2022-08-03 14:02:02 +0200 | [diff] [blame] | 653 | testcase TC_ecbe_create_delete_etws_bsc() runs on test_CT { |
| 654 | f_init(num_bsc := 1); |
| 655 | var template (value) BSSMAP_FIELD_CellIdentificationList cell_list_success; |
| 656 | var template (value) CBS_Message msg := t_CBSmsg(4352 /* Earthquake */, 16752); |
| 657 | msg.channel_ind := omit; |
| 658 | |
| 659 | cell_list_success := ts_BSSMAP_CIL_CGI({ |
| 660 | ts_BSSMAP_CI_CGI('901'H, '70'H, 23, 42), |
| 661 | ts_BSSMAP_CI_CGI('901'H, '70'H, 24, 42) |
| 662 | }); |
| 663 | g_pars_BSC[0].start_fn := refers(f_bsc_create_and_delete); |
| 664 | g_pars_BSC[0].exp_cbs_msg := valueof(msg); |
| 665 | g_pars_BSC[0].cell_list_success := valueof(cell_list_success); |
| 666 | f_start(); |
| 667 | f_create_and_delete(valueof(msg)); |
| 668 | f_shutdown_helper(); |
| 669 | } |
| 670 | |
Pau Espin Pedrol | e7d3d99 | 2022-08-04 12:21:10 +0200 | [diff] [blame] | 671 | /* Test ETWS message over SBc-AP. TS 23.041 9.4.1.2.2 */ |
| 672 | testcase TC_ecbe_create_delete_etws_mme() runs on test_CT { |
| 673 | f_init(num_mme := 1); |
| 674 | var template (value) CBS_Message msg := t_CBSmsg(4352 /* Earthquake */, 16753); |
| 675 | msg.channel_ind := omit; |
| 676 | |
| 677 | g_pars_MME[0].start_fn := refers(f_mme_create_and_delete); |
| 678 | g_pars_MME[0].exp_cbs_msg := valueof(msg); |
| 679 | f_start(); |
| 680 | f_create_and_delete(valueof(msg)); |
| 681 | f_shutdown_helper(); |
| 682 | } |
| 683 | |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 684 | control { |
| 685 | execute( TC_rx_keepalive() ); |
| 686 | execute( TC_rx_keepalive_timeout() ); |
| 687 | execute( TC_ecbe_create_delete_cgi() ); |
| 688 | execute( TC_ecbe_create_delete_lac_ci() ); |
| 689 | execute( TC_ecbe_create_delete_lac() ); |
| 690 | execute( TC_ecbe_create_delete_ci() ); |
| 691 | execute( TC_ecbe_create_delete_lai() ); |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 692 | execute( TC_ecbe_create_delete_mme_indication() ); |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 693 | execute( TC_ecbe_create_delete_mme_unknown_tai() ); |
Pau Espin Pedrol | 1976346 | 2022-07-29 10:47:33 +0200 | [diff] [blame] | 694 | execute( TC_ecbe_create_delete_bsc_and_mme() ); |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 695 | execute( TC_ecbe_create_delete_bsc_server() ); |
| 696 | execute( TC_ecbe_create_delete_mme_server() ); |
Pau Espin Pedrol | a5536b6 | 2022-08-02 18:53:08 +0200 | [diff] [blame] | 697 | execute( TC_concurrent_cbs_msg_mme() ); |
Pau Espin Pedrol | ad5d2db | 2022-08-03 14:02:02 +0200 | [diff] [blame] | 698 | |
| 699 | execute( TC_ecbe_create_delete_etws_bsc() ); |
Pau Espin Pedrol | e7d3d99 | 2022-08-04 12:21:10 +0200 | [diff] [blame] | 700 | execute( TC_ecbe_create_delete_etws_mme() ); |
Harald Welte | 0833230 | 2019-08-01 09:54:40 +0200 | [diff] [blame] | 701 | } |
| 702 | |
| 703 | } |