Newer
Older
* @author ETSI / STF405 / STF449 / STF484
* @desc CAM Testcases
*
*/
module ItsCam_TestCases {
// LibIts
import from LibItsCam_TestSystem all;
// Ats Its
import from ItsCam_TpFunctions all;
// 5.2.1
group camMessageDissemination {
group camMessageFormat {
/**
* @desc Check that protocolVersion is set to 1 and messageID is
* set to 2.
* <pre>
* Pics Selection: PICS_CAM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a valid CAM
* containing ITS PDU header
* containing protocolVersion
* indicating value 1
* and containing messageID
* indicating value 2
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-01
* @reference ETSI EN 302 637-2 , Annex B.1
*/
testcase TC_CAM_MSD_FMT_BV_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_01();
} // end TC_CAM_MSD_FMT_BV_01
/**
* @desc Check that LF container is included in 1st CAM since CA
* basic service activation.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has not sent any CAM yet
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-02
* @reference ETSI EN 302 637-2 , clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_02() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_02();
} // end TC_CAM_MSD_FMT_BV_02
/**
* @desc Check that LF container is included if time elapsed since
* the generation of the last CAM with the low frequency
* container generation is equal or larger than 500 ms.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has sent a CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer at time TIME_1
* and the IUT has not sent CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer after TIME_1
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated at time TIME_2 >= (TIME_1 + 500ms)
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-03
* @reference ETSI EN 302 637-2 , clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_03() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_03();
} // end TC_CAM_MSD_FMT_BV_03
/**
* @desc Check that specialVehicle container is included in 1st CAM
* since CA basic service activation.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALVEHICLECONTAINER AND NOT PIC_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is configured to advertise itself as a special vehicle
* and the IUT has not sent any CAM yet
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-04
* @reference ETSI EN 302 637-2 , clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_04() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_04();
} // end TC_CAM_MSD_FMT_BV_04
/**
* @desc Check that specialVehicle container is included if time
* elapsed since the generation of the last CAM with the
* special vehicle container generation is equal or larger
* than 500 ms.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALVEHICLECONTAINER AND NOT PIC_RSU
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
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has sent a CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer at time TIME_1
* and the IUT has not sent CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer after TIME_1
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated at time TIME_2 >= (TIME_1 + 500ms)
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-05
* @reference ETSI EN 302 637-2 , clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_05() runs on ItsCam system ItsCamSystem {
Loading
Loading full blame...