ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

library: L1CTL: merge L1ctl{Ul,Dl}Message into L1ctlMessage 

Currently we have two variants of the L1CTL PDU:

* L1ctlUlMessage: L23 -> L1 requests (*_REQ),
* L1ctlDlMessage: L1 -> L23 responses (*_IND, *_CONF).

The L1CTL_PT port is defined in a way that one can:

* Tx L1ctl{Ul,Dl}Message PDUs,
* Rx L1ctlDlMessage PDUs.

This means that the testsuite can act as the L23 talking to the L1
(e.g. trxcon or virtphy), but not vice-versa.  Adding an additional
Rx `UD_send_data -> L1ctlUlMessage` mapping is not an option,
because such a mapping would be ambiguous and would cause errors.

By merging the two L1CTL PDU variants into the one, we can achieve
the testsuite acting as the L1.  This will be useful for testing
the L23 applications in osmocom-bb.git, like the modem app.

Take a chance to reorder fields to match the order in L1ctlMsgType.

Change-Id: I1313068c5f02b65d3dbb05a1341a9d7286225f0c
Related: OS#5500
This commit is contained in:
Vadim Yanitskiy 2023-03-18 06:49:18 +07:00
parent f4986e86e4
commit af0aae66db
5 changed files with 185 additions and 168 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

72
bts/BTS_Tests.ttcn
View File

