Hello Jenkins Builder,

I'd like you to reexamine a change.  Please visit

    https://gerrit.osmocom.org/7653

to look at the new patch set (#2).

fix MSC.TC_lu_clear_request: allow LU Reject, forbid 2nd Clear Cmd

When the MS sends a Clear Request in the middle of a Location Updating, it
should be permitted for the MSC to send a Location Updating Reject back. Extend
with an alt that also allows a LU reject before the Clear Command.

The test explicitly hints at https://osmocom.org/issues/2862 which rightfully
forbids the MSC to send a second Clear Command after the first is completed.
However, this test so far explicitly permits a second Clear Command, so it was
probably passing in error all the time. Set verdict to failure if a second
Clear Command is received before the DISC_IND.

This changes the test verdict to failure with current osmo-msc master,
rightfully so; the failure will be fixed by the upcoming MSC subscr conn FSM
refactoring.

Change-Id: I7bc5555b829d61b0a2529107bc9b58446865545d
---
M msc/MSC_Tests.ttcn
M msc/expected-results.log
2 files changed, 14 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks 
refs/changes/53/7653/2

diff --git a/msc/MSC_Tests.ttcn b/msc/MSC_Tests.ttcn
index ce9c8b9..6ec08bb 100644
--- a/msc/MSC_Tests.ttcn
+++ b/msc/MSC_Tests.ttcn
@@ -681,11 +681,17 @@
        f_sleep(1.0);
        /* send clear request in the middle of the LU */
        BSSAP.send(ts_BSSMAP_ClearRequest(0));
-       BSSAP.receive(tr_BSSMAP_ClearCommand);
+       alt {
+       [] BSSAP.receive(tr_PDU_DTAP_MT(tr_ML3_MT_LU_Rej)) { repeat; }
+       [] BSSAP.receive(tr_BSSMAP_ClearCommand) {}
+       }
        BSSAP.send(ts_BSSMAP_ClearComplete);
        alt {
        /* See https://osmocom.org/issues/2862 */
-       [] BSSAP.receive(tr_BSSMAP_ClearCommand) { repeat; }
+       [] BSSAP.receive(tr_BSSMAP_ClearCommand) {
+                       setverdict(fail, "Got a second Clear Command, only one 
expected");
+                       repeat;
+               }
        [] BSSAP.receive(BSSAP_Conn_Prim:MSC_CONN_PRIM_DISC_IND) {}
        }
        setverdict(pass);
diff --git a/msc/expected-results.log b/msc/expected-results.log
index 3945a5f..92c38a0 100644
--- a/msc/expected-results.log
+++ b/msc/expected-results.log
@@ -20,7 +20,12 @@
   <testcase classname='MSC_Tests' name='TC_lu_and_mo_call' time='4.291881'/>
   <testcase classname='MSC_Tests' name='TC_lu_auth_sai_timeout' 
time='6.032964'/>
   <testcase classname='MSC_Tests' name='TC_lu_auth_sai_err' time='1.028503'/>
-  <testcase classname='MSC_Tests' name='TC_lu_clear_request' time='2.029726'/>
+  <testcase classname='MSC_Tests' name='TC_lu_clear_request' time='2.067166'>
+    <failure type='fail-verdict'>Got a second Clear Command, only one expected
+      MSC_Tests.ttcn:1832 MSC_Tests control part
+      MSC_Tests.ttcn:704 TC_lu_clear_request testcase
+    </failure>
+  </testcase>
   <testcase classname='MSC_Tests' name='TC_lu_disconnect' time='2.028908'/>
   <testcase classname='MSC_Tests' name='TC_lu_by_imei' time='6.030599'/>
   <testcase classname='MSC_Tests' name='TC_lu_by_tmsi_noauth_unknown' 
time='1.246818'/>

-- 
To view, visit https://gerrit.osmocom.org/7653
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newpatchset
Gerrit-Change-Id: I7bc5555b829d61b0a2529107bc9b58446865545d
Gerrit-PatchSet: 2
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Owner: Neels Hofmeyr <nhofm...@sysmocom.de>
Gerrit-Reviewer: Jenkins Builder

Reply via email to