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

lapdm: Rename 'dummy_CT' to more reasonable 'lapdm_test_CT' 

Change-Id: If72542f665a814bcda7c41120675a57ccf3407f4
This commit is contained in:
Harald Welte 2019-05-30 15:57:29 +02:00
parent 7c2c10cbf0
commit ba0c81bf3f
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
lapdm/L1CTL_Test.ttcn
View File

@ -4,12 +4,12 @@ module L1CTL_Test {
import from LAPDm_RAW_PT all;
import from LAPDm_Types all;
type component dummy_CT {
type component lapdm_test_CT {
port LAPDm_PT LAPDM;
var lapdm_CT lapdm_component;
};
function f_init() runs on dummy_CT {
function f_init() runs on lapdm_test_CT {
/* create the LAPDm component */
lapdm_component := lapdm_CT.create;
/* connect our own LAPDM port to the LAPDM Service Provider of the LAPDm component */
@ -23,7 +23,7 @@ module L1CTL_Test {
}
/* master function establishing a dedicated radio channel (takes care of RACH/IMM.ASS handling) */
function f_establish_dcch() runs on dummy_CT {
function f_establish_dcch() runs on lapdm_test_CT {
var BCCH_tune_req tune_req := { arfcn := { false, 871 }, combined_ccch := true };
var DCCH_establish_req est_req := { ra := 23 };
@ -33,7 +33,7 @@ module L1CTL_Test {
}
/* helper function releasing dedicated radio channel physically (no Um signaling!) */
function f_release_dcch() runs on dummy_CT {
function f_release_dcch() runs on lapdm_test_CT {
var DCCH_release_req rel_req := {};
LAPDM.send(rel_req);
}
@ -115,7 +115,7 @@ module L1CTL_Test {
}
function f_test_sabm_results_in_ua(uint8_t sapi, boolean use_sacch, octetstring payload) runs on dummy_CT return boolean {
function f_test_sabm_results_in_ua(uint8_t sapi, boolean use_sacch, octetstring payload) runs on lapdm_test_CT return boolean {
var LAPDm_ph_data phd;
var boolean result := false;
timer T := 5.0;
@ -135,7 +135,7 @@ module L1CTL_Test {
return result;
}
testcase TC_sabm_ua_dcch_sapi0() runs on dummy_CT {
testcase TC_sabm_ua_dcch_sapi0() runs on lapdm_test_CT {
f_init();
if (not f_test_sabm_results_in_ua(0, false, 'FEFE'O)) {
setverdict(fail);
@ -143,7 +143,7 @@ module L1CTL_Test {
setverdict(pass);
}
testcase TC_sabm_ua_dcch_sapi0_nopayload() runs on dummy_CT {
testcase TC_sabm_ua_dcch_sapi0_nopayload() runs on lapdm_test_CT {
f_init();
if (f_test_sabm_results_in_ua(0, false, ''O)) {
setverdict(fail, "Initial SABM/UA must contain L3 payload but BTS accepts without");
@ -151,7 +151,7 @@ module L1CTL_Test {
setverdict(pass);
}
testcase TC_sabm_ua_dcch_sapi3() runs on dummy_CT {
testcase TC_sabm_ua_dcch_sapi3() runs on lapdm_test_CT {
f_init();
if (f_test_sabm_results_in_ua(3, false, 'FEFE'O)) {
setverdict(fail, "Initial SABM/UA must be on SAPI0, but BTS accepts SAPI=3");
@ -159,7 +159,7 @@ module L1CTL_Test {
setverdict(pass);
}
testcase TC_sabm_ua_dcch_sapi4() runs on dummy_CT {
testcase TC_sabm_ua_dcch_sapi4() runs on lapdm_test_CT {
f_init();
if (f_test_sabm_results_in_ua(4, false, 'FEFE'O)) {
setverdict(fail, "Initial SABM/UA must be on SAPI0, but BTS accepts SAPI=4");
@ -167,7 +167,7 @@ module L1CTL_Test {
setverdict(pass);
}
testcase TC_sabm_contention() runs on dummy_CT {
testcase TC_sabm_contention() runs on lapdm_test_CT {
var LAPDm_ph_data phd;
const octetstring payload := '0102030405'O;
const GsmSapi sapi := 0;
@ -196,7 +196,7 @@ module L1CTL_Test {
/* we test that a re-transmitted SABM with identical payload will result in the retransmission of a
* UA. This is required during the contention resolution procedure as specified in 8.4.1.4 */
testcase TC_sabm_retransmit() runs on dummy_CT {
testcase TC_sabm_retransmit() runs on lapdm_test_CT {
const octetstring payload := '00FEFEDEADBEEF'O;
f_init();
if (not f_test_sabm_results_in_ua(0, false, payload)) {
@ -208,7 +208,7 @@ module L1CTL_Test {
setverdict(pass);
}
testcase TC_foo() runs on dummy_CT {
testcase TC_foo() runs on lapdm_test_CT {
var LapdmFrame lf;
/*
var LapdmFrame lf := valueof(LAPDm_B_UA(0, ''O));