<p>laforge has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15366">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">HLR: Add test for generating EPS (LTE) tuples with separation bit == 1<br><br>Depends: osmo-hlr Ic766bc40f6126bb479bd0a05b0e96bec3e240008<br>Change-Id: I40c6cf7e28ad9331e6c27fe7acafa3f9e277eedf<br>---<br>M hlr/HLR_Tests.ttcn<br>1 file changed, 75 insertions(+), 2 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/66/15366/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/hlr/HLR_Tests.ttcn b/hlr/HLR_Tests.ttcn</span><br><span>index f309575..4354a9f 100644</span><br><span>--- a/hlr/HLR_Tests.ttcn</span><br><span>+++ b/hlr/HLR_Tests.ttcn</span><br><span>@@ -293,6 +293,30 @@</span><br><span> </span><br><span> return sl;</span><br><span> }</span><br><span style="color: hsl(120, 100%, 40%);">+function f_gen_3G_subs() runs on test_CT return HlrSubscriberList {</span><br><span style="color: hsl(120, 100%, 40%);">+ var HlrSubscriber sub;</span><br><span style="color: hsl(120, 100%, 40%);">+ var HlrSubscriberList sl := {};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sub := valueof(t_Sub3G(f_rnd_imsi('26242'H), '49161'H & f_rnd_hexstring(7, 9), "milenage", false));</span><br><span style="color: hsl(120, 100%, 40%);">+ sl := sl & { sub };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sub := valueof(t_Sub3G(f_rnd_imsi('26242'H), '49161'H & f_rnd_hexstring(7, 9), "milenage", true));</span><br><span style="color: hsl(120, 100%, 40%);">+ sl := sl & { sub };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sub := valueof(t_Sub2G3G(f_rnd_imsi('26242'H), '49161'H & f_rnd_hexstring(7, 9),</span><br><span style="color: hsl(120, 100%, 40%);">+ "comp128v1", "milenage", false));</span><br><span style="color: hsl(120, 100%, 40%);">+ sl := sl & { sub };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sub := valueof(t_Sub2G3G(f_rnd_imsi('26242'H), '49161'H & f_rnd_hexstring(7, 9),</span><br><span style="color: hsl(120, 100%, 40%);">+ "comp128v2", "milenage", false));</span><br><span style="color: hsl(120, 100%, 40%);">+ sl := sl & { sub };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sub := valueof(t_Sub2G3G(f_rnd_imsi('26242'H), '49161'H & f_rnd_hexstring(7, 9),</span><br><span style="color: hsl(120, 100%, 40%);">+ "comp128v3", "milenage", false));</span><br><span style="color: hsl(120, 100%, 40%);">+ sl := sl & { sub };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ return sl;</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span> </span><br><span> function f_vty_transceive_match(TELNETasp_PT pt, charstring cmd, template charstring exp_ret) {</span><br><span> var charstring ret := f_vty_transceive_ret(pt, cmd);</span><br><span>@@ -370,7 +394,8 @@</span><br><span> ***********************************************************************/</span><br><span> </span><br><span> /* perform SendAuthInfo for given imsi, return the GSUP response/error */</span><br><span style="color: hsl(0, 100%, 40%);">-function f_perform_SAI(hexstring imsi, template (omit) integer exp_err_cause := omit)</span><br><span style="color: hsl(120, 100%, 40%);">+function f_perform_SAI(hexstring imsi, template (omit) integer exp_err_cause := omit,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean is_eps := false)</span><br><span> runs on HLR_ConnHdlr return GSUP_PDU {</span><br><span> var GSUP_PDU ret;</span><br><span> timer T := 3.0;</span><br><span>@@ -379,7 +404,11 @@</span><br><span> exp_fail := true;</span><br><span> }</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- GSUP.send(valueof(ts_GSUP_SAI_REQ(imsi)));</span><br><span style="color: hsl(120, 100%, 40%);">+ if (is_eps) {</span><br><span style="color: hsl(120, 100%, 40%);">+ GSUP.send(ts_GSUP_SAI_REQ_EPS(imsi));</span><br><span style="color: hsl(120, 100%, 40%);">+ } else {</span><br><span style="color: hsl(120, 100%, 40%);">+ GSUP.send(valueof(ts_GSUP_SAI_REQ(imsi)));</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span> T.start;</span><br><span> alt {</span><br><span> [exp_fail] GSUP.receive(tr_GSUP_SAI_ERR(imsi, exp_err_cause)) -> value ret {</span><br><span>@@ -668,6 +697,7 @@</span><br><span> private function f_TC_gsup_sai() runs on HLR_ConnHdlr {</span><br><span> var GSUP_PDU res;</span><br><span> res := f_perform_SAI(g_pars.sub.imsi);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_ensure_amf_separation_bit(res, '0'B);</span><br><span> /* TODO: match if tuple[s] matches expectation */</span><br><span> setverdict(pass);</span><br><span> }</span><br><span>@@ -683,6 +713,48 @@</span><br><span> setverdict(pass);</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+private function f_ensure_amf_separation_bit(GSUP_PDU res, BIT1 sep_bit)</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+ for (var integer i := 0; i < lengthof(res.ies); i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+ var GSUP_IE tuple := res.ies[i];</span><br><span style="color: hsl(120, 100%, 40%);">+ if (tuple.tag != OSMO_GSUP_AUTH_TUPLE_IE) {</span><br><span style="color: hsl(120, 100%, 40%);">+ continue;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ var GSUP_IeValue autn;</span><br><span style="color: hsl(120, 100%, 40%);">+ if (f_gsup_find_nested_ie(tuple.val.auth_tuple, OSMO_GSUP_AUTN_IE, autn) == false) {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Couldn't find AUTN IE in tuple ", i);</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%);">+ var bitstring amf := oct2bit(substr(autn.autn, 6, 2));</span><br><span style="color: hsl(120, 100%, 40%);">+ if (amf[0] != sep_bit) {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "AMF bit 0 (separation bit) must be ", sep_bit," but was not");</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%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* test SAI for a number of different subscriber cases (algo, 2g/3g, ...) */</span><br><span style="color: hsl(120, 100%, 40%);">+private function f_TC_gsup_sai_eps() runs on HLR_ConnHdlr {</span><br><span style="color: hsl(120, 100%, 40%);">+ var GSUP_PDU res;</span><br><span style="color: hsl(120, 100%, 40%);">+ res := f_perform_SAI(g_pars.sub.imsi, is_eps := true);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_ensure_amf_separation_bit(res, '1'B);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* TODO: match if tuple[s] matches expectation */</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%);">+testcase TC_gsup_sai_eps() runs on test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var HlrSubscriberList sl;</span><br><span style="color: hsl(120, 100%, 40%);">+ var GSUP_PDU res;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_init(false);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sl := f_gen_3G_subs();</span><br><span style="color: hsl(120, 100%, 40%);">+ f_start_handler_per_sub(refers(f_TC_gsup_sai_eps), sl);</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 style="color: hsl(120, 100%, 40%);">+</span><br><span> /* test UL for unknown IMSI */</span><br><span> private function f_TC_ul_unknown_imsi() runs on HLR_ConnHdlr {</span><br><span> var GSUP_PDU res;</span><br><span>@@ -1383,6 +1455,7 @@</span><br><span> control {</span><br><span> execute( TC_gsup_sai_err_invalid_imsi() );</span><br><span> execute( TC_gsup_sai() );</span><br><span style="color: hsl(120, 100%, 40%);">+ execute( TC_gsup_sai_eps() );</span><br><span> execute( TC_gsup_ul_unknown_imsi() );</span><br><span> execute( TC_gsup_sai_err_unknown_imsi() );</span><br><span> execute( TC_gsup_ul() );</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15366">change 15366</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/+/15366"/><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: I40c6cf7e28ad9331e6c27fe7acafa3f9e277eedf </div>
<div style="display:none"> Gerrit-Change-Number: 15366 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: laforge <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>