@ -929,7 +929,7 @@ friend template ConnHdlrPars t_Pars(template RslChannelNr chan_nr,
/* This altstep triggers on receipt of a L1CTL DATA.ind matching the given
* RSL chan_nr/link_id and data templates. Used as a base for other altsteps. */
private altstep as_l1ctl_dl_msg(out L1ctlDlMessage msg,
private altstep as_l1ctl_dl_msg(out L1ctlMessage msg,
template (present) octetstring tr_data := ?,
template (present) RslChannelNr chan_nr := ?,
template (present) RslLinkId link_id := ?)
@ -945,7 +945,7 @@ private altstep as_dl_lapdm_dummy(template (present) RslChannelNr chan_nr := ?,
boolean do_repeat := true)
runs on ConnHdlr {
template (present) LapdmFrame tr_frame := tr_LAPDm_UI(sapi, true, ''O);
var L1ctlDlMessage dl_msg;
var L1ctlMessage dl_msg;
[] as_l1ctl_dl_msg(dl_msg, decmatch tr_frame, chan_nr, link_id) {
if (do_repeat) {
@ -960,7 +960,7 @@ private altstep as_dl_dcch_lapdm_ab(out LapdmFrameAB frame,
template (present) LapdmFrameAB tr_frame := ?,
template (present) RslLinkId link_id := ?)
runs on ConnHdlr {
var L1ctlDlMessage dl_msg;
var L1ctlMessage dl_msg;
[] as_l1ctl_dl_msg(dl_msg, decmatch tr_frame, g_chan_nr, link_id) {
frame := dec_LapdmFrameAB(dl_msg.payload.data_ind.payload);
@ -974,7 +974,7 @@ private altstep as_dl_sacch_lapdm_ab(out SacchL1Header l1h, out LapdmFrameAB fra
template (present) SacchL1Header tr_l1h := ?,
template (present) GsmSapi sapi := ?)
runs on ConnHdlr {
var L1ctlDlMessage dl_msg;
var L1ctlMessage dl_msg;
template (present) RslLinkId link_id := tr_RslLinkID_SACCH(sapi);
template (present) L1ctlDataReq tr_data := {
l1header := tr_l1h,
@ -1208,7 +1208,7 @@ testcase TC_deact_sacch() runs on test_CT {
private function f_sacch_present(template octetstring l3_exp,
boolean do_fail := true)
runs on ConnHdlr {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T_sacch := 3.0;
L1CTL.clear;
T_sacch.start;
@ -1234,7 +1234,7 @@ runs on ConnHdlr {
/* verify that given SACCH payload is not present */
private function f_sacch_missing(template octetstring l3_exp) runs on ConnHdlr {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T_sacch := 3.0;
L1CTL.clear;
T_sacch.start;
@ -2048,7 +2048,7 @@ testcase TC_ho_rach() runs on test_CT {
private function f_TC_ho_physical_info(charstring id) runs on ConnHdlr {
var PDU_ML3_NW_MS dcch_pdu;
var integer count := 0;
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T;
f_l1_tune(L1CTL);
@ -2162,7 +2162,7 @@ ts_LAPDm_AB(template (value) LapdmSapi sapi,
/* handle incoming downlink SACCH and respond with uplink SACCH (meas res) */
private altstep as_l1_sacch() runs on ConnHdlr {
var template (value) LapdmFrameAB lb;
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
[] L1CTL.receive(tr_L1CTL_DATA_IND(g_chan_nr, tr_RslLinkID_SACCH(?))) -> value l1_dl {
log("SACCH received: ", l1_dl.payload.data_ind.payload);
@ -2191,7 +2191,7 @@ private altstep as_l1_sacch_l1h(inout SacchL1Header l1h,
boolean do_apply := true)
runs on ConnHdlr
{
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
[] L1CTL.receive(tr_L1CTL_DATA_IND(g_chan_nr, tr_RslLinkID_SACCH(?))) -> value l1_dl {
/* Parse the L1 SACCH header (MS Power Level & Timing Advance) */
@ -2206,7 +2206,7 @@ runs on ConnHdlr
}
private altstep as_l1_dcch_loop() runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
[] L1CTL.receive(tr_L1CTL_DATA_IND(g_chan_nr, tr_RslLinkID_DCCH(?))) -> value l1_dl {
log("DCCH received: ", l1_dl.payload.data_ind.payload);
var octetstring pl := '010301'O;
@ -2217,7 +2217,7 @@ private altstep as_l1_dcch_loop() runs on ConnHdlr {
}
private altstep as_l1_tch_loop() runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
[] L1CTL.receive(tr_L1CTL_TRAFFIC_IND(g_chan_nr)) -> value l1_dl {
log("TCH received: ", l1_dl.payload.traffic_ind.data);
@ -2773,7 +2773,7 @@ private function f_TC_meas_res_periodic(charstring id) runs on ConnHdlr {
/* Wait until the BTS has reached full tx power (nominal tx power minus configured attenuation) */
private function f_wait_ramp_up() runs on ConnHdlr return integer {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var integer max_rx_lvl := mp_bts_tx_nom_pwr_exp - mp_bts_tx_pwr_att_exp;
timer Tup := 10.0;
Tup.start;
@ -2798,7 +2798,7 @@ private function f_wait_ramp_up() runs on ConnHdlr return integer {
/* verify BTS ramps power up to full tx power (nominal tx power minus configured attenuation) */
private function f_verify_ramp_up() runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var integer initial_rx_lvl := -1;
var integer last_rx_lvl := -1;
var integer max_rx_lvl := mp_bts_tx_nom_pwr_exp - mp_bts_tx_pwr_att_exp;
@ -2860,7 +2860,7 @@ private function f_verify_ramp_up() runs on ConnHdlr {
/* verify BTS ramps power down to rx_level 0 */
private function f_verify_ramp_down(integer max_rx_lvl) runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var integer last_rx_lvl := max_rx_lvl;
timer Tdown := 5.0;
@ -2907,7 +2907,7 @@ private function f_verify_ramp_down(integer max_rx_lvl) runs on ConnHdlr {
/* verify BTS power down to rx_level 0 without ramping */
private function f_verify_power_down(integer max_rx_lvl) runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var boolean first_data_ind := true;
timer Tdown := 5.0;
@ -2997,7 +2997,7 @@ testcase TC_tx_power_down_bcch() runs on test_CT {
* + ramping up during ADM state LOCKED->UNLOCKED
*/
private function f_TC_tx_power_ramp_adm_state_change(charstring id) runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var integer last_rx_lvl;
f_connhdlr_init_vty_bsc();
@ -4088,7 +4088,7 @@ private altstep as_l1_count_paging(inout integer num_paging_rcv_msgs,
inout integer num_paging_rcv_ids,
PagingTestCfg cfg)
runs on test_CT {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_RslChanNr_PCH_AGCH(0), ?, c_DummyUI)) {
repeat;
}
@ -4468,7 +4468,7 @@ private function f_fmt_ia_stats(integer num_tx, integer num_rx, integer num_del)
}
private function f_TC_imm_ass(integer num_total, float sleep_s, float exp_pass) runs on test_CT {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
timer T := 10.0;
var integer num_tx := 0;
var integer num_rx := 0;
@ -4890,7 +4890,7 @@ private function f_l1_sample_si(L1CTL_PT pt, float duration := 8.0)
return SystemInformationVectorPerTc {
timer T := duration;
var SystemInformationVectorPerTc si_per_tc;
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
/* initialize all per-TC vectors empty */
for (var integer i:= 0; i < sizeof(si_per_tc); i := i+1) {
@ -5561,7 +5561,7 @@ private function f_pcu_to_l1(uint8_t bts_nr, uint8_t trx_nr, uint8_t ts_nr,
boolean wait_rts := true)
runs on test_CT {
timer T := 5.0;
var L1ctlDlMessage rx_dl;
var L1ctlMessage rx_dl;
PCU.clear;
if (wait_rts) {
@ -5668,7 +5668,7 @@ runs on test_CT {
}
testcase TC_pcu_ptcch() runs on test_CT {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var octetstring data;
timer T;
@ -6266,7 +6266,7 @@ testcase TC_pcu_socket_reconnect() runs on test_CT {
/* Ensure that GPRS capability is not advertised before PCU socket conncet */
private function f_get_si(L1CTL_PT pt, RrMessageType si_type)
runs on test_CT return SystemInformation {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var SystemInformation si;
var integer rc;
timer T := 5.0;
@ -7214,7 +7214,7 @@ testcase TC_rll_est_ind() runs on test_CT {
/* test if RLL EST REQ trigeres SABM on Um; UA on Um triggers EST CONF (TS 48.058 3.2) */
private function f_TC_rll_est_req(charstring id) runs on ConnHdlr {
var RllTestCase tc := g_pars.spec.rll;
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T := 3.0;
f_l1_tune(L1CTL);
@ -7255,7 +7255,7 @@ testcase TC_rll_est_req_ACCH_3() runs on test_CT {
/* altstep to receive a LAPDm frame matching the given template */
friend altstep as_l1_exp_lapdm(template LapdmFrame exp) runs on ConnHdlr {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
[] L1CTL.receive(tr_L1CTL_DATA_IND(g_chan_nr, ?)) -> value dl {
var LapdmFrame lapdm;
var octetstring l2 := dl.payload.data_ind.payload;
@ -7571,7 +7571,7 @@ private function f_TC_chan_act_encr(charstring id) runs on ConnHdlr {
f_est_dchan(true);
/* now we actually need to transmit some data both ways to check if the encryption works */
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var octetstring l3 := f_rnd_octstring(20);
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(0));
@ -7615,7 +7615,7 @@ private function f_TC_rsl_modify_encr(charstring id) runs on ConnHdlr {
f_est_dchan(true);
/* now we actually need to transmit some data both ways to check if the encryption works */
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var octetstring l3 := f_rnd_octstring(20);
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(0));
@ -7831,7 +7831,7 @@ testcase TC_lapdm_selftest() runs on test_CT {
* DTX Related (see GSM 05.08, section 8.3)
***********************************************************************/
private function f_TC_tch_sign_l2_fill_frame(charstring id) runs on ConnHdlr {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var GsmFrameNumber first_fn;
var boolean is_first_frame := true;
var integer nfill_frames := 0;
@ -7853,7 +7853,7 @@ private function f_TC_tch_sign_l2_fill_frame(charstring id) runs on ConnHdlr {
f_est_dchan(false);
/* A template for matching dummy LAPDm func=UA frames */
var template L1ctlDlMessage tr_fill_frame := tr_L1CTL_DATA_IND(
var template L1ctlMessage tr_fill_frame := tr_L1CTL_DATA_IND(
chan_nr := g_chan_nr, link_id := tr_RslLinkID_DCCH(?),
l2_data := f_pad_oct('030301'O, 23, '2B'O));
@ -7990,7 +7990,7 @@ type function f_TC_ms_pwr_ctrl_cb(inout SacchL1Header l1h, integer num_blocks)
private altstep as_TC_ms_pwr_ctrl(f_TC_ms_pwr_ctrl_cb cb, inout integer num_blocks)
runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var SacchL1Header l1h;
var octetstring l2;
@ -8179,8 +8179,8 @@ testcase TC_ms_pwr_ctrl_pf_ewma() runs on test_CT {
}
private function f_TC_speech_no_rtp(charstring id) runs on ConnHdlr {
var template L1ctlDlMessage tr_bad_frame;
var L1ctlDlMessage l1_dl;
var template L1ctlMessage tr_bad_frame;
var L1ctlMessage l1_dl;
timer T := 8.0;
f_l1_tune(L1CTL);
@ -8241,7 +8241,7 @@ testcase TC_speech_no_rtp_tchh() runs on test_CT {
/* Verify handling of Downlink and Uplink speech frames */
private function f_TC_speech_rtp(charstring id) runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var PDU_RTP rtp_pdu;
var octetstring pl;
timer Td, Tu;
@ -8348,7 +8348,7 @@ testcase TC_speech_rtp_tchh() runs on test_CT {
/* Verify handling of Downlink and Uplink Osmux speech frames */
private function f_TC_speech_osmux(charstring id) runs on ConnHdlr {
var L1ctlDlMessage l1_dl;
var L1ctlMessage l1_dl;
var OSMUX_PDU osmux_pdu;
var octetstring pl;
var octetstring exp_rtp_pl;
@ -8484,7 +8484,7 @@ private function f_TC_early_immediate_assignment(charstring id) runs on ConnHdlr
/* Do not expect the Immediate Assignment to show up on MS side yet. Even give it one second before the BSC
* requests Chan Activ, to make sure the RR IMM ASS is held back. */
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var GsmRrMessage rr;
var template GsmRrMessage rr_imm_ass := tr_IMM_ASS(ra, fn);
@ -8601,7 +8601,7 @@ private type record TopTestStep {
private function f_rxlev_match(template (present) RslLinkId link_id,
template (present) GsmRxLev rxlev)
runs on ConnHdlr {
var L1ctlDlMessage dl := f_L1CTL_rx_data(L1CTL, g_chan_nr, link_id);
var L1ctlMessage dl := f_L1CTL_rx_data(L1CTL, g_chan_nr, link_id);
if (not match(dl.dl_info.rx_level, rxlev)) {
setverdict(fail, "RxLev(", link_id, ") := ", dl.dl_info.rx_level,
" does not match expected RxLev := ", rxlev);
@ -8612,7 +8612,7 @@ runs on ConnHdlr {
private function f_TC_acch_overpower(charstring id) runs on ConnHdlr {
var TopTestCase tc := g_pars.spec.top;
var GsmRxLev rxlev_dcch;
var L1ctlDlMessage dl;
var L1ctlMessage dl;
/* Wait for Pau ramping to complete */
f_sleep(6.0);

10
bts/BTS_Tests_SMSCB.ttcn
View File

@ -365,7 +365,7 @@ private function f_cbch_report(CbchTestParsChan pars_chan, charstring id)
/* shared function doing the heavy lifting for most CBCH tests */
private function f_TC_smscb(CbchTestPars pars) runs on test_CT {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var integer msg_count;
timer T;
@ -418,7 +418,7 @@ private function f_TC_smscb(CbchTestPars pars) runs on test_CT {
}
private function f_TC_smscb_default_only(CbchTestPars pars) runs on test_CT {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T := 5.0;
f_smscb_setup(pars);
@ -697,7 +697,7 @@ testcase TC_sms_cb_cmd_sdcch4_default_then_null() runs on test_CT {
basic := valueof(t_CbchPC(msgs_1m_3b_default)),
extended := omit
};
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T := 5.0;
f_TC_smscb_default_only(pars);
@ -922,7 +922,7 @@ testcase TC_etws_p1ro() runs on test_CT {
* too much effort; instead simply do a binary compare to this constant */
const bitstring c_P1RO_hdr := '00101011101'B;
var integer seg_received[4] := { 0, 0, 0, 0 };
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T := 10.0;
f_init();
@ -1016,7 +1016,7 @@ testcase TC_etws_p1ro_end() runs on test_CT {
/* decoding the actual entire P1 rest octets by manually generated code is
* too much effort; instead simply do a binary compare to this constant */
const bitstring c_P1RO_hdr := '00101011101'B;
var L1ctlDlMessage dl;
var L1ctlMessage dl;
timer T := 10.0;
f_init();

42
library/L1CTL_PortType.ttcn
View File

@ -46,8 +46,8 @@ module L1CTL_PortType {
function f_L1CTL_rx_data(L1CTL_PT pt,
template (present) RslChannelNr chan_nr := ?,
template (present) RslLinkId link_id := ?)
return L1ctlDlMessage {
var L1ctlDlMessage dl;
return L1ctlMessage {
var L1ctlMessage dl;
timer T := 2.0;
T.start;
@ -72,7 +72,7 @@ module L1CTL_PortType {
{
timer T := 15.0;
for (var integer i := 0; i < 10; i := i+1) {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
pt.send(ts_L1CTL_FBSB_REQ(arfcn, valueof(t_L1CTL_FBSB_F_ALL), 0, ccch_mode, rxlev_exp));
T.start
alt {
@ -108,7 +108,7 @@ module L1CTL_PortType {
}
function f_L1CTL_TCH_MODE(L1CTL_PT pt,
template (value) L1ctlUlMessage tch_mode_req_tmpl := ts_L1CTL_TCH_MODE_REQ) {
template (value) L1ctlMessage tch_mode_req_tmpl := ts_L1CTL_TCH_MODE_REQ) {
timer T := 2.0;
pt.send(tch_mode_req_tmpl);
T.start;
@ -126,7 +126,7 @@ module L1CTL_PortType {
template (value) RslChannelNr chan_nr := ts_RslChanNr_RACH(0),
template (value) RslLinkId link_id := ts_RslLinkID_DCCH(0))
return GsmFrameNumber {
var L1ctlDlMessage rc;
var L1ctlMessage rc;
var GsmFrameNumber fn;
timer T := 2.0;
T.start
@ -146,7 +146,7 @@ module L1CTL_PortType {
L1CTL_PT pt, uint16_t ra11, L1ctlRachSynchSeq seq,
uint8_t combined := 1, uint16_t offset := 0
) return GsmFrameNumber {
var L1ctlDlMessage rc;
var L1ctlMessage rc;
var GsmFrameNumber fn;
timer T := 2.0;
@ -170,7 +170,7 @@ module L1CTL_PortType {
function f_L1CTL_WAIT_IMM_ASS(L1CTL_PT pt, uint8_t ra, GsmFrameNumber rach_fn) return ImmediateAssignment {
var template GsmRrMessage rr_imm_ass;
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var GsmRrMessage rr;
timer T := 10.0;
@ -204,7 +204,7 @@ module L1CTL_PortType {
function f_L1CTL_WAIT_IMM_ASS_TBF_DL(L1CTL_PT pt, GprsTlli tlli) return ImmediateAssignment {
var template PacketDlAssign dl_ass := tr_PacketDlAssign(tlli);
var template IaRestOctets rest := tr_IaRestOctets_DLAss(dl_ass);
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var GsmRrMessage rr;
timer T := 10.0;
T.start;
@ -310,36 +310,28 @@ module L1CTL_PortType {
pout.err := pin.result.err;
} with { extension "prototype(fast)" }
private function L1CTL_to_UD_ul(in L1ctlUlMessage pin, out UD_send_data pout) {
var L1ctlUlMessageLV msg_lv := { msg := pin };
pout.data := enc_L1ctlUlMessageLV(msg_lv);
private function L1CTL_to_UD(in L1ctlMessage pin, out UD_send_data pout) {
var L1ctlMessageLV msg_lv := { msg := pin };
pout.data := enc_L1ctlMessageLV(msg_lv);
pout.id := 0;
} with { extension "prototype(fast)" }
private function L1CTL_to_UD_dl(in L1ctlDlMessage pin, out UD_send_data pout) {
var L1ctlDlMessageLV msg_lv := { msg := pin };
pout.data := enc_L1ctlDlMessageLV(msg_lv);
pout.id := 0;
} with { extension "prototype(fast)" }
private function UD_to_L1CTL_dl(in UD_send_data pin, out L1ctlDlMessage pout) {
var L1ctlDlMessageLV msg_lv := dec_L1ctlDlMessageLV(pin.data);
private function UD_to_L1CTL(in UD_send_data pin, out L1ctlMessage pout) {
var L1ctlMessageLV msg_lv := dec_L1ctlMessageLV(pin.data);
pout:= msg_lv.msg;
} with { extension "prototype(fast)" }
type port L1CTL_PT message {
out L1ctlUlMessage
out L1ctlDlMessage
out L1ctlMessage
out L1CTL_connect
in L1ctlDlMessage
in L1ctlMessage
in L1CTL_connect_result
in UD_listen_result
in UD_connected
} with { extension "user UD_PT
out(L1ctlUlMessage -> UD_send_data: function(L1CTL_to_UD_ul);
L1ctlDlMessage -> UD_send_data: function(L1CTL_to_UD_dl);
out(L1ctlMessage -> UD_send_data: function(L1CTL_to_UD);
L1CTL_connect -> UD_connect: function(L1CTL_to_UD_connect))
in(UD_send_data -> L1ctlDlMessage: function(UD_to_L1CTL_dl);
in(UD_send_data -> L1ctlMessage: function(UD_to_L1CTL);
UD_connect_result -> L1CTL_connect_result: function(UD_to_L1CTL_connect_result);
UD_listen_result -> UD_listen_result: simple;
UD_connected -> UD_connected: simple

227
library/L1CTL_Types.ttcn
View File

@ -193,42 +193,6 @@ module L1CTL_Types {
variant (payload) "BYTEORDER(first)"
};
type union L1ctlDlPayload {
L1ctlFbsbConf fbsb_conf,
L1ctlCcchModeConf ccch_mode_conf,
L1ctlTchModeConf tch_mode_conf,
L1ctlDataInd data_ind,
L1ctlTrafficReq traffic_ind,
L1ctlTbfCfgReq tbf_cfg_conf,
octetstring other
} with {
variant (other) "BYTEORDER(first)"
};
type record L1ctlDlMessage {
L1ctlHeader header,
L1ctlDlInfo dl_info optional,
L1ctlDlPayload payload optional
} with { variant (dl_info) "PRESENCE(header.msg_type = L1CTL_FBSB_CONF,
header.msg_type = L1CTL_RACH_CONF,
header.msg_type = L1CTL_DATA_IND,
header.msg_type = L1CTL_DATA_CONF,
header.msg_type = L1CTL_TRAFFIC_IND,
header.msg_type = L1CTL_TRAFFIC_CONF)"
variant (payload) "CROSSTAG(fbsb_conf, header.msg_type = L1CTL_FBSB_CONF;
ccch_mode_conf, header.msg_type = L1CTL_CCCH_MODE_CONF;
tch_mode_conf, header.msg_type = L1CTL_TCH_MODE_CONF;
data_ind, header.msg_type = L1CTL_DATA_IND;
traffic_ind, header.msg_type = L1CTL_TRAFFIC_IND;
tbf_cfg_conf, header.msg_type = L1CTL_TBF_CFG_CONF;
other, OTHERWISE;
)" };
external function enc_L1ctlDlMessage(in L1ctlDlMessage msg) return octetstring
with { extension "prototype(convert) encode(RAW)" };
external function dec_L1ctlDlMessage(in octetstring stream) return L1ctlDlMessage
with { extension "prototype(convert) decode(RAW)" };
type record L1ctlUlInfo {
RslChannelNr chan_nr,
@ -387,31 +351,46 @@ module L1CTL_Types {
TfiUsfArr tfi_usf
} with { variant (is_uplink) "FIELDLENGTH(8)" };
type union L1ctlUlPayload {
type union L1ctlMsgPayload {
L1ctlFbsbReq fbsb_req,
L1ctlCcchModeReq ccch_mode_req,
L1ctlTchModeReq tch_mode_req,
L1ctlFbsbConf fbsb_conf,
L1ctlDataInd data_ind,
L1ctlRachReq rach_req,
L1ctlExtRachReq ext_rach_req,
L1ctlParReq par_req,
L1ctlDmEstReq dm_est_req,
L1ctlReset reset_req,
//L1ctlNeighPmReq neigh_pm_req,
L1CtlCryptoReq crypto_req,
L1ctlTrafficReq traffic_req,
L1ctlTbfCfgReq tbf_cfg_req,
L1ctlDataReq data_req,
/* TODO: L1CTL_RESET_IND */
/* TODO: L1CTL_PM_REQ */
/* TODO: L1CTL_PM_CONF */
L1ctlReset reset_req,
L1ctlCcchModeReq ccch_mode_req,
L1ctlCcchModeConf ccch_mode_conf,
L1ctlParReq par_req,
/* TODO: L1CTL_DM_FREQ_REQ */
L1CtlCryptoReq crypto_req,
/* TODO: L1CTL_SIM_REQ */
/* TODO: L1CTL_SIM_CONF */
L1ctlTchModeReq tch_mode_req,
L1ctlTchModeConf tch_mode_conf,
/* TODO: L1CTL_NEIGH_PM_REQ */
/* TODO: L1CTL_NEIGH_PM_IND */
L1ctlTrafficReq traffic_req,
L1ctlTrafficReq traffic_ind,
/* TODO: L1CTL_BURST_IND */
L1ctlTbfCfgReq tbf_cfg_req,
L1ctlTbfCfgReq tbf_cfg_conf,
L1ctlExtRachReq ext_rach_req,
octetstring other
} with {
variant (other) "BYTEORDER(first)"
};
type record L1ctlUlMessage {
type record L1ctlMessage {
L1ctlHeader header,
L1ctlUlInfo ul_info optional,
L1ctlDlInfo dl_info optional,
L1ctlUlTbfInfo ul_info_tbf optional,
L1ctlUlAbsInfo ul_info_abs optional,
L1ctlUlPayload payload
L1ctlMsgPayload payload optional
} with { variant (ul_info) "PRESENCE(header.msg_type = L1CTL_RACH_REQ,
header.msg_type = L1CTL_EXT_RACH_REQ,
header.msg_type = L1CTL_PARAM_REQ,
@ -421,56 +400,68 @@ module L1CTL_Types {
header.msg_type = L1CTL_DM_FREQ_REQ,
header.msg_type = L1CTL_DM_REL_REQ,
header.msg_type = L1CTL_TRAFFIC_REQ)"
variant (dl_info) "PRESENCE(header.msg_type = L1CTL_FBSB_CONF,
header.msg_type = L1CTL_RACH_CONF,
header.msg_type = L1CTL_DATA_IND,
header.msg_type = L1CTL_DATA_CONF,
header.msg_type = L1CTL_TRAFFIC_IND,
header.msg_type = L1CTL_TRAFFIC_CONF)"
variant (ul_info_tbf) "PRESENCE(header.msg_type = L1CTL_DATA_TBF_REQ)"
variant (ul_info_abs) "PRESENCE(header.msg_type = L1CTL_DATA_ABS_REQ)"
variant (payload) "CROSSTAG(fbsb_req, header.msg_type = L1CTL_FBSB_REQ;
ccch_mode_req, header.msg_type = L1CTL_CCCH_MODE_REQ;
tch_mode_req, header.msg_type = L1CTL_TCH_MODE_REQ;
fbsb_conf, header.msg_type = L1CTL_FBSB_CONF;
data_ind, header.msg_type = L1CTL_DATA_IND;
rach_req, header.msg_type = L1CTL_RACH_REQ;
ext_rach_req, header.msg_type = L1CTL_EXT_RACH_REQ;
par_req, header.msg_type = L1CTL_PARAM_REQ;
dm_est_req, header.msg_type = L1CTL_DM_EST_REQ;
reset_req, header.msg_type = L1CTL_RESET_REQ;
crypto_req, header.msg_type = L1CTL_CRYPTO_REQ;
traffic_req, header.msg_type = L1CTL_TRAFFIC_REQ;
tbf_cfg_req, header.msg_type = L1CTL_TBF_CFG_REQ;
data_req, header.msg_type = L1CTL_DATA_REQ;
/* TODO: reset_ind, header.msg_type = L1CTL_RESET_IND */
/* TODO: pm_req, header.msg_type = L1CTL_PM_REQ */
/* TODO: pm_conf, header.msg_type = L1CTL_PM_CONF */
reset_req, header.msg_type = L1CTL_RESET_REQ;
ccch_mode_req, header.msg_type = L1CTL_CCCH_MODE_REQ;
ccch_mode_conf, header.msg_type = L1CTL_CCCH_MODE_CONF;
par_req, header.msg_type = L1CTL_PARAM_REQ;
/* TODO: freq_req, header.msg_type = L1CTL_DM_FREQ_REQ */
crypto_req, header.msg_type = L1CTL_CRYPTO_REQ;
/* TODO: sim_req, header.msg_type = L1CTL_SIM_REQ */
/* TODO: sim_conf, header.msg_type = L1CTL_SIM_CONF */
tch_mode_req, header.msg_type = L1CTL_TCH_MODE_REQ;
tch_mode_conf, header.msg_type = L1CTL_TCH_MODE_CONF;
/* TODO: neigh_pm_req, header.msg_type = L1CTL_NEIGH_PM_REQ */
/* TODO: neigh_pm_ind, header.msg_type = L1CTL_NEIGH_PM_IND */
traffic_req, header.msg_type = L1CTL_TRAFFIC_REQ;
traffic_ind, header.msg_type = L1CTL_TRAFFIC_IND;
/* TODO: burst_ind, header.msg_type = L1CTL_BURST_IND */
tbf_cfg_req, header.msg_type = L1CTL_TBF_CFG_REQ;
tbf_cfg_conf, header.msg_type = L1CTL_TBF_CFG_CONF;
ext_rach_req, header.msg_type = L1CTL_EXT_RACH_REQ;
other, OTHERWISE;
)" };
external function enc_L1ctlUlMessage(in L1ctlUlMessage msg) return octetstring
external function enc_L1ctlMessage(in L1ctlMessage msg) return octetstring
with { extension "prototype(convert) encode(RAW)" };
external function dec_L1ctlUlMessage(in octetstring stream) return L1ctlUlMessage
external function dec_L1ctlMessage(in octetstring stream) return L1ctlMessage
with { extension "prototype(convert) decode(RAW)" };
type record L1ctlUlMessageLV {
type record L1ctlMessageLV {
uint16_t len,
L1ctlUlMessage msg
L1ctlMessage msg
} with { variant (len) "LENGTHTO(msg)" };
external function enc_L1ctlUlMessageLV(in L1ctlUlMessageLV msg) return octetstring
external function enc_L1ctlMessageLV(in L1ctlMessageLV msg) return octetstring
with { extension "prototype(convert) encode(RAW)" };
external function dec_L1ctlUlMessageLV(in octetstring stream) return L1ctlUlMessageLV
with { extension "prototype(convert) decode(RAW)" };
type record L1ctlDlMessageLV {
uint16_t len,
L1ctlDlMessage msg
} with { variant (len) "LENGTHTO(msg)" };
external function enc_L1ctlDlMessageLV(in L1ctlDlMessageLV msg) return octetstring
with { extension "prototype(convert) encode(RAW)" };
external function dec_L1ctlDlMessageLV(in octetstring stream) return L1ctlDlMessageLV
external function dec_L1ctlMessageLV(in octetstring stream) return L1ctlMessageLV
with { extension "prototype(convert) decode(RAW)" };
/* for generating RESET_REQ */
template (value) L1ctlUlMessage
template (value) L1ctlMessage
t_L1ctlResetReq(template (value) L1ctlResetType rst_type) := {
header := ts_L1ctlHeader(L1CTL_RESET_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -482,7 +473,7 @@ module L1CTL_Types {
};
/* for generating FBSB_REQ */
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_FBSB_REQ(template (value) GsmBandArfcn arfcn,
template (value) L1ctlFbsbFlags flags,
template (value) uint8_t sync_info_idx,
@ -490,6 +481,7 @@ module L1CTL_Types {
template (value) GsmRxLev rxlev_exp) := {
header := ts_L1ctlHeader(L1CTL_FBSB_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -508,10 +500,13 @@ module L1CTL_Types {
};
/* for matching against incoming FBSB_CONF */
template L1ctlDlMessage
template L1ctlMessage
tr_L1CTL_FBSB_CONF(template (present) uint8_t result) := {
header := tr_L1ctlHeader(L1CTL_FBSB_CONF),
ul_info := omit,
dl_info := ?,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
fbsb_conf := {
initial_freq_err := ?,
@ -521,10 +516,11 @@ module L1CTL_Types {
}
};
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_CCCH_MODE_REQ(template (value) L1ctlCcchMode ccch_mode) := {
header := ts_L1ctlHeader(L1CTL_CCCH_MODE_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -535,7 +531,7 @@ module L1CTL_Types {
}
};
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_TCH_MODE_REQ(template (value) L1ctlTchMode tch_mode := L1CTL_CHAN_MODE_SIGN,
template (value) L1ctlAudioMode audio_mode := t_L1CTL_AudioModeFwd,
template (value) L1ctlLoopMode loop_mode := L1CTL_LOOP_MODE_OPEN,
@ -543,6 +539,7 @@ module L1CTL_Types {
template (value) BIT8 amr_codecs_bitmask := '00000000'B) := {
header := ts_L1ctlHeader(L1CTL_TCH_MODE_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -559,16 +556,19 @@ module L1CTL_Types {
};
template L1ctlDlMessage
template L1ctlMessage
tr_L1CTL_MsgType(template (present) L1ctlMsgType msg_type) := {
header := tr_L1ctlHeader(msg_type),
ul_info := *,
dl_info := *,
ul_info_tbf := *,
ul_info_abs := *,
payload := *
}
template L1ctlDlMessage tr_L1CTL_CCCH_MODE_CONF := tr_L1CTL_MsgType(L1CTL_CCCH_MODE_CONF);
template L1ctlMessage tr_L1CTL_CCCH_MODE_CONF := tr_L1CTL_MsgType(L1CTL_CCCH_MODE_CONF);
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_RACH_REQ(template (value) uint8_t ra,
template (value) uint8_t combined,
template (value) uint16_t offset,
@ -580,6 +580,7 @@ module L1CTL_Types {
link_id := link_id,
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -591,7 +592,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_EXT_RACH_REQ(template (value) uint16_t ra11,
template (value) L1ctlRachSynchSeq seq,
template (value) uint8_t combined,
@ -603,6 +604,7 @@ module L1CTL_Types {
link_id := ts_RslLinkID_DCCH(0),
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -615,7 +617,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_PAR_REQ(template (value) uint8_t ta,
template (value) uint8_t tx_power) := {
header := ts_L1ctlHeader(L1CTL_PARAM_REQ),
@ -624,6 +626,7 @@ module L1CTL_Types {
link_id := ts_RslLinkID_DCCH(0),
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -636,7 +639,7 @@ module L1CTL_Types {
}
/* Base template to be inherited by ts_L1CTL_DM_EST_REQ_H0 and ts_L1CTL_DM_EST_REQ_H1 */
private template (value) L1ctlUlMessage
private template (value) L1ctlMessage
ts_L1CTL_DM_EST_REQ(template (value) RslChannelNr chan_nr,
template (value) GsmTsc tsc) := {
header := ts_L1ctlHeader(L1CTL_DM_EST_REQ),
@ -645,6 +648,7 @@ module L1CTL_Types {
link_id := ts_RslLinkID_DCCH(0),
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -657,7 +661,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DM_EST_REQ_H0(template (value) RslChannelNr chan_nr,
template (value) GsmTsc tsc,
template (value) GsmArfcn arfcn)
@ -675,7 +679,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DM_EST_REQ_H1(template (value) RslChannelNr chan_nr,
template (value) GsmTsc tsc,
template (value) uint6_t hsn,
@ -700,7 +704,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DM_REL_REQ(template (value) RslChannelNr chan_nr) := {
header := ts_L1ctlHeader(L1CTL_DM_REL_REQ),
ul_info := {
@ -708,14 +712,13 @@ module L1CTL_Types {
link_id := ts_RslLinkID_DCCH(0),
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
other := ''O
}
payload := omit
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DATA_REQ(template (value) RslChannelNr chan_nr,
template (value) RslLinkId link_id,
octetstring l2_data) := {
@ -725,6 +728,7 @@ module L1CTL_Types {
link_id := link_id,
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -735,7 +739,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DATA_REQ_SACCH(template (value) RslChannelNr chan_nr,
template (value) RslLinkId link_id,
template (value) SacchL1Header l1h,
@ -746,6 +750,7 @@ module L1CTL_Types {
link_id := link_id,
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -756,7 +761,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_TRAFFIC_REQ(template (value) RslChannelNr chan_nr,
template (value) RslLinkId link_id,
octetstring frame) := {
@ -766,6 +771,7 @@ module L1CTL_Types {
link_id := link_id,
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -775,11 +781,12 @@ module L1CTL_Types {
}
};
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_TBF_CFG_REQ(template (value) boolean is_uplink,
template (value) TfiUsfArr tfi_usf) := {
header := ts_L1ctlHeader(L1CTL_TBF_CFG_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
@ -792,10 +799,13 @@ module L1CTL_Types {
}
};
template L1ctlDlMessage
template L1ctlMessage
tr_L1CTL_TBF_CFG_CONF(template (present) boolean is_uplink) := {
header := tr_L1ctlHeader(L1CTL_TBF_CFG_CONF),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
tbf_cfg_conf := {
tbf_nr := 0,
@ -806,12 +816,13 @@ module L1CTL_Types {
}
};
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DATA_TBF_REQ(octetstring l2_data,
template (value) L1ctlGprsCs cs := L1CTL_CS1,
template (value) uint8_t tbf_nr := 0) := {
header := ts_L1ctlHeader(L1CTL_DATA_TBF_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := {
tbf_nr := tbf_nr,
cs := cs,
@ -823,7 +834,7 @@ module L1CTL_Types {
}
}
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_DATA_ABS_REQ(octetstring l2_data,
template (value) GsmBandArfcn arfcn,
template (value) uint8_t ts,
@ -832,6 +843,7 @@ module L1CTL_Types {
template (value) uint8_t tbf_nr := 0) := {
header := ts_L1ctlHeader(L1CTL_DATA_ABS_REQ),
ul_info := omit,
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := {
tbf_nr := tbf_nr,
@ -849,14 +861,17 @@ module L1CTL_Types {
/* for matching against incoming RACH_CONF */
template L1ctlDlMessage tr_L1CTL_RACH_CONF := {
template L1ctlMessage tr_L1CTL_RACH_CONF := {
header := tr_L1ctlHeader(L1CTL_RACH_CONF),
ul_info := omit,
dl_info := ?,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := *
};
/* for sending and matching L1CTL_DATA_IND */
template (value) L1ctlDlMessage
template (value) L1ctlMessage
ts_L1CTL_DATA_IND(template (value) RslChannelNr chan_nr,
template (value) RslLinkId link_id,
template (value) octetstring l2_data,
@ -866,6 +881,7 @@ module L1CTL_Types {
template (value) uint8_t num_biterr := 0,
template (value) uint8_t fire_crc := 0) := {
header := ts_L1ctlHeader(L1CTL_DATA_IND),
ul_info := omit,
dl_info := {
chan_nr := chan_nr,
link_id := link_id,
@ -876,19 +892,22 @@ module L1CTL_Types {
num_biterr := num_biterr,
fire_crc := fire_crc
},
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
data_ind := {
payload := l2_data
}
}
};
template L1ctlDlMessage
template L1ctlMessage
tr_L1CTL_DATA_IND(template (present) RslChannelNr chan_nr,
template (present) RslLinkId link_id := ?,
template (present) octetstring l2_data := ?,
template (present) uint8_t num_biterr := 0,
template (present) uint8_t fire_crc := 0) := {
header := tr_L1ctlHeader(L1CTL_DATA_IND),
ul_info := omit,
dl_info := {
chan_nr := chan_nr,
link_id := link_id,
@ -899,6 +918,8 @@ module L1CTL_Types {
num_biterr := num_biterr,
fire_crc := fire_crc
},
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
data_ind := {
payload := l2_data
@ -907,13 +928,14 @@ module L1CTL_Types {
};
/* for matching against incoming TRAFFIC_IND */
template L1ctlDlMessage
template L1ctlMessage
tr_L1CTL_TRAFFIC_IND(template (present) RslChannelNr chan_nr,
template (present) RslLinkId link_id := ?,
template (present) octetstring frame := ?,
template (present) uint8_t num_biterr := ?,
template (present) uint8_t fire_crc := ?) := {
header := tr_L1ctlHeader(L1CTL_TRAFFIC_IND),
ul_info := omit,
dl_info := {
chan_nr := chan_nr,
link_id := link_id,
@ -924,6 +946,8 @@ module L1CTL_Types {
num_biterr := num_biterr,
fire_crc := fire_crc
},
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {
traffic_ind := {
data := frame
@ -931,7 +955,7 @@ module L1CTL_Types {
}
};
template (value) L1ctlUlMessage
template (value) L1ctlMessage
ts_L1CTL_CRYPTO_REQ(template (value) RslChannelNr chan_nr,
template (value) uint8_t algo,
template (value) octetstring key) := {
@ -941,6 +965,7 @@ module L1CTL_Types {
link_id := ts_RslLinkID_DCCH(0),
padding := '0000'O
},
dl_info := omit,
ul_info_tbf := omit,
ul_info_abs := omit,
payload := {

2
library/LAPDm_RAW_PT.ttcn
View File

@ -389,7 +389,7 @@ module LAPDm_RAW_PT {
}
function ScanEvents() runs on lapdm_CT {
var L1ctlDlMessage dl;
var L1ctlMessage dl;
var BCCH_tune_req bt;
var LAPDm_ph_data lpd;
var RLCMAC_ph_data_ind rpdi;