Newer
Older
This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.
ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/
//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:
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
}
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
}
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();
//User-defined time units
Time Second;
Second five;
//Gate type definitions
Gate Type defaultGT accepts ACK, PDU, PDCCH, C_RNTI ;
//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
} ;
SS.g sends mac_pdu to UE.g with {
STEP : "2" ;
PROCEDURE : "SS transmits in the indicated
} ;
UE.g sends harq_ack to SS.g with {
STEP : "3" ;
PROCEDURE : "Check: Does the UE transmit an
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
} ;
SS.g sends mac_pdu to UE.g with {
STEP : "5" ;
PROCEDURE : "SS transmits in the indicated
} ;
//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" ;
}