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