-
-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathBTS_Tests_LAPDm.ttcn
1499 lines (1309 loc) · 51.7 KB
/
BTS_Tests_LAPDm.ttcn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
module BTS_Tests_LAPDm {
import from GSM_Types all;
import from Osmocom_Types all;
import from LAPDm_RAW_PT all;
import from LAPDm_Types all;
import from RSL_Types all;
import from BTS_Tests all;
import from GSM_RR_Types all;
import from Misc_Helpers all;
/* test that use exclusively only LAPDm over L1CTL */
type component lapdm_test_CT {
port LAPDm_PT LAPDM;
var lapdm_CT lapdm_component;
};
/* contrary to BTS_Tests.ttcn, we use LAPDm_PT here, a convenience wrapper
* around L1CTL to perform encode/decode of abstract LAPDm frames */
/*********************************************************************************
* Test using only L1CTL/LAPDm
*********************************************************************************/
function f_lapdm_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 */
connect(self:LAPDM, lapdm_component:LAPDM_SP);
/* connect the LAPDm compoent's lower-side port to the system L1CTL port (which is internally
* connected to the Unix Domain Socket test port */
map(lapdm_component:L1CTL, system:L1CTL);
/* start the LAPDm parallel component calling it's local function LAPDmStart */
lapdm_component.start(LAPDmStart());
}
function f_lapdm_exit() runs on lapdm_test_CT {
lapdm_component.stop;
lapdm_component.done;
unmap(lapdm_component:L1CTL, system:L1CTL);
}
/* master function switching to a dedicated radio channel */
function f_switch_dcch() runs on ConnHdlr {
var TrxParsItem trx_pars := mp_trx_pars[g_pars.trx_nr];
var GsmBandArfcn arfcn := valueof(ts_GsmBandArfcn(trx_pars.arfcn));
var BCCH_tune_req tune_req := { arfcn := arfcn, combined_ccch := true };
var DCCH_switch_req sw_req;
/* Craft channel description (with or without frequency hopping parameters) */
if (g_pars.fhp.enabled) {
sw_req.chan_desc := valueof(ts_ChanDescH1(g_pars.chan_nr,
g_pars.fhp.maio_hsn,
g_pars.tsc));
sw_req.ma := g_pars.fhp.ma;
} else {
sw_req.chan_desc := valueof(ts_ChanDescH0(g_pars.chan_nr,
trx_pars.arfcn,
g_pars.tsc));
sw_req.ma := omit;
}
LAPDM.send(tune_req);
LAPDM.send(sw_req);
LAPDM.receive(DCCH_switch_res:?);
}
/* helper function releasing dedicated radio channel physically (no Um signaling!) */
function f_release_dcch() runs on lapdm_test_CT {
var DCCH_release_req rel_req := {};
LAPDM.send(rel_req);
}
template LAPDm_ph_data t_PH_DATA(template GsmSapi sapi, template boolean sacch, template LapdmFrame frame) := {
sacch := sacch,
sapi := sapi,
lapdm := frame
}
function f_test_sabm_results_in_ua(uint8_t sapi, boolean use_sacch, octetstring payload) runs on ConnHdlr return boolean {
var LAPDm_ph_data phd;
var boolean result := false;
timer T := 5.0;
LAPDM.send(t_PH_DATA(sapi, use_sacch, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=false, l3:=payload)));
T.start
alt {
[] LAPDM.receive(t_PH_DATA(?, use_sacch, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=false, l3:=payload))) { result := true; }
[] RSL.receive {repeat;}
[] LAPDM.receive { repeat; }
[] T.timeout { }
}
LAPDM.send(t_PH_DATA(sapi, use_sacch, ts_LAPDm_RR(sapi, c_r:=cr_MT_CMD, p:=false, nr:=0)));
return result;
}
function f_TC_sabm_ua_dcch_sapi0(charstring id) runs on ConnHdlr {
fp_common_init();
RSL.clear;
LAPDM.clear;
var default d := activate(as_ignore_background());
if (not f_test_sabm_results_in_ua(0, false, 'FEFE'O)) {
setverdict(fail);
}
setverdict(pass);
deactivate(d);
fp_common_fini();
}
function f_TC_sabm_ua_dcch_sapi0_nopayload(charstring id) runs on ConnHdlr {
fp_common_init();
RSL.clear;
LAPDM.clear;
var default d := activate(as_ignore_background());
if (f_test_sabm_results_in_ua(0, false, ''O)) {
setverdict(fail, "Initial SABM/UA must contain L3 payload but BTS accepts without");
}
setverdict(pass);
deactivate(d);
fp_common_fini();
}
function f_TC_sabm_ua_dcch_sapi3(charstring id) runs on ConnHdlr {
fp_common_init();
RSL.clear;
LAPDM.clear;
var default d := activate(as_ignore_background());
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");
}
setverdict(pass);
deactivate(d);
fp_common_fini();
}
function f_TC_sabm_ua_dcch_sapi4(charstring id) runs on ConnHdlr {
fp_common_init();
RSL.clear;
LAPDM.clear;
var default d := activate(as_ignore_background());
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");
}
setverdict(pass);
deactivate(d);
fp_common_fini();
}
testcase TC_sabm_ua_dcch_sapi0() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_ua_dcch_sapi0));
}
testcase TC_sabm_ua_dcch_sapi0_nopayload() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_ua_dcch_sapi0_nopayload));
}
testcase TC_sabm_ua_dcch_sapi3() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_ua_dcch_sapi3));
}
testcase TC_sabm_ua_dcch_sapi4() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_ua_dcch_sapi4));
}
function f_TC_sabm_contention(charstring id) runs on ConnHdlr {
var LAPDm_ph_data phd;
const octetstring payload := '0102030405'O;
const GsmSapi sapi := 0;
const boolean use_sacch := false;
timer T := 5.0;
fp_common_init();
RSL.clear;
LAPDM.clear;
/* first frame is our real SABM */
LAPDM.send(t_PH_DATA(sapi, use_sacch, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=false, l3:=payload)));
/* second frame is a SABM with different payload, which BTS has to ignore according to 8.4.1.4 */
LAPDM.send(t_PH_DATA(sapi, use_sacch, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=false, l3:='ABCDEF'O)));
T.start
alt {
[] LAPDM.receive(t_PH_DATA(?, use_sacch, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=false, l3:=payload))) { setverdict(pass); repeat; }
[] LAPDM.receive(t_PH_DATA(?, use_sacch, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=false, l3:=?))) {
setverdict(fail, "Second SABM was responded to during contention resolution");
}
[] RSL.receive {repeat;}
[] LAPDM.receive { repeat };
[] T.timeout { }
}
fp_common_fini();
}
testcase TC_sabm_contention() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_contention));
}
/* 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 */
function f_TC_sabm_retransmit(charstring id) runs on ConnHdlr {
const octetstring payload := '00FEFEDEADBEEF'O;
fp_common_init();
RSL.clear;
LAPDM.clear;
var default d := activate(as_ignore_background());
if (not f_test_sabm_results_in_ua(0, false, payload)) {
setverdict(fail);
}
if (not f_test_sabm_results_in_ua(0, false, payload)) {
setverdict(fail);
}
setverdict(pass);
deactivate(d);
fp_common_fini();
}
testcase TC_sabm_retransmit() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_retransmit));
}
/*********************************************************************************
* Test using both L1CTL/LAPDm and RSL
*********************************************************************************/
private function fp_common_init() runs on ConnHdlr
{
/* undo what f_start_handler is doing and pull LAPDm_CT into the loop */
unmap(self:L1CTL, system:L1CTL);
f_lapdm_init();
/* Obtain frequency hopping parameters for a given timeslot */
if (mp_freq_hop_enabled and mp_transceiver_num > 1) {
f_resolve_fh_params(g_pars.fhp, g_pars.chan_nr.tn);
}
/* activate the channel on the BTS side */
f_rsl_chan_act(g_pars.chan_mode, false, {});
/* activate the channel on the MS side */
f_switch_dcch();
}
private function fp_common_fini() runs on ConnHdlr
{
f_release_dcch();
f_rsl_chan_deact();
f_lapdm_exit();
}
/* Mobile-Originated LAPDm establishment on given Link ID */
private function f_establish_mo(RslLinkId link_id) runs on ConnHdlr
{
var integer sapi := link_id.sapi;
var boolean is_sacch := false;
if (link_id.c == SACCH) {
is_sacch := true;
}
var octetstring l3_mo := f_rnd_octstring(5);
/* MO Establish Request via LADPm: SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201.. */
if (is_sacch) {
/* no payload permitted, as this is not contention resolution */
l3_mo := ''O;
LAPDM.send(t_PH_DATA(0, is_sacch, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo)));
RSL.receive(tr_RSL_EST_IND_NOL3(g_chan_nr, link_id));
} else {
LAPDM.send(t_PH_DATA(0, is_sacch, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo)));
RSL.receive(tr_RSL_EST_IND(g_chan_nr, link_id, l3_mo));
}
/* UA: SAPI = 0, R = 0, F = 1, M = 0, L = L of SABM. */
LAPDM.receive(t_PH_DATA(0, is_sacch, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=true, l3:=l3_mo)));
}
/* Verify that the BTS is re-transmitting SABM messages after T200 timeout, inspired
by 3GPP TS 51.010-1 25.2.1.1.2.1 + 25.2.1.2.4 */
private function f_TC_sabm_retransmit_bts(charstring id) runs on ConnHdlr {
const integer sapi := 3; /* BTS may not establish SAPI=0 outbound */
fp_common_init();
LAPDM.clear;
RSL.send(ts_RSL_EST_REQ(g_chan_nr, ts_RslLinkID_DCCH(sapi)));
timer T := 20.0;
var integer sabm_received := 0;
T.start;
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_SABM(sapi, ?, ?, ''O))) {
sabm_received := sabm_received + 1;
repeat;
}
[] LAPDM.receive { repeat; }
[] T.timeout { }
}
if (sabm_received == 0) {
setverdict(fail, "No SABM observed at all!");
} else if (sabm_received != 6) {
setverdict(fail, "Incorrect number of SABM re-transmissions of observed: ",
sabm_received);
} else {
setverdict(pass, "Received ", sabm_received, " SABM");
}
fp_common_fini();
}
testcase TC_sabm_retransmit_bts() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
pars.t_guard := 30.0;
f_testmatrix_each_chan(pars, refers(f_TC_sabm_retransmit_bts));
}
type record LapdmNamedFrame {
charstring name,
LapdmFrame lapdm
};
/* Test that the BTS will ignore receipt of frames other than a UA when
* received in response to the SABM frame, inspired from 3GPP TS 51.010-1
* Section 25.2.1.1.2.3 */
private function f_TC_sabm_invalid_resp2(charstring id, LapdmNamedFrame err_frame) runs on ConnHdlr {
var integer sapi := err_frame.lapdm.ab.addr.sapi;
fp_common_init();
/* Establish Request via RSL; Expect SABM on LAPDm side */
LAPDM.clear;
RSL.send(ts_RSL_EST_REQ(g_chan_nr, ts_RslLinkID_DCCH(sapi)));
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_SABM(sapi, ?, ?, ''O)));
[] LAPDM.receive { repeat; }
}
/* send erroneous response to SABM */
LAPDM.send(t_PH_DATA(0, false, err_frame.lapdm));
/* expect a SABM retransmission of the BTS */
timer T := 3.0;
T.start;
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_SABM(sapi, ?, ?, ''O))) {
setverdict(pass);
}
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UI(0, ?, ''O))) { repeat; }
[] LAPDM.receive(t_PH_DATA(0, false, ?)) {
setverdict(fail, "Received unexpected LAPDm frame instead of SABM after sending ",
err_frame.name);
}
[] LAPDM.receive { repeat; }
[] T.timeout {
setverdict(fail, "Timeout waiting for SABM retransmission after sending ",
err_frame.name);
}
}
fp_common_fini();
}
private function f_TC_sabm_invalid_resp(charstring id) runs on ConnHdlr {
const integer sapi := 3; /* BTS may not establish SAPI=0 outbound */
var LapdmNamedFrame err_frame[3] := {
{ "I", valueof(ts_LAPDm_I(sapi, c_r := cr_MO_CMD, p := true, nr := 0, ns := 0,
l3 := '01020304'O)) },
{ "RR", valueof(ts_LAPDm_RR(sapi, c_r := cr_MO_CMD, p := true, nr := 0)) },
{ "REJ" , valueof(ts_LAPDm_REJ(sapi, c_r := cr_MO_CMD, p := true, nr := 0)) }
};
var integer i;
for (i := 0; i < lengthof(err_frame); i := i+1) {
f_TC_sabm_invalid_resp2(id, err_frame[i])
}
}
testcase TC_sabm_invalid_resp() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_invalid_resp));
}
/* Test that the BTS will not re-transmit SABM frames after receiving a DM response,
* inspired from 3GPP TS 51.010-1 Section 25.2.1.1.3 */
private function f_TC_sabm_dm(charstring id) runs on ConnHdlr {
const integer sapi := 3; /* BTS may not establish SAPI=0 outbound */
fp_common_init();
/* Establish Request via RSL; Expect SABM on LAPDm side */
LAPDM.clear;
RSL.send(ts_RSL_EST_REQ(g_chan_nr, ts_RslLinkID_DCCH(sapi)));
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_SABM(sapi, ?, ?, ''O)));
[] LAPDM.receive { repeat; }
}
/* send DM response to SABM */
RSL.clear;
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_DM(sapi, c_r:=cr_MO_RSP, f:=true)));
alt {
[] RSL.receive(tr_RSL_REL_IND(g_chan_nr, tr_RslLinkID_DCCH(sapi)));
[] RSL.receive { repeat; }
}
/* expect no SABM retransmission of the BTS */
timer T := 3.0;
T.start;
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_SABM(sapi, ?, ?, ''O))) {
setverdict(fail, "Received unexpected SABM retransmission");
}
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UI(0, ?, ''O))) { repeat; }
[] LAPDM.receive(t_PH_DATA(0, false, ?)) {
setverdict(fail, "Received unexpected LAPDm frame");
}
[] LAPDM.receive { repeat; }
[] T.timeout {
setverdict(pass);
}
}
fp_common_fini();
}
testcase TC_sabm_dm() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_sabm_dm));
}
/* Test the full LAPDm establishment while simulating the loss of the initial SABM or UA
* frame, requiring the BTS to re-transmit one SABM and then following up all the way to
* dedicated mode; inspired by 3GPP TS 51.010-1 25.2.1.2.2 */
private function f_TC_establish_ign_first_sabm(charstring id) runs on ConnHdlr {
const integer sapi := 3; /* BTS may not establish SAPI=0 outbound */
var integer num_sabm := 0;
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(sapi));
timer T := 3.0;
fp_common_init();
/* Establish Request via RSL */
LAPDM.clear;
RSL.send(ts_RSL_EST_REQ(g_chan_nr, link_id));
/* Expect two SABM (retransmit) */
T.start;
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_SABM(sapi, ?, ?, ''O))) {
num_sabm := num_sabm + 1;
if (num_sabm < 2) {
repeat;
}
}
[] LAPDM.receive { repeat; }
}
/* send UA response to SABM */
RSL.clear;
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_UA(sapi, c_r:=cr_MO_RSP, f:=true, l3:=''O)));
alt {
[] RSL.receive(tr_RSL_EST_CONF(g_chan_nr, link_id));
[] RSL.receive { repeat; }
}
/* Send I frame from BTS to MS */
var octetstring l3 := f_rnd_octstring(10);
RSL.send(ts_RSL_DATA_REQ(g_chan_nr, link_id, l3));
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=false,
nr:=0, ns:=0, l3:=l3)));
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UI(0, ?, ''O))) { repeat; }
[] LAPDM.receive(t_PH_DATA(0, true, ?)) { repeat; }
[] LAPDM.receive { setverdict(fail, "Unexpected LAPDm received"); }
}
/* Send RR frame in response */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_RR(sapi, c_r:=cr_MO_RSP, p:=false, nr:=1)));
/* expect idle UI Frame from BTS */
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UI(0, ?, ''O))) {
setverdict(pass);
}
[] LAPDM.receive(t_PH_DATA(0, true, ?)) { repeat; }
[] LAPDM.receive { setverdict(fail, "Unexpected LAPDm received"); }
}
fp_common_fini();
}
testcase TC_establish_ign_first_sabm() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_establish_ign_first_sabm));
}
/* ignore all SACCH frames */
private altstep as_lapdm_acch() runs on ConnHdlr {
[] LAPDM.receive(t_PH_DATA(0, true, ?)) { repeat; }
}
/* ignore all DCCH frames */
private altstep as_lapdm_dcch() runs on ConnHdlr {
[] LAPDM.receive(t_PH_DATA(0, false, ?)) { repeat; }
}
/* ignore all LAPDm idle frames (UI) */
private altstep as_lapdm_idle() runs on ConnHdlr {
[] LAPDM.receive(t_PH_DATA(0, ?, tr_LAPDm_UI(?, ?, ''O))) { repeat; }
}
/* ignore all measurement reports */
private altstep as_rsl_meas_rep() runs on ConnHdlr {
[] RSL.receive(tr_RSL_MEAS_RES(g_chan_nr)) { repeat; }
}
/* fail if we receive an RSL ERROR IND */
private altstep as_rsl_fail_err() runs on ConnHdlr {
var RSL_Message rx_rsl;
[] RSL.receive(tr_RSL_ERROR_IND(g_chan_nr, ?, ?)) {
setverdict(fail, "Received RSL ERROR IND ", rx_rsl);
}
}
/* all of the above */
private altstep as_ignore_background(boolean want_dcch := true, boolean ignore_rsl_errors := false) runs on ConnHdlr {
[want_dcch] as_lapdm_acch();
[not want_dcch] as_lapdm_dcch();
[] as_lapdm_idle();
[] as_rsl_meas_rep();
[not ignore_rsl_errors] as_rsl_fail_err();
[ignore_rsl_errors] RSL.receive(tr_RSL_ERROR_IND(g_chan_nr, ?, ?)) { repeat;}
}
/* Test the operation of Layer 2 sequence numbering.
* dedicated mode; inspired by 3GPP TS 51.010-1 25.2.2.1 */
private function f_TC_iframe_seq_and_ack(charstring id) runs on ConnHdlr {
const integer sapi := 0;
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(sapi));
var octetstring l3 := f_rnd_octstring(18);
var default d;
timer T := 3.0;
fp_common_init();
/* some common altstep for meas res and other background noise */
d := activate(as_ignore_background());
RSL.clear;
LAPDM.clear;
f_establish_mo(link_id);
var integer last_ns_rx := 0;
for (var integer i := 0; i < 10; i := i+1) {
var octetstring l3_mo := f_rnd_octstring(12);
var octetstring l3_mt := f_rnd_octstring(12);
var LAPDm_ph_data pd;
log("Starting iteration ", i);
/* MT I frame */
RSL.send(ts_RSL_DATA_REQ(g_chan_nr, link_id, l3_mt));
alt {
/* SAPI = 0, R = 1, F = 0, M = 0, L = 0. */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_RR(sapi, c_r:=cr_MT_RSP, p:=false,
nr:=i mod 8))) {
log("Ignoring RR in iteration ", i);
repeat;
}
/* SAPI = 0, C = 1, P = 0, M = 0, 0 ≤ L ≤ N201. */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=false,
nr:=i mod 8, ns:=i mod 8,
l3:=l3_mt))) -> value pd {
last_ns_rx := pd.lapdm.ab.ctrl.i.n_s;
}
}
/* respond with MO I-frame: SAPI = 0, C = 0, P = 0, M = 0, 0 <= L <= N201. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=false,
nr:=(last_ns_rx+1)mod 8,
ns:=i mod 8, l3 := l3_mo)));
RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, l3_mo));
}
log("Completed iteration");
deactivate(d);
fp_common_fini();
}
testcase TC_iframe_seq_and_ack() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_iframe_seq_and_ack));
}
/* To test that the BTS is able to respond to I frames whilst in the timer recovery state.
* Inspired by 3GPP TS 51.010-1 25.2.2.2 */
/*
1) The BTS is brought into the multiple frame established state
2) The MS sends an L3 Request asking for IMEI to the MS.
3) The BTS shall respond with a RR frame though this may be incorporated with
the L3 Response I frame. The MS does not respond to the I frame.
4) The BTS shall wait for expiry of timer T200 and then repeat the I frame but
with the P bit set to 1.
5) The MS then sends a valid L3 Request I frame asking for IMEI which
does not acknowledge receipt of the I frame from the BTS.
On the FACCH the BTS may send an RR frame acknowledging the I frame.
6) The BTS shall repeat the I frame, this frame will acknowledge receipt of
the second I frame from the MS.
7) The MS then acknowledges receipt of the MS I frame by sending a RR frame.
8) The BTS shall send the next I frame. The MS acknowledges this I frame.
*/
private function f_TC_iframe_timer_recovery(charstring id) runs on ConnHdlr {
const integer sapi := 0;
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(sapi));
var default d;
timer T := 3.0;
fp_common_init();
/* some common altstep for meas res and other background noise */
d := activate(as_ignore_background());
RSL.clear;
LAPDM.clear;
var octetstring l3_mo := f_rnd_octstring(12);
var octetstring l3_mt := f_rnd_octstring(12);
/* 1) The BTS is brought into the multiple frame established state */
/* MO Establish Request via LADPm: SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201.. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo)));
RSL.receive(tr_RSL_EST_IND(g_chan_nr, link_id, l3_mo));
/* UA: SAPI = 0, R = 0, F = 1, M = 0, L = L of SABM. */
LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=true, l3:=l3_mo)));
/* 2) The MS sends an L3 Request to the BTS */
l3_mo := f_rnd_octstring(18);
/* SAPI = 0, C = 1, P = 0, M = 0, 0 ≤ L ≤ N201, N(S) = 0, N(R) = 0. * */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=false,
nr:=0, ns:=0, l3:=l3_mo)));
RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, l3_mo));
/* 3) The BTS shall respond with a RR frame though this may be incorporated with
the L3 Response I frame. The MS does not respond to the I frame. */
RSL.send(ts_RSL_DATA_REQ(g_chan_nr, link_id, l3_mt));
alt {
/* SAPI = 0, R = 1, F = 0, M = 0, L = 0, N(R) = 1. */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_RR(sapi, c_r:=cr_MT_RSP, p:=false, nr:=1))) {
repeat;
}
/* SAPI = 0, C = 0, P = 0, M = 0, 0 ≤ L ≤ N201, N(R) = 1, N(S) = 0 */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=false,
nr:=1, ns:=0, l3:=l3_mt)));
}
/* 4) The BTS shall wait for expiry of timer T200 and then repeat the I frame but
with the P bit set to 1. */
/* SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201, N(R) = 1, N(S) = 0. * */
LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=true,
nr:=1, ns:=0, l3:=l3_mt)));
/* 5) The MS then sends a valid L3 Request I frame asking for IMEI which
does not acknowledge receipt of the I frame from the BTS. */
/* SAPI = 0, C = 1, P = 0, M = 0, 0 ≤ L ≤ N201, N(S) = 1, N(R) = 0. * */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=false,
nr:=0, ns:=1, l3 := l3_mo)));
RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, l3_mo));
alt {
/* On the FACCH the BTS may send an RR frame acknowledging the I frame. */
/* SAPI = 0, R = 1, F = 0, M = 0, L = 0, N(R) = 2. */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_RR(sapi, c_r:=cr_MT_RSP, p:=false, nr:=2))) {
repeat;
}
/* 6) The BTS shall repeat the I frame, this frame will acknowledge
receipt of the second I frame from the MS. */
/* SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201, N(R) = 2, N(S) = 0. * */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=true,
nr:=2, ns:=0, l3:=l3_mt)));
}
/* 7) The MS then acknowledges receipt of the BTS I frame by sending a RR * frame. */
/* SAPI = 0, R = 0, F = 1, 0, M = 0, L = 0, N(R) = 1 */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_RR(sapi, c_r:=cr_MO_RSP, p:=true, nr:=1)));
/* 8) The BTS shall send the next I frame. The MS acknowledges this I frame. */
l3_mt := f_rnd_octstring(16);
RSL.send(ts_RSL_DATA_REQ(g_chan_nr, link_id, l3_mt));
/* SAPI = 0, C = 0, P = 0, M = 0, 0 ≤ L ≤ N201, N(R) = 2, N(S) = 1 */
LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=false,
nr:=2, ns:=1, l3:=l3_mt)));
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_RR(sapi, c_r:=cr_MO_RSP, p:=true, nr:=2)));
deactivate(d);
fp_common_fini();
}
testcase TC_iframe_timer_recovery() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_iframe_timer_recovery));
}
/* 25.2.6.1 ns sequence error
sends wrong N(S), expects REJ, sends wrong N(S) with P=1, expects REJ with F=1 */
private function f_TC_ns_seq_error(charstring id) runs on ConnHdlr {
const integer sapi := 0;
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(sapi));
var default d;
timer T := 3.0;
fp_common_init();
/* some common altstep for meas res and other background noise */
d := activate(as_ignore_background(ignore_rsl_errors := true));
RSL.clear;
LAPDM.clear;
var octetstring l3_mo := f_rnd_octstring(12);
var octetstring l3_mt := f_rnd_octstring(12);
/* 1) The BTS is brought into the multiple frame established state */
/* MO Establish Request via LADPm: SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201.. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo)));
RSL.receive(tr_RSL_EST_IND(g_chan_nr, link_id, l3_mo));
/* UA: SAPI = 0, R = 0, F = 1, M = 0, L = L of SABM. */
LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=true, l3:=l3_mo)));
/* 2) The MS sends an L3 Request to the BTS */
l3_mo := f_rnd_octstring(18);
/* SAPI = 0, C = 1, P = 0, M = 0, 0 ≤ L ≤ N201, N(S) = 0, N(R) = 0. * */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=false,
nr:=0, ns:=0, l3:=l3_mo)));
RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, l3_mo));
/* 3) The BTS shall respond with a RR frame though this may be incorporated with
the L3 Response I frame. */
RSL.send(ts_RSL_DATA_REQ(g_chan_nr, link_id, l3_mt));
alt {
/* SAPI = 0, R = 1, F = 0, M = 0, L = 0, N(R) = 1. */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_RR(sapi, c_r:=cr_MT_RSP, p:=false, nr:=1))) {
repeat;
}
/* SAPI = 0, C = 0, P = 0, M = 0, 0 ≤ L ≤ N201, N(R) = 1, N(S) = 0 */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_I(sapi, c_r:=cr_MT_CMD, p:=false,
nr:=1, ns:=0, l3:=l3_mt)));
}
/* 4) The MS shall then send an I frame containing Identity Request with incorrect N(S)
but correctly acknowledging the MS's I frame; P bit set to zero. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=false,
nr:=1, ns:=0, l3:=l3_mo)));
/* no rsl data ind due to wrong ns */
/* The BTS shall send a REJ frame. */
timer T1 := 2.0;
T1.start;
alt{
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_REJ(sapi, c_r:=cr_MT_RSP, p:=false, nr:=1)));
[] T1.timeout{ setverdict(fail, "Missing first REJ")}
}
f_sleep(2.0); // T200
/* The MS shall, after T200, send another I frame with incorrect N(S), P bit set to 1 this time. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=true,
nr:=1, ns:=0, l3:=l3_mo)));
/* The BTS shall respond with a REJ, F bit set to 1. */
T1.start;
alt{
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_REJ(sapi, c_r:=cr_MT_RSP, p:=true, nr:=1)));
[] T1.timeout{ setverdict(fail, "Missing second REJ")}
}
deactivate(d);
fp_common_fini();
setverdict(pass);
}
testcase TC_ns_seq_error() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_ns_seq_error));
}
/* 25.2.6.2 nr sequence error */
private function f_TC_nr_seq_error(charstring id) runs on ConnHdlr {
const integer sapi := 0;
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(sapi));
var default d;
var integer n201 := 20;
if (link_id.c == SACCH) {
n201 := 18;
}
fp_common_init();
/* some common altstep for meas res and other background noise */
d := activate(as_ignore_background(ignore_rsl_errors := true));
RSL.clear;
LAPDM.clear;
var octetstring l3_mo := f_rnd_octstring(12);
var octetstring l3_mt := f_rnd_octstring(12);
/* 1) The BTS is brought into the multiple frame established state */
/* MO Establish Request via LADPm: SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201.. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo)));
RSL.receive(tr_RSL_EST_IND(g_chan_nr, link_id, l3_mo));
/* UA: SAPI = 0, R = 0, F = 1, M = 0, L = L of SABM. */
LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=true, l3:=l3_mo)));
/* 2) The MS shall send an I frame containing an information field of length N201 and an
incorrect receive sequence number. */
l3_mo := f_rnd_octstring(n201);
/* SAPI = 0, C = 1, P = 0, M = 0, L = N201, N(S) = 0, N(R) = 1. * */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=false,
nr:=1, ns:=0, l3:=l3_mo)));
/* LAPD indicates the data and then indicates error with sequence error cause. */
RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, l3_mo));
RSL.receive(tr_RSL_ERROR_IND(g_chan_nr, link_id, '07'O));
/* Release RSL link. */
RSL.send(ts_RSL_REL_REQ(g_chan_nr, link_id));
/* The BTS may: a) send a DISC frame within N200×T200; */
/* DISC SAPI = 0, C = 0, P = 1, M = 0, L = 0. */
timer T1 := 2.0;
T1.start;
alt{
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_DISC(sapi, c_r:=cr_MT_CMD, p:=true)));
[] T1.timeout{ setverdict(fail, "Missing DISC from BTS")}
}
/* a) the MS shall respond with a UA frame.
SAPI = 0, R = 0, F = 1, M = 0, L = 0. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_UA(sapi, c_r:=cr_MO_CMD, f:=true, l3:=l3_mo)));
deactivate(d);
fp_common_fini();
setverdict(pass);
}
testcase TC_nr_seq_error() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
f_testmatrix_each_chan(pars, refers(f_TC_nr_seq_error));
}
private function f_TC_rec_invalid_frame_txrx(integer sapi, LapdmFrame x, integer line_nr) runs on ConnHdlr {
LAPDM.send(t_PH_DATA(0, false, x));
f_sleep(2.0); // T200
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=true, nr:=0)));
timer T1 := 2.0;
T1.start;
alt {
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_RR(sapi, c_r:=cr_MT_RSP, p:=true , nr := 0))) { T1.stop; }
[] T1.timeout{ Misc_Helpers.f_shutdown(__BFILE__, line_nr, fail, "Missing LAPDm_RR RSP"); }
}
}
/* 25.2.7 Test on receipt of invalid frames
sends a bunch of different invalid frames, expects the BTS to ignore all of them */
private function f_TC_rec_invalid_frame(charstring id) runs on ConnHdlr {
const integer sapi := 0;
var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(sapi));
var default d;
timer T := 3.0;
fp_common_init();
/* some common altstep for meas res and other background noise */
d := activate(as_ignore_background(ignore_rsl_errors := true));
RSL.clear;
LAPDM.clear;
var octetstring l3_mo := f_rnd_octstring(12);
var octetstring l3_mt := f_rnd_octstring(12);
/* 1) The BTS is brought into the multiple frame established state */
/* MO Establish Request via LADPm: SAPI = 0, C = 0, P = 1, M = 0, 0 ≤ L ≤ N201.. */
LAPDM.send(t_PH_DATA(0, false, ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo)));
T.start
alt {
[] RSL.receive(tr_RSL_EST_IND(g_chan_nr, link_id, l3_mo)) {}
[] T.timeout{ Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Missing RSL EST IND"); }
}
alt {
/* UA: SAPI = 0, R = 0, F = 1, M = 0, L = L of SABM. */
[] LAPDM.receive(t_PH_DATA(0, false, tr_LAPDm_UA(sapi, cr_MT_RSP, f:=true, l3:=l3_mo))) { T.stop; }
[] T.timeout{ Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Missing LAPDm UA RSP"); }
}
/* 1: One RR frame: SAPI = 0, R = 0, F = 0, M = 0, L > 0, N(R) = 1.
RR frame with the Length indicator greater than zero and a faulty N(R); */
var LapdmFrame x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.payload := f_rnd_octstring(5);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 3: One REJ frame: SAPI = 0, R = 0, F = 0, M = 0, L = 0, N(R) = 1, EA = 0.
EJ frame with the EA bit set to zero and a faulty N(R); */
x:= valueof(ts_LAPDm_REJ(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.addr.ea := false;
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 4: One SABM frame: SAPI = 0, C = 1, P = 1, M = 0, L = 0, EL = 0.
SABM frame with the EL bit set to zero; */
l3_mo := ''O;
x:= valueof(ts_LAPDm_SABM(sapi, c_r:=cr_MO_CMD, p:=true, l3:=l3_mo));
x.ab.el := 0;
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 5: One DM frame: SAPI = 0, R = 0, F = 1, M = 0, L > 0.
DM frame with the Length indicator greater than zero;*/
x:= valueof(ts_LAPDm_DM(sapi, c_r:=cr_MO_CMD, f:=true));
x.ab.payload := f_rnd_octstring(5);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 6: One DISC frame: SAPI = 0, C = 1, P = 1, M = 1, L = 0.
DISC frame with the M bit set to 1; */
x:= valueof(ts_LAPDm_DISC(sapi, c_r:=cr_MO_CMD, p:=true));
x.ab.m := true;
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 7: One UA frame: SAPI = 0, R = 0, F = 0, M = 0, L = 0, EA = 0.
UA frame with the EA bit set to zero*/
x:= valueof(ts_LAPDm_UA(sapi, c_r:=cr_MO_CMD, f:=false, l3:=''O));
x.ab.addr.ea := false;
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 8: One I frame: SAPI = 0, C = 1, P = 0, M = 0, L > N201, N(R) = 0, N(S) = 6.
I frame with the Length indicator greater than N201;*/
x:= valueof(ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=true, nr := 0, ns := 6, l3 := f_rnd_octstring(25)))
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 9: One I frame: SAPI = 0, C = 1, P = 0, M = 1, L < N201, N(R) = 0, N(S) = 7.
I frame with the M bit set to 1 and the Length indicator less than N201;*/
x:= valueof(ts_LAPDm_I(sapi, c_r:=cr_MO_CMD, p:=true, nr := 0, ns := 7, l3 := f_rnd_octstring(5)))
x.ab.m := true;
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 10: One RR frame: SAPI = 0, C = 1, P = 1, M = 0, L = 0, N(R) = 0. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=true, nr:=0));
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* command frames with correct Address and Length indicator field and a non-implemented control field */
/* 12: One command frame with Control Field = xxx1 1101. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('00011101'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 13: One command frame with Control field = xxx1 1011. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('00011011'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 14: One command frame with Control field = xxx1 0111. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('00010001'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 15: One command frame with Control field = 01x1 1111. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('01011111'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 16: One command frame with Control field = 1xx1 1111. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('10011111'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 17: One command frame with Control field = 0011 0011. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('00110011'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
/* 18: One command frame with Control field = 1xx1 0011. */
x:= valueof(ts_LAPDm_RR(sapi, c_r:=cr_MO_CMD, p:=false, nr:=1));
x.ab.ctrl.other := bit2int('10010011'B);
f_TC_rec_invalid_frame_txrx(0, x, __LINE__);
deactivate(d);
fp_common_fini();
setverdict(pass);
}
testcase TC_rec_invalid_frame() runs on test_CT {
var ConnHdlrPars pars := valueof(t_Pars(t_RslChanNr_Bm(1), ts_RSL_ChanMode_SIGN));
pars.t_guard := 60.0;
f_testmatrix_each_chan(pars, refers(f_TC_rec_invalid_frame));
}
type record LapdmDlConfig {
integer n201,
integer t200
};
type record LapdmDlState {
integer v_s,
integer v_a,
integer v_r
};
template (value) LapdmDlState t_init_LapdmDlState := {
v_s := 0,
v_a := 0,
v_r := 0
}
private function inc_mod8(inout integer v)
{
v := (v + 1) mod 8;
}
private function f_lapdm_transceive_mo(inout LapdmDlState dls, RslLinkId link_id, octetstring l3)
runs on ConnHdlr {
var LAPDm_ph_data pd;
var integer offset := 0;
var integer n201 := 20;
var boolean is_sacch := false;
if (link_id.c == SACCH) {
n201 := 18;
is_sacch := true;
}
while (offset < lengthof(l3)) {
var integer remain_len := lengthof(l3) - offset;
var integer seg_len := remain_len;
if (remain_len > n201) {