Newer
Older
/**
* @version $URL$
* $Id$
* @copyright ETSI Copyright Notification
* No part may be reproduced except as authorized by written permission.
* The copyright and the foregoing restriction extend to reproduction in all media.
* All rights reserved.
*
*/
module ItsMapem_TestCases {
// LibItsMapemSpatem
import from LibItsMapemSpatem_TestSystem all;
// ItsMapemSpatem
import from ItsMapem_TpFunctions all;
group mapeMessageDissemination {
group mapeMessageFormat {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 4
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* containing ITS PDU header
* containing protocolVersion
* indicating value '1'
* and containing messageID
* indicating value '5'
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_MSGF_BV_01
* @reference ETSI TS 103 301 v1.0.4 Clause 6.3
*/
testcase TC_IS_RLT_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_MSGF_BV_01();
} // End of testcase TC_IS_RLT_MSGF_BV_01
} // End of group mapeMessageFormat
/**
* @desc Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_EVGN_BV_01
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.1
*/
testcase TC_IS_RLT_EVGN_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_EVGN_BV_01();
} // End of testcase TC_IS_RLT_EVGN_BV_01
/**
* <pre>
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
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* containing map
* not containing LayerType
* and not containing LayerID
* and containing restrictionList
* indicating the value RL_1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about a new restrictionList indicating the value RL_2
* }
* then {
* the IUT sends a valid MAPEM
* containing map
* not containing LayerType
* and not containing LayerID
* and containing restrictionList
* indicating indicating the value R_2
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_EVGN_BV_02
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.1
*/
testcase TC_IS_RLT_EVGN_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_EVGN_BV_02();
} // End of testcase TC_IS_RLT_EVGN_BV_02
/**
* @desc Check that RLT Service transmits fragmented MAPEM when the message size exceeds the allowed message length
* <pre>
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
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has sent a MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about a new content
* indicating a new value which exceeds the allowed message length
* }
* then {
* the IUT sends a first valid MAPEM
* containing map
* containing LayerType
* and containing LayerID
* indication a value LID_1
* and the IUT sends a second valid MAPEM
* containing map
* containing LayerType
* and containing LayerID
* indication a value LID_2 = LID_1 + 1
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_EVGN_BV_03
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.1
*/
testcase TC_IS_RLT_EVGN_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_EVGN_BV_03();
} // End of testcase TC_IS_RLT_EVGN_BV_03
group mapeCommunication {
/**
* @desc Check that the RLT Service transmits continuously both MAPEM and SPATEM
* <pre>
* Pics Selection: PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* and the IUT has not sent any SPATEM yet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppSPATEM_Start request from the application layer
* }
* then {
* the IUT sends a valid SPATEM
* and the IUT sends a valid MAPEM
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_COMM_BV_01
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.3.1
*/
testcase TC_IS_RLT_COMM_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_COMM_BV_01();
} // End of testcase TC_IS_RLT_COMM_BV_01
/**
* @desc Check that MAPEM uses BTP_B packet
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* encapsulated in a BTP-B packet
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_COMM_BV_02_01
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.3.2
*/
testcase TC_IS_RLT_COMM_BV_02_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_COMM_BV_02_01();
} // End of testcase TC_IS_RLT_COMM_BV_02_01
/**
* @desc Check that the destination port for MAPEM is set to 2003
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* encapsulated in a BTP packet
* containing a destination port value set to 2003
* and containing a destination port info value set to 0
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_COMM_BV_02_02
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.3.2
*/
testcase TC_IS_RLT_COMM_BV_02_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_COMM_BV_02_02();
} // End of testcase TC_IS_RLT_COMM_BV_02_02
/**
* @desc Check that TLM service encapsulates MAPEM in a GBC with the HeaderType field set to the value of 4
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* encapsulated in a GBC packet
* containing a correctly formatted Common Header
* containing HeaderType field
* indicating the value '4'
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_COMM_BV_03
* @reference ETSI TS 103 301 v1.0.4 Clause 6.4.3.1
*/
testcase TC_IS_RLT_COMM_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_COMM_BV_03();
} // End of testcase TC_IS_RLT_COMM_BV_03
} // End of group mapeCommunication
} // End of group mapeMessageDissemination
group mapeMessageProcessing {
/**
* @desc Check that the IUT can successfully process all mandatory fields of MAPEM received
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having receive a valid MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a valid MAPEM
* }
* then {
* the IUT forwards the MAPEM content to upper layers
* and the IUT forwards the MAPEM content to other facilities
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_RLT_MSGF_BV_02
* @reference ETSI TS 103 301 v1.0.4 Clause 6.3
*/
testcase TC_IS_RLT_MSGF_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_MSGF_BV_02();
} // End of testcase TC_IS_RLT_MSGF_BV_02
} // End of group mapeMessageProcessing
} // End of module ItsMapem_TestCases