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