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

Fix tons of warnings in RLCMAC and pcu 

Change-Id: Ia3b7c5f9fdf571f99859027dbab8731ea1a8e830
This commit is contained in:
Pau Espin Pedrol 2021-02-05 17:56:52 +01:00
parent 27cfb7a230
commit fa64e2885b
4 changed files with 44 additions and 41 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/RLCMAC_CSN1_Templates.ttcn
View File

@ -284,7 +284,7 @@ module RLCMAC_CSN1_Templates {
pwr_ctrl := *
};
template EgprsAckNackDescriptionIE ts_EgprsAckNackDescriptionIE(template EgprsAckNackDescription andesc) := {
template (value) EgprsAckNackDescriptionIE ts_EgprsAckNackDescriptionIE(template (value) EgprsAckNackDescription andesc) := {
len_present := '1'B,
len := 0, /* Overwritten by RAW encoder */
acknack_desc := andesc

11
library/RLCMAC_Templates.ttcn
View File

@ -369,7 +369,7 @@ module RLCMAC_Templates {
}
/* Send Template for Downlink ACK/NACK */
template RlcmacUlBlock ts_RLCMAC_DL_ACK_NACK(template uint5_t tfi, AckNackDescription andesc, boolean retry := false,
template (value) RlcmacUlBlock ts_RLCMAC_DL_ACK_NACK(template (value) uint5_t tfi, AckNackDescription andesc, boolean retry := false,
template (omit) ChannelReqDescription chreq_desc := omit) := {
ctrl := {
mac_hdr := {
@ -393,8 +393,10 @@ module RLCMAC_Templates {
}
/* Send Template for Egprs Downlink ACK/NACK */
template RlcmacUlBlock ts_RLCMAC_DL_ACK_NACK_EGPRS(template uint5_t tfi, EgprsAckNackDescription andesc, boolean retry := false,
template (omit) ChannelReqDescription chreq_desc := omit) := {
template (value) RlcmacUlBlock ts_RLCMAC_DL_ACK_NACK_EGPRS(template (value) uint5_t tfi,
EgprsAckNackDescription andesc,
boolean retry := false,
template (omit) ChannelReqDescription chreq_desc := omit) := {
ctrl := {
mac_hdr := {
payload_type := MAC_PT_RLCMAC_NO_OPT,
@ -762,7 +764,8 @@ module RLCMAC_Templates {
}
/* Template for Uplink MAC Control Header */
template UlMacCtrlHeader t_RLCMAC_UlMacCtrlH(template MacPayloadType pt, template boolean retry := false) := {
template (value) UlMacCtrlHeader t_RLCMAC_UlMacCtrlH(template (value) MacPayloadType pt,
template (value) boolean retry := false) := {
payload_type := pt,
spare := '00000'B,
retry := retry

2
pcu/GPRS_Components.ttcn
View File

@ -424,7 +424,7 @@ runs on MS_BTS_IFACE_CT {
function f_dltbf_ts_RLCMAC_DL_ACK_NACK(DlTbf dl_tbf, boolean use_egprs := false,
template (omit) ChannelReqDescription chreq_desc := omit)
runs on MS_BTS_IFACE_CT return template RlcmacUlBlock {
runs on MS_BTS_IFACE_CT return template (value) RlcmacUlBlock {
if (use_egprs) {
return ts_RLCMAC_DL_ACK_NACK_EGPRS(dl_tbf.tfi, dl_tbf.egprs_acknack_desc, false, chreq_desc);
} else {

70
pcu/PCU_Tests.ttcn
View File

@ -310,7 +310,7 @@ runs on RAW_PCU_Test_CT {
/* Send a random block, so this TBF becomes "active" */
if (do_activate) {
/* FIXME: use the new APU by Pau to get correct TRX/TS here */
var template TsTrxBtsNum nr := ts_TsTrxBtsNum(7, i mod 8);
var template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum(7, i mod 8);
var octetstring dummy := f_rnd_octstring(12);
var RlcmacDlBlock dl_block;
var uint32_t poll_fn;
@ -353,8 +353,8 @@ runs on RAW_PCU_Test_CT return PollFnCtx {
pkt_res_req := ts_RlcMacUlCtrl_PKT_RES_REQ(ms.tlli, omit);
}
f_ms_tx_ul_block(ms, ts_RLC_UL_CTRL_ACK(pkt_res_req), 0, nr := f_ms_tx_TsTrxBtsNum(ms));
/* Store 1st UlTBF context before receiving next one, will will
f_ms_tx_ul_block(ms, ts_RLC_UL_CTRL_ACK(valueof(pkt_res_req)), 0, nr := f_ms_tx_TsTrxBtsNum(ms));
/* Store 1st UlTBF context before receiving next one, will
* overwrite the TS allocation on MS with info from new UL TBF:
*/
pollctx.tstrxbts := f_ms_tx_TsTrxBtsNum(ms);
@ -986,7 +986,7 @@ testcase TC_cs_initial_dl() runs on RAW_PCU_Test_CT {
}
/* Verify scheduling of multiple Downlink data blocks, enough to reach CS4 */
function f_dl_data_exp_cs(template CodingScheme exp_final_cs := ?, template MSRadioAccessCapabilityV_BSSGP ms_racap := omit) runs on RAW_PCU_Test_CT {
function f_dl_data_exp_cs(template (present) CodingScheme exp_final_cs := ?, template (omit) MSRadioAccessCapabilityV_BSSGP ms_racap := omit) runs on RAW_PCU_Test_CT {
var octetstring data := f_rnd_octstring(1400);
var RlcmacDlBlock prev_dl_block, dl_block;
var uint32_t ack_fn;
@ -996,7 +996,7 @@ function f_dl_data_exp_cs(template CodingScheme exp_final_cs := ?, template MSRa
var integer bsn := 0;
var boolean using_egprs := f_rlcmac_cs_mcs_is_mcs(valueof(exp_final_cs));
var integer bsn_mod;
var template CodingScheme exp_tmp_csmcs;
var template (present) CodingScheme exp_tmp_csmcs;
if (using_egprs) {
exp_tmp_csmcs := mcs_egprs_any;
@ -1640,7 +1640,7 @@ private function f_TC_mo_ping_pong_1phase_access(template (present) CodingScheme
* answered, so TBFs for uplink and later for downlink are created.
*/
testcase TC_mo_ping_pong() runs on RAW_PCU_Test_CT {
var template CodingScheme exp_cs_mcs := cs_gprs_any;
var template (present) CodingScheme exp_cs_mcs := cs_gprs_any;
f_TC_mo_ping_pong_1phase_access(exp_cs_mcs);
}
@ -1712,15 +1712,15 @@ runs on RAW_PCU_Test_CT {
}
testcase TC_mo_ping_pong_with_ul_racap() runs on RAW_PCU_Test_CT {
var template CodingScheme exp_ul_cs_mcs := cs_gprs_any;
var template CodingScheme exp_dl_cs_mcs := cs_gprs_any;
var template (present) CodingScheme exp_ul_cs_mcs := cs_gprs_any;
var template (present) CodingScheme exp_dl_cs_mcs := cs_gprs_any;
f_TC_mo_ping_pong_2phase_access(c_PCUIF_Flags_noMCS, ms_racap_gprs_def, exp_ul_cs_mcs, exp_dl_cs_mcs);
}
testcase TC_mo_ping_pong_with_ul_racap_egprs_only() runs on RAW_PCU_Test_CT {
var template CodingScheme exp_ul_cs_mcs := mcs_egprs_any;
var template CodingScheme exp_dl_cs_mcs := mcs_egprs_any;
var template (present) CodingScheme exp_ul_cs_mcs := mcs_egprs_any;
var template (present) CodingScheme exp_dl_cs_mcs := mcs_egprs_any;
f_TC_mo_ping_pong_2phase_access(c_PCUIF_Flags_default, ms_racap_egprs_def, exp_ul_cs_mcs, exp_dl_cs_mcs);
}
@ -1730,7 +1730,7 @@ testcase TC_force_two_phase_access() runs on RAW_PCU_Test_CT {
g_force_two_phase_access := true;
var CodingScheme exp_ul_cs_mcs := f_rlcmac_block_int2cs_mcs(g_mcs_initial_ul, false);
var template CodingScheme exp_dl_cs_mcs := cs_gprs_any;
var template (present) CodingScheme exp_dl_cs_mcs := cs_gprs_any;
f_TC_mo_ping_pong_2phase_access(c_PCUIF_Flags_noMCS, ms_racap_gprs_def, exp_ul_cs_mcs, exp_dl_cs_mcs);
}
@ -1790,14 +1790,14 @@ runs on RAW_PCU_Test_CT {
}
testcase TC_mt_ping_pong() runs on RAW_PCU_Test_CT {
var template CodingScheme exp_cs_mcs := cs_gprs_any;
var template (present) CodingScheme exp_cs_mcs := cs_gprs_any;
f_TC_mt_ping_pong(omit, exp_cs_mcs);
}
/* TC_mt_ping_pong, but DL-UNITDATA contains RA Access capability with (M)CS
/* information about the MS */
testcase TC_mt_ping_pong_with_dl_racap() runs on RAW_PCU_Test_CT {
var template CodingScheme exp_cs_mcs := cs_gprs_any;
var template (present) CodingScheme exp_cs_mcs := cs_gprs_any;
f_TC_mt_ping_pong(bssgp_ms_racap_gprs_def, exp_cs_mcs);
}
@ -2963,7 +2963,7 @@ private function f_TC_pcuif_fh_check_imm_ass(in PCUIF_info_ind info_ind,
/* Make sure that Immediate (UL EGPRS TBF) Assignment contains hopping parameters */
testcase TC_pcuif_fh_imm_ass_ul_egprs() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default;
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default;
var GprsMS ms := valueof(t_GprsMS_def);
/* Enable frequency hopping on TRX0/TS7 */
@ -2984,7 +2984,7 @@ testcase TC_pcuif_fh_imm_ass_ul_egprs() runs on RAW_PCU_Test_CT {
/* Make sure that Immediate (UL TBF) Assignment contains hopping parameters */
testcase TC_pcuif_fh_imm_ass_ul() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var GprsMS ms := valueof(t_GprsMS_def);
/* Enable frequency hopping on TRX0/TS7 */
@ -3002,7 +3002,7 @@ testcase TC_pcuif_fh_imm_ass_ul() runs on RAW_PCU_Test_CT {
/* Make sure that Immediate (DL TBF) Assignment contains hopping parameters */
testcase TC_pcuif_fh_imm_ass_dl() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS)
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var GprsMS ms := valueof(t_GprsMS_def);
/* Enable frequency hopping on TRX0/TS7 */
@ -3063,7 +3063,7 @@ private function f_TC_pcuif_fh_check_pkt_ass(in PCUIF_info_ind info_ind,
/* Make sure that Packet Uplink Assignment contains hopping parameters */
testcase TC_pcuif_fh_pkt_ass_ul() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var GprsMS ms := valueof(t_GprsMS_def);
var uint32_t poll_fn;
@ -3103,7 +3103,7 @@ testcase TC_pcuif_fh_pkt_ass_ul() runs on RAW_PCU_Test_CT {
/* Make sure that Packet Downlink Assignment contains hopping parameters */
testcase TC_pcuif_fh_pkt_ass_dl() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default(c_PCUIF_Flags_noMCS);
var octetstring data := f_rnd_octstring(10);
var GprsMS ms := valueof(t_GprsMS_def);
var RlcmacDlBlock dl_block;
@ -3151,7 +3151,7 @@ testcase TC_pcuif_fh_pkt_ass_dl() runs on RAW_PCU_Test_CT {
/* Check if the IUT handles subsequent INFO.ind messages */
testcase TC_pcuif_info_ind_subsequent() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default;
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default;
var BTS_PDTCH_Block data_msg;
/* Initialize the PCU interface abstraction */
@ -3647,9 +3647,9 @@ runs on RAW_PCU_Test_CT {
423),
2),
5));
var template RIM_Routing_Address src_addr := t_RIM_Routing_Address_cid(src);
var template RIM_Routing_Address dst_addr := t_RIM_Routing_Address_cid(dst);
var template RAN_Information_RIM_Container res_cont;
var RIM_Routing_Address src_addr := valueof(t_RIM_Routing_Address_cid(src));
var RIM_Routing_Address dst_addr := valueof(t_RIM_Routing_Address_cid(dst));
var template (value) RAN_Information_RIM_Container res_cont;
res_cont := ts_RAN_Information_RIM_Container(ts_RIM_Application_Identity(RIM_APP_ID_NACC),
ts_RIM_Sequence_Number(2),
ts_RIM_PDU_Indications(false, RIM_PDU_TYPE_SING_REP),
@ -4147,16 +4147,16 @@ testcase TC_rim_ran_info_req_single_rep() runs on RAW_PCU_Test_CT {
BTS.send(si16_data_ind);
f_sleep(1.0);
var template RIM_Routing_Address dst_addr;
var template RIM_Routing_Address src_addr;
var template RAN_Information_Request_RIM_Container req_cont;
var template PDU_BSSGP bssgp_rim_pdu;
var RIM_Routing_Address dst_addr;
var RIM_Routing_Address src_addr;
var template (value) RAN_Information_Request_RIM_Container req_cont;
var template (value) PDU_BSSGP bssgp_rim_pdu;
var template PDU_BSSGP bssgp_rim_pdu_expect;
var template RAN_Information_RIM_Container rim_cont_expect;
var BssgpCellId src_cid := {ra_id := { lai := { mcc_mnc := '262F42'H, lac := 12345}, rac := 0 }, cell_id := 20962 };
src_addr := t_RIM_Routing_Address_cid(src_cid);
dst_addr := t_RIM_Routing_Address_cid(mp_gb_cfg.bvc[0].cell_id);
src_addr := valueof(t_RIM_Routing_Address_cid(src_cid));
dst_addr := valueof(t_RIM_Routing_Address_cid(mp_gb_cfg.bvc[0].cell_id));
var octetstring si_expect := si1_expect & si3_expect & si13_expect;
@ -4201,7 +4201,7 @@ testcase TC_rim_ran_info_req_single_rep() runs on RAW_PCU_Test_CT {
* has no system information available. We expect getting a response back but
* with no system information inside. */
testcase TC_rim_ran_info_req_single_rep_no_si() runs on RAW_PCU_Test_CT {
var template PCUIF_info_ind info_ind := ts_PCUIF_INFO_default;
var template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default;
var PCUIF_Message pcu_msg;
timer T := 2.0;
@ -4223,16 +4223,16 @@ testcase TC_rim_ran_info_req_single_rep_no_si() runs on RAW_PCU_Test_CT {
BTS.send(si16_data_ind);
f_sleep(1.0);
var template RIM_Routing_Address dst_addr;
var template RIM_Routing_Address src_addr;
var template RAN_Information_Request_RIM_Container req_cont;
var template PDU_BSSGP bssgp_rim_pdu;
var RIM_Routing_Address dst_addr;
var RIM_Routing_Address src_addr;
var template (value) RAN_Information_Request_RIM_Container req_cont;
var template (value) PDU_BSSGP bssgp_rim_pdu;
var template PDU_BSSGP bssgp_rim_pdu_expect;
var template RAN_Information_RIM_Container rim_cont_expect;
var BssgpCellId src_cid := {ra_id := { lai := { mcc_mnc := '262F42'H, lac := 12345}, rac := 0 }, cell_id := 20962 };
src_addr := t_RIM_Routing_Address_cid(src_cid);
dst_addr := t_RIM_Routing_Address_cid(mp_gb_cfg.bvc[0].cell_id);
src_addr := valueof(t_RIM_Routing_Address_cid(src_cid));
dst_addr := valueof(t_RIM_Routing_Address_cid(mp_gb_cfg.bvc[0].cell_id));
req_cont := ts_RAN_Information_Request_RIM_Container(ts_RIM_Application_Identity(RIM_APP_ID_NACC),
ts_RIM_Sequence_Number(1),