Newer
Older
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
//Translated from [i.5], Section 7.1.3.
Package Layer_2_DL_SCH_Data_Transfer {
//Procedures carried out by a component of a test configuration
//or an actor during test execution
Action preCondition : "Pre-test Conditions:
RRC Connection Reconfiguration" ;
Action preamble : "Preamble:
The generic procedure to get UE in test state Loopback
Activated (State 4) according to TS 36.508 clause 4.5
is executed, with all the parameters as specified in the
procedure except that the RLC SDU size is set to return no
data in uplink.
(reference corresponding behavior once implemented" ;
//User-defined verdicts
//Alternatively the predefined verdicts may be used as well
Type Verdict ;
Verdict PASS;
Verdict FAIL;
//User-defined annotation types
Annotation TITLE ; //Test description title
Annotation STEP ; //Step identifiers in source documents
Annotation PROCEDURE ; //Informal textual description of a test step
Annotation PRECONDITION ; //Identify pre-condition behaviour
Annotation PREAMBLE ; //Identify preamble behaviour.
//Test objectives (copied verbatim from source document)
Test Objective TP1 {
from : "36523-1-a20_s07_01.doc::7.1.3.1.1 (1)" ;
description : "with { UE in E-UTRA RRC_CONNECTED state }
ensure that {
when { UE receives downlink assignment on the PDCCH
for the UE’s C-RNTI and receives data in the
associated subframe and UE performs HARQ
operation }
then { UE sends a HARQ feedback on the HARQ
process }
}" ;
}
Test Objective TP2 {
from : "36523-1-a20_s07_01.doc::7.1.3.1.1 (2)" ;
description : "with { UE in E-UTRA RRC_CONNECTED state }
ensure that {
when { UE receives downlink assignment on the PDCCH
with a C-RNTI unknown by the UE and data is
available in the associated subframe }
then { UE does not send any HARQ feedback on the
HARQ process }
}" ;
}
//Relevant data definitions
Type PDU;
PDU mac_pdu ;
Type ACK ;
ACK harq_ack ;
Type C_RNTI;
C_RNTI ue;
C_RNTI unknown;
Type PDCCH (optional c_rnti of type C_RNTI);
PDCCH pdcch();
Type CONFIGURATION;
CONFIGURATION RRCConnectionReconfiguration ;
//User-defined time units
Time Second;
Second five;
//Gate type definitions
Gate Type defaultGT accepts ACK, PDU, PDCCH, C_RNTI, CONFIGURATION ;
//Component type definitions
Component Type defaultCT having {
gate g of type defaultGT;
}
//Test configuration definition
Test Configuration defaultTC {
create Tester SS of type defaultCT;
create SUT UE of type defaultCT ;
connect UE.g to SS.g ;
}
//Test description definition
Test Description TD_7_1_3_1 uses configuration defaultTC {
//Pre-conditions and preamble from the source document
perform action preCondition with { PRECONDITION ; } ;
perform action preamble with { PREAMBLE ; } ;
//Test sequence
SS.g sends pdcch (c_rnti=ue) to UE.g with {
STEP : "1" ;
PROCEDURE : "SS transmits a downlink assignment
including the C-RNTI assigned to
the UE" ;
} ;
SS.g sends mac_pdu to UE.g with {
STEP : "2" ;
PROCEDURE : "SS transmits in the indicated
downlink assignment a RLC PDU in
a MAC PDU" ;
} ;
UE.g sends harq_ack to SS.g with {
STEP : "3" ;
PROCEDURE : "Check: Does the UE transmit an
HARQ ACK on PUCCH?" ;
test objectives : TP1 ;
} ;
set verdict to PASS ;
SS.g sends pdcch (c_rnti=unknown) to UE.g with {
STEP : "4" ;
PROCEDURE : "SS transmits a downlink assignment
to including a C-RNTI different from
the assigned to the UE" ;
};
SS.g sends mac_pdu to UE.g with {
STEP : "5" ;
PROCEDURE : "SS transmits in the indicated
downlink assignment a RLC PDU in
a MAC PDU" ;
} ;
//Interpolated original step 6 into an alternative behaviour,
//covering both the incorrect and the correct behaviours of the UE
alternatively {
UE.g sends harq_ack to SS.g ;
set verdict to FAIL ;
} or {
gate SS.g is quiet for five ;
set verdict to PASS ;
} with {
STEP : "6" ;
PROCEDURE : "Check: Does the UE send any HARQ ACK
on PUCCH?" ;
test objectives : TP2 ;
}
} with {
Note : "Note 1: For TDD, the timing of ACK/NACK is not
constant as FDD, see Table 10.1-1 of TS 36.213." ;
}
} with {
Note : "Taken from 3GPP TS 36.523-1 V10.2.0 (2012-09)" ;
TITLE : "Correct handling of DL assignment / Dynamic case" ;
}