[PATCH] osmo-ttcn3-hacks[master]: fix TC_lu_clear_request: allow LU Reject message, forbid sec...

[Neels Hofmeyr]

Review at  https://gerrit.osmocom.org/7653

fix TC_lu_clear_request: allow LU Reject message, forbid second 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/1

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: newchange
Gerrit-Change-Id: I7bc5555b829d61b0a2529107bc9b58446865545d
Gerrit-PatchSet: 1
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>