204 lines
6.8 KiB
Plaintext
204 lines
6.8 KiB
Plaintext
module CBC_Tests {
|
|
|
|
import from Osmocom_Types all;
|
|
|
|
import from BSSAP_Types all;
|
|
import from CBSP_Types all;
|
|
import from CBSP_Templates all;
|
|
import from CBSP_Adapter all;
|
|
import from CBSP_CodecPort all;
|
|
|
|
modulepar {
|
|
charstring mp_cbc_host := "127.0.0.1";
|
|
integer mp_cbc_port := 48049;
|
|
};
|
|
|
|
type component test_CT extends CBSP_Adapter_CT {
|
|
};
|
|
|
|
altstep as_cbsp_reset(integer idx) runs on CBSP_Adapter_CT {
|
|
var CBSP_RecvFrom rf;
|
|
[] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], tr_CBSP_RESET)) -> value rf {
|
|
var CBSP_IE ie;
|
|
f_cbsp_find_ie(rf.msg, CBSP_IEI_CELL_LIST, ie);
|
|
CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx],
|
|
ts_CBSP_RESET_COMPL(ie.body.cell_list.cell_id)));
|
|
}
|
|
}
|
|
|
|
/* receive + acknowledge KEEP-ALIVE */
|
|
altstep as_cbsp_keepalive_ack(integer idx) runs on CBSP_Adapter_CT {
|
|
[] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], tr_CBSP_KEEP_ALIVE)) {
|
|
CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], ts_CBSP_KEEP_ALIVE_COMPL));
|
|
}
|
|
}
|
|
|
|
/* receive + ignore RESTART */
|
|
altstep as_cbsp_restart(integer idx) runs on CBSP_Adapter_CT {
|
|
[] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], tr_CBSP_RESTART));
|
|
}
|
|
|
|
private function f_init(boolean raw := false) runs on test_CT {
|
|
CBSP_Adapter.f_connect(mp_cbc_host, mp_cbc_port, "", -1);
|
|
|
|
if (not raw) {
|
|
var BSSMAP_FIELD_CellIdentificationList cell_list := {
|
|
cIl_allInBSS := ''O
|
|
};
|
|
activate(as_cbsp_keepalive_ack(0));
|
|
activate(as_cbsp_restart(0));
|
|
f_cbsp_send(ts_CBSP_RESTART(cell_list, CBSP_BC_MSGT_CBS, CBSP_RI_DATA_LOST));
|
|
f_cbsp_send(ts_CBSP_RESTART(cell_list, CBSP_BC_MSGT_EMERG, CBSP_RI_DATA_LOST));
|
|
as_cbsp_reset(0);
|
|
}
|
|
}
|
|
|
|
testcase TC_foo() runs on test_CT {
|
|
f_init();
|
|
f_sleep(10.0);
|
|
}
|
|
|
|
/* test whether or not we receive a KEEP-ALIVE at all */
|
|
testcase TC_rx_keepalive() runs on test_CT {
|
|
f_init(raw := true);
|
|
f_cbsp_exp(tr_CBSP_KEEP_ALIVE(?));
|
|
setverdict(pass);
|
|
}
|
|
|
|
testcase TC_rx_keepalive_timeout() runs on test_CT {
|
|
var CBSP_PDU rx;
|
|
var CBSP_IE ie;
|
|
|
|
f_init(raw := true);
|
|
rx := f_cbsp_exp(tr_CBSP_KEEP_ALIVE(?));
|
|
f_cbsp_find_ie(rx, CBSP_IEI_KEEP_ALIVE_REP_PERIOD, ie);
|
|
|
|
setverdict(pass);
|
|
}
|
|
|
|
type record CBS_Message {
|
|
uint16_t msg_id,
|
|
uint16_t ser_nr,
|
|
BSSMAP_FIELD_CellIdentificationList cell_list,
|
|
uint8_t channel_ind,
|
|
CBSP_Category category,
|
|
uint16_t rep_period,
|
|
uint16_t num_bcast_req,
|
|
uint8_t dcs,
|
|
CBS_MessageContents content
|
|
};
|
|
type record CBS_MessageContent {
|
|
octetstring payload,
|
|
uint8_t user_len
|
|
};
|
|
type record of CBS_MessageContent CBS_MessageContents;
|
|
|
|
private function f_cbsp_write(CBS_Message msg, integer idx := 0) runs on test_CT {
|
|
var template CBSP_IEs content_ies := {};
|
|
var template (present) CBSP_PDU rx_templ;
|
|
var CBSP_RecvFrom rf;
|
|
for (var integer i := 0; i < lengthof(msg.content); i := i+1) {
|
|
//content_ies[i] := tr_CbspMsgContent(msg.content[i].payload, msg.content[i].user_len);
|
|
content_ies[i] := tr_CbspMsgContent(?, ?);
|
|
}
|
|
rx_templ := tr_CBSP_WRITE_CBS(msg.msg_id, msg.ser_nr, msg.cell_list, msg.channel_ind,
|
|
msg.category, msg.rep_period, msg.num_bcast_req, msg.dcs,
|
|
content_ies);
|
|
alt {
|
|
[] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], rx_templ)) -> value rf {
|
|
template (value) CBSP_PDU tx := ts_CBSP_WRITE_CBS_COMPL(msg.msg_id, msg.ser_nr, msg.cell_list, msg.channel_ind);
|
|
CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], tx));
|
|
}
|
|
[] CBSP[idx].receive {
|
|
setverdict(fail, "Received unexpected CBSP");
|
|
}
|
|
}
|
|
}
|
|
|
|
private const BSSMAP_FIELD_CellIdentificationList cil_BSS := {
|
|
cIl_allInBSS := ''O
|
|
};
|
|
|
|
testcase TC_write_replace() runs on test_CT {
|
|
f_init();
|
|
var CBS_Message msg := {
|
|
msg_id := 42,
|
|
ser_nr := 16752,
|
|
cell_list := cil_BSS,
|
|
channel_ind := 0,
|
|
category := CBSP_CATEG_NORMAL,
|
|
rep_period := 5,
|
|
num_bcast_req := 3,
|
|
dcs := 1,
|
|
content := {
|
|
{ '00'O, 1 }
|
|
}
|
|
};
|
|
f_cbsp_write(msg);
|
|
f_sleep(100.0);
|
|
}
|
|
|
|
testcase TC_selftest() runs on test_CT {
|
|
const octetstring c_load_q := '0700000d0400080000f110012345671200'O;
|
|
const octetstring c_load_q_compl := '0800000f0a000a0000f1100123456700001200'O;
|
|
const octetstring c_reset := '1000000b0400080000f11001234567'O;
|
|
const octetstring c_reset_compl := '1100000b0400080000f11001234567'O;
|
|
const octetstring c_msg_sts_q := '0a0000130e022b0200000400080000f110012345671200'O;
|
|
const octetstring c_msg_sts_q_fail := '0c0000140e022b0200000900090000f11001234567021200'O;
|
|
const octetstring c_kill := '040000110e00000200000400080000f11001234567'O;
|
|
const octetstring c_kill_fail := '060000120e00000200000900090000f1100123456702'O;
|
|
const octetstring c_write_repl := '010000c70e022b0300300400080000f110012345671200050006000407000613020c400107f4f29c9e769f5de337b90c921d1b8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d100'O;
|
|
const octetstring c_write_repl_compl := '020000130e022b0300300400080000f110012345671200'O;
|
|
const octetstring c_write_repl_fail := '030000140e022b0300300900090000f110012345670d1200'O;
|
|
const octetstring c_msg_s_q := '0a0000130e022b0200900400080000f110012345671200'O;
|
|
const octetstring c_msg_s_q_compl := '0b0000160e022b02009008000b0000f110012345670008001200'O;
|
|
const octetstring c_kill_compl := '050000160e022b02008008000b0000f110012345670006001200'O;
|
|
|
|
log(dec_CBSP_PDU(c_load_q));
|
|
log(dec_CBSP_PDU(c_load_q_compl));
|
|
log(dec_CBSP_PDU(c_reset));
|
|
log(dec_CBSP_PDU(c_reset_compl));
|
|
log(dec_CBSP_PDU(c_msg_sts_q));
|
|
log(dec_CBSP_PDU(c_msg_sts_q_fail));
|
|
log(dec_CBSP_PDU(c_kill));
|
|
log(dec_CBSP_PDU(c_kill_fail));
|
|
log(dec_CBSP_PDU(c_write_repl));
|
|
log(dec_CBSP_PDU(c_write_repl_compl));
|
|
log(dec_CBSP_PDU(c_write_repl_fail));
|
|
log(dec_CBSP_PDU(c_msg_s_q));
|
|
log(dec_CBSP_PDU(c_msg_s_q_compl));
|
|
log(dec_CBSP_PDU(c_kill_compl));
|
|
}
|
|
|
|
import from SABP_Types all;
|
|
import from SABP_Templates all;
|
|
import from SABP_IEs all;
|
|
import from SABP_PDU_Descriptions all;
|
|
|
|
testcase TC_selftest_sabp() runs on test_CT {
|
|
const octetstring c_write := '00000080930000080006000211120007000240c0000f0010000113f0030282ec0613f0030282ec070001400100000d0002012a000900020000000400010100000056029f01b4d90d064297d9ec37e8fe96b3c9a0303bdd68341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d168341a8d46a3d10012'O;
|
|
|
|
log(dec_SABP_PDU(c_write));
|
|
log(enc_SABP_PDU(dec_SABP_PDU(c_write)));
|
|
|
|
var template (value) Service_Areas_List sa_list := {
|
|
ts_SabpSai('62F224'O, '0023'O, '0042'O)
|
|
};
|
|
var template (value) SABP_PDU tx;
|
|
|
|
tx := ts_SABP_Write(int2bit(1, 16), int2bit(1, 16), sa_list, 23, 42, '00000000'B, '01011010'B);
|
|
log("Write: ", enc_SABP_PDU(valueof(tx)))
|
|
|
|
var Service_Areas_List sa_list2 := { valueof(ts_SabpSai('62F224'O, '1000'O, '0042'O)) };
|
|
for (var integer i := 0; i < 2500; i := i+1) {
|
|
sa_list2 := sa_list2 & {valueof(ts_SabpSai('62F224'O, '2000'O, int2oct(i,2))) };
|
|
}
|
|
tx := ts_SABP_Write(int2bit(2, 16), int2bit(2, 16), sa_list2, 23, 42, '00000000'B, '01011010'B);
|
|
log("Write: ", enc_SABP_PDU(valueof(tx)))
|
|
|
|
tx := ts_SABP_Restart(sa_list);
|
|
log("Restart: ", enc_SABP_PDU(valueof(tx)));
|
|
}
|
|
|
|
}
|