<p>laforge <strong>submitted</strong> this change.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15623">View Change</a></p><div style="white-space:pre-wrap">Approvals:
laforge: Looks good to me, approved
osmith: Looks good to me, but someone else must approve
Jenkins Builder: Verified
</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">pcu: add TC_paging_cs_from_bts<br><br>1. BTS send a CS paging Request over pcu socket<br>2. Expect a CS paging frame<br><br>Related: OS#3927<br>Change-Id: Ia3ad503c243c9b3b162e204683fa4fa5447bbab3<br>---<br>M library/RLCMAC_CSN1_Types.ttcn<br>M library/RLCMAC_Types.ttcn<br>M pcu/PCU_Tests_RAW.ttcn<br>3 files changed, 111 insertions(+), 4 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/library/RLCMAC_CSN1_Types.ttcn b/library/RLCMAC_CSN1_Types.ttcn</span><br><span>index a2f9a92..ea2edf6 100644</span><br><span>--- a/library/RLCMAC_CSN1_Types.ttcn</span><br><span>+++ b/library/RLCMAC_CSN1_Types.ttcn</span><br><span>@@ -235,11 +235,13 @@</span><br><span> BIT1 persistence_levels_present,</span><br><span> PersistenceLevels persistence_levels optional,</span><br><span> BIT1 nln_present,</span><br><span style="color: hsl(0, 100%, 40%);">- uint2_t nln optional</span><br><span style="color: hsl(0, 100%, 40%);">- /* TODO: Repeated PageInfo */</span><br><span style="color: hsl(120, 100%, 40%);">+ uint2_t nln optional,</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT1 repeated_pageinfo_present,</span><br><span style="color: hsl(120, 100%, 40%);">+ PageInfo repeated_pageinfo optional</span><br><span> } with {</span><br><span> variant (persistence_levels) "PRESENCE(persistence_levels_present = '1'B)"</span><br><span> variant (nln) "PRESENCE(nln_present = '1'B)"</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (repeated_pageinfo) "PRESENCE(repeated_pageinfo_present = '1'B)"</span><br><span> };</span><br><span> </span><br><span> /* 11.2.28 Uplink Ack/Nack */</span><br><span>diff --git a/library/RLCMAC_Types.ttcn b/library/RLCMAC_Types.ttcn</span><br><span>index 7043785..8f9f2a5 100644</span><br><span>--- a/library/RLCMAC_Types.ttcn</span><br><span>+++ b/library/RLCMAC_Types.ttcn</span><br><span>@@ -339,7 +339,7 @@</span><br><span> usf := usf</span><br><span> }</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- template RlcmacDlBlock tr_RLCMAC_DUMMY_CTRL(template uint3_t usf := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ template RlcmacDlBlock tr_RLCMAC_DUMMY_CTRL(template uint3_t usf := ?, template PageMode page_mode := ?) := {</span><br><span> ctrl := {</span><br><span> mac_hdr := {</span><br><span> payload_type := (MAC_PT_RLCMAC_NO_OPT, MAC_PT_RLCMAC_OPT),</span><br><span>@@ -352,7 +352,7 @@</span><br><span> msg_type := PACKET_DL_DUMMY_CTRL,</span><br><span> u := {</span><br><span> dl_dummy := {</span><br><span style="color: hsl(0, 100%, 40%);">- page_mode := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ page_mode := page_mode,</span><br><span> persistence_levels_present := ?,</span><br><span> persistence_levels := *</span><br><span> }</span><br><span>@@ -418,6 +418,32 @@</span><br><span> }</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+ template RlcmacDlBlock tr_RLCMAC_PACKET_PAG_REQ(template uint3_t usf := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ ctrl := {</span><br><span style="color: hsl(120, 100%, 40%);">+ mac_hdr := {</span><br><span style="color: hsl(120, 100%, 40%);">+ payload_type := MAC_PT_RLCMAC_NO_OPT,</span><br><span style="color: hsl(120, 100%, 40%);">+ rrbp:= ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ rrbp_valid := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ usf := usf</span><br><span style="color: hsl(120, 100%, 40%);">+ },</span><br><span style="color: hsl(120, 100%, 40%);">+ opt := *,</span><br><span style="color: hsl(120, 100%, 40%);">+ payload := {</span><br><span style="color: hsl(120, 100%, 40%);">+ msg_type := PACKET_PAGING_REQUEST,</span><br><span style="color: hsl(120, 100%, 40%);">+ u := {</span><br><span style="color: hsl(120, 100%, 40%);">+ paging := {</span><br><span style="color: hsl(120, 100%, 40%);">+ page_mode := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ persistence_levels_present := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ persistence_levels := *,</span><br><span style="color: hsl(120, 100%, 40%);">+ nln_present := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ nln := *,</span><br><span style="color: hsl(120, 100%, 40%);">+ repeated_pageinfo_present := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ repeated_pageinfo := *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> template RlcmacDlBlock tr_RLCMAC_DATA_RRBP := {</span><br><span> data := {</span><br><span> mac_hdr := {</span><br><span>diff --git a/pcu/PCU_Tests_RAW.ttcn b/pcu/PCU_Tests_RAW.ttcn</span><br><span>index 2fc42c1..c41a244 100644</span><br><span>--- a/pcu/PCU_Tests_RAW.ttcn</span><br><span>+++ b/pcu/PCU_Tests_RAW.ttcn</span><br><span>@@ -27,6 +27,9 @@</span><br><span> import from RLCMAC_CSN1_Types all;</span><br><span> import from RLCMAC_Types all;</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+import from MobileL3_CommonIE_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from L3_Templates all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> import from NS_Types all;</span><br><span> import from BSSGP_Types all;</span><br><span> import from Osmocom_Gb_Types all;</span><br><span>@@ -810,6 +813,17 @@</span><br><span> poll_fn := dl_fn + f_rrbp_fn_delay(dl_block.ctrl.mac_hdr.rrbp);</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+private function f_rx_rlcmac_dl_block_exp_pkt_pag_req(out RlcmacDlBlock dl_block)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on RAW_PCU_Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var uint32_t dl_fn;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_rx_rlcmac_dl_block(dl_block, dl_fn);</span><br><span style="color: hsl(120, 100%, 40%);">+ if (not match(dl_block, tr_RLCMAC_PACKET_PAG_REQ())) {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Failed to match Packet Paging Request: ", dl_block, " vs ", tr_RLCMAC_PACKET_PAG_REQ());</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> private function f_rx_rlcmac_dl_block_exp_data(out RlcmacDlBlock dl_block, out uint32_t ack_fn, octetstring data, template (present) uint7_t exp_bsn := ?)</span><br><span> runs on RAW_PCU_Test_CT {</span><br><span> var PCUIF_Message pcu_msg;</span><br><span>@@ -1588,6 +1602,70 @@</span><br><span> f_tx_rlcmac_ul_block(ts_RLCMAC_DL_ACK_NACK(dl_block.data.mac_hdr.hdr_ext.tfi, ack_nack_desc), 0, sched_fn);</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+/* Test CS paging over the BTS<->PCU socket.</span><br><span style="color: hsl(120, 100%, 40%);">+ * When a (class B or C, not A) MS has an active TBF (or is on the PDCH), the MS can not react on CS paging over CCCH.</span><br><span style="color: hsl(120, 100%, 40%);">+ * Paging should be send on the PACCH.</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * 1. Send a Paging Request over PCU socket.</span><br><span style="color: hsl(120, 100%, 40%);">+ * 2. Send a Ready-To-Send message over PCU socket</span><br><span style="color: hsl(120, 100%, 40%);">+ * 3. Expect a Paging Frame</span><br><span style="color: hsl(120, 100%, 40%);">+ */</span><br><span style="color: hsl(120, 100%, 40%);">+testcase TC_paging_cs_from_bts() runs on RAW_PCU_Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var GsmRrMessage rr_imm_ass;</span><br><span style="color: hsl(120, 100%, 40%);">+ var PacketUlAssign ul_tbf_ass;</span><br><span style="color: hsl(120, 100%, 40%);">+ var RlcmacDlBlock dl_block;</span><br><span style="color: hsl(120, 100%, 40%);">+ var boolean ok;</span><br><span style="color: hsl(120, 100%, 40%);">+ var OCT4 tlli := '00000001'O;</span><br><span style="color: hsl(120, 100%, 40%);">+ var MobileL3_CommonIE_Types.MobileIdentityLV mi;</span><br><span style="color: hsl(120, 100%, 40%);">+ var octetstring mi_enc_lv;</span><br><span style="color: hsl(120, 100%, 40%);">+ var MobileIdentityLV_Paging mi_res;</span><br><span style="color: hsl(120, 100%, 40%);">+ var hexstring imsi := f_gen_imsi(42);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Initialize NS/BSSGP side */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_init_bssgp();</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Initialize the PCU interface abstraction */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_init_raw(testcasename());</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Establish BSSGP connection to the PCU */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_bssgp_establish();</span><br><span style="color: hsl(120, 100%, 40%);">+ f_bssgp_client_llgmm_assign('FFFFFFFF'O, tlli);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Establish an Uplink TBF */</span><br><span style="color: hsl(120, 100%, 40%);">+ ok := f_establish_tbf(rr_imm_ass);</span><br><span style="color: hsl(120, 100%, 40%);">+ if (not ok) {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Failed to establish TBF");</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ ok := f_imm_ass_verify_ul_tbf_ass(rr_imm_ass, ul_tbf_ass);</span><br><span style="color: hsl(120, 100%, 40%);">+ if (not ok) {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Immediate Assignment not an Uplink TBF");</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* build mobile Identity */</span><br><span style="color: hsl(120, 100%, 40%);">+ mi := valueof(ts_MI_IMSI_LV(imsi));</span><br><span style="color: hsl(120, 100%, 40%);">+ mi_enc_lv := enc_MobileIdentityLV(mi);</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Send paging request */</span><br><span style="color: hsl(120, 100%, 40%);">+ BTS.send(ts_PCUIF_PAG_REQ(bts_nr := 0, id_lv := mi_enc_lv, chan_needed := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ sapi :=PCU_IF_SAPI_PDTCH));</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Receive it on BTS side towards MS */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_rx_rlcmac_dl_block_exp_pkt_pag_req(dl_block);</span><br><span style="color: hsl(120, 100%, 40%);">+ /* FIXME: we must use .ps. here instead of .cs. (the one actually sent)</span><br><span style="color: hsl(120, 100%, 40%);">+ because TTCN3 counts length up to octet boundary and thinks it's a</span><br><span style="color: hsl(120, 100%, 40%);">+ PageInfoPs: */</span><br><span style="color: hsl(120, 100%, 40%);">+ mi_res := dl_block.ctrl.payload.u.paging.repeated_pageinfo.ps.mobile_identity;</span><br><span style="color: hsl(120, 100%, 40%);">+ if (oct2int(substr(mi_enc_lv, 0, 1)) != mi_res.len) {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* TODO: Verify MI contents encoded match */</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Mobile Identity not matching (imsi=", imsi, ")");</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(pass);</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> control {</span><br><span> execute( TC_ns_reset() );</span><br><span> execute( TC_ns_reset_retrans() );</span><br><span>@@ -1609,6 +1687,7 @@</span><br><span> execute( TC_t3193() );</span><br><span> execute( TC_mo_ping_pong() );</span><br><span> execute( TC_imm_ass_dl_block_retrans() );</span><br><span style="color: hsl(120, 100%, 40%);">+ execute( TC_paging_cs_from_bts() );</span><br><span> }</span><br><span> </span><br><span> </span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15623">change 15623</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15623"/><meta itemprop="name" content="View Change"/></div></div>
<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: Ia3ad503c243c9b3b162e204683fa4fa5447bbab3 </div>
<div style="display:none"> Gerrit-Change-Number: 15623 </div>
<div style="display:none"> Gerrit-PatchSet: 6 </div>
<div style="display:none"> Gerrit-Owner: lynxis lazus <lynxis@fe80.eu> </div>
<div style="display:none"> Gerrit-Assignee: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: fixeria <axilirator@gmail.com> </div>
<div style="display:none"> Gerrit-Reviewer: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-Reviewer: lynxis lazus <lynxis@fe80.eu> </div>
<div style="display:none"> Gerrit-Reviewer: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: pespin <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-MessageType: merged </div>