Newer
Older
* @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.
// ATS ITS
import from ItsDenm_TpFunctions all;
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
// LibIts
import from LibItsDenm_TestSystem all;
// 5.2.1
group denMessageTransmission {
// 5.2.1.1
group denMessageFormat {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 1
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_Trigger request from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing ITS PDU header,
* containing protocolVersion
* indicating value 1
* and containing messageID
* indicating value 1
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/MSGF/BV-01
* @reference ETSI EN 302 637-3, Annex B.1
*/
testcase TC_DEN_MSGF_BV_01() runs on ItsDenm system ItsDenmSystem {
} // end TC_DEN_MSGF_BV_01
/**
* @desc Check that sent DENM contains at least one 'trace' DE
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_Trigger request from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing location container
* containing at least one 'trace'
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/MSGF/BV-02
* @reference ETSI EN 302 637-3, clause 6.1.3.2
*/
testcase TC_DEN_MSGF_BV_02() runs on ItsDenm system ItsDenmSystem {
} // end TC_DEN_MSGF_BV_02
} // end denMessageFormat
// 5.2.1.2
group denEventGeneration {
/**
* @desc Check that DEN Basic Service generates a new DENM on reception of a valid AppDENM_Trigger request
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_Trigger request from the application layer
* }
* then {
* the IUT sends a valid DENM
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-01
* @reference ETSI EN 302 637-3, clause 6.1.2.1
*/
testcase TC_DEN_EVGN_BV_01() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_01();
* @desc Check that a new ActionID value is assigned for each newly generated DENM
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated several events
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a new event
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating an unused value
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-02
* @reference ETSI EN 302 637-3, clause 6.1.1.1
*/
testcase TC_DEN_EVGN_BV_02() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_02();
* @desc Check that a newly created ActionID contains the StationID of the originating ITS-S that detected the event
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a new event
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* containing originatingStationID
* indicating its own StationID
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-03
* @reference ETSI EN 302 637-3, clause 6.1.1.1
*/
testcase TC_DEN_EVGN_BV_03() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_03();
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
} // end TC_DEN_EVGN_BV_03
/**
* @desc Check that Cause and subcause values included in DENM as provided by application
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_trigger request from the application layer
* containing situation container
* containing eventType
* containing causeCode
* indicating Value1
* containing subCauseCode
* indicating Value2
* }
* then {
* the IUT sends a valid DENM
* containing situation container
* containing eventType
* containing causeCode
* indicating Value1
* containing subCauseCode
* indicating Value2
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-04
* @reference ETSI EN 302 637-3, clause 7.1.3
*/
testcase TC_DEN_EVGN_BV_04() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_04();
* @desc Check that referenceTime is set to the current time when generating a DENM for a new event
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated several events
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a new event
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing referenceTime
* indicating CLT
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-05
* @reference ETSI EN 302 637-3, clause 8.2.1.3
*/
testcase TC_DEN_EVGN_BV_05() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_05();
* @desc Check that sequenceNumber is set to a next unused value each time an event is detected
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
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated several events
* and the IUT having generated its last DENM
* containing management container
* containing actionID
* containing sequenceNumber
* indicating SEQ1
* and no active event being associated with sequenceNumber SEQ1 + 1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a new event
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* containing sequenceNumber
* indicating SEQ1 + 1
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-07
* @reference ETSI EN 302 637-3, clauses 6.1.1.1, 8.2.1.2
*/
testcase TC_DEN_EVGN_BV_07() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_07();
* @desc Check that actionID are generated using newly assigned stationID when a pseudonym change occurs
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated several events
* containing management container
* containing actionID
* containing originatingStationID
* indicating STATION_ID_1
* and the IUT having changed its StationID
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a new event
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* containing originatingStationID
* indicating its new StationID
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVGN/BV-10
* @reference ETSI EN 302 637-3, clauses 6.1.1.2
testcase TC_DEN_EVGN_BV_10() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVGN_BV_10();
} // end TC_DEN_EVGN_BV_10
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
} // end denEventGeneration
// 5.2.1.3
group denEventUpdate {
/**
* @desc Check that DEN Basic Service generates an update DENM on reception of a valid AppDENM_update request
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_update request from the application layer
* }
* then {
* the IUT sends a valid DENM
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVUP/BV-01
* @reference ETSI EN 302 637-3, clause 6.1.2.2
*/
testcase TC_DEN_EVUP_BV_01() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVUP_BV_01();
* @desc Check that the actionID is not changed by DENM update, as long as the stationID of the originating ITS-S remains unchanged
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and the IUT not having changed its stationID
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_update request associated with ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVUP/BV-02
* @reference ETSI EN 302 637-3, clauses 6.1.2.2, 8.1.1.1
*/
testcase TC_DEN_EVUP_BV_02() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVUP_BV_02();
* @desc Check that referenceTime is set to the current time when generating a DENM for an updated eventCheck
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* containing referenceTime
* indicating REFERENCETIME1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_update request associated with ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing referenceTime
* indicating CLT > REFERENCETIME1
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVUP/BV-03
* @reference ETSI EN 302 637-3, clause 6.1.2.2
*/
testcase TC_DEN_EVUP_BV_03() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVUP_BV_03();
* @desc Check that DEN Basic Service does not send any update DENM if actionID is not in originating ITS-S message table
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* and the IUT not having sent an event being associated with actionID ACTION_ID1
* containing originatorStationID
* indicating its own stationID
* and containing sequenceNumber
* indicating SEQ1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to update an event associated to ACTION_ID1
* }
* then {
* the IUT does not send send any DENM for this event
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVUP/BO-04
* @reference ETSI EN 302 637-3, clause 8.1.2
testcase TC_DEN_EVUP_BO_04() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVUP_BO_04();
} // end TC_DEN_EVUP_BO_04
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
} // end denEventUpdate
// 5.2.1.4
group denEventTermination {
/**
* @desc Check that DEN Basic Service generates a cancellation DENM when application indicates the
* premature termination of an event for which it is the originator
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing validityDuration
* indicating DURATION_1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_termination request associated to ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing termination
* indicating value isCancellation
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BV-01
* @reference ETSI EN 302 637-3, clauses 6.1.2.4, 8.2.1.3
*/
testcase TC_DEN_EVTR_BV_01() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BV_01();
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
} // end TC_DEN_EVTR_BV_01
/**
* @desc Check that DEN Basic Service generates a negation DENM when application indicates the
* premature termination of an event for which it is not the originator
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* containing originatorStationID
* indicating stationID different from its own stationID
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_termination request associated to ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing termination
* indicating value isNegation
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BV-02
* @reference ETSI EN 302 637-3, clause 6.1.2.4
*/
testcase TC_DEN_EVTR_BV_02() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BV_02();
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
} // end TC_DEN_EVTR_BV_02
/**
* @desc Check that referenceTime is set to the latest value received for this event in negation DENM
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* containing originatorStationID
* indicating stationID different from its own stationID
* and containing referenceTime
* indicating REFERENCETIME1
* and the IUT having received an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing referenceTime
* indicating REFERENCETIME2 > REFERENCETIME1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_termination request associated to ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing referenceTime
* indicating value REFERENCETIME2
* and containing termination
* indicating value isNegation
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BV-03
* @reference ETSI EN 302 637-3, clauses 6.1.2.4, 8.2.1.3
*/
testcase TC_DEN_EVTR_BV_03() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BV_03();
* @desc Check that situation container, location container and alacarte container are not present in a cancellation DENM
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_termination request associated to ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing termination
* indicating value isCancellation
* and not containing situation container
* and not containing location container
* and not containing alacarte container
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BV-04
* @reference ETSI EN 302 637-3, clause 7.1.1
*/
testcase TC_DEN_EVTR_BV_04() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BV_04();
* @desc Check that situation container, location container and alacarte container are not present in a negation DENM
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* containing originatorStationID
* indicating stationID different from its own stationID
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_termination request associated to ACTION_ID1 from the application layer
* }
* then {
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing termination
* indicating value isNegation
* and not containing situation container
* and not containing location container
* and not containing alacarte container
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BV-05
* @reference ETSI EN 302 637-3, clause 7.1.1
*/
testcase TC_DEN_EVTR_BV_05() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BV_05();
} // end TC_DEN_EVTR_BV_05
/**
* @desc Check that DEN Basic Service does not send any termination DENM if actionID is not in
* originating ITS-S message table or receiving ITS-S message table (own stationID)
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated several events
* and the IUT not having send event being associated with ACTION_ID1
* containing originatingStationID
* indicating its own stationID
* and containing sequenceNumber
* indicating SEQ1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to terminate an event associated to ACTION_ID1
* containing originatingStationID
* indicating its own stationID
* and containing sequenceNumber
* indicating SEQ1
* }
* then {
* the IUT does not send send any termination DENM for this event
* }
* }
* NOTE: Event associated to ACTION_ID1 cannot be present in receiving ITS-S message
* table as its stationID is IUT’s stationID (see TP/DEN/EVTR/BO-07)
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BO-06
* @reference ETSI EN 302 637-3, clauses 8.2.2
testcase TC_DEN_EVTR_BO_06() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BO_06();
} // end TC_DEN_EVTR_BO_06
/**
* @desc Check that DEN Basic Service does not send any termination DENM if actionID is not in
* originating ITS-S message table or receiving ITS-S message table (other stationID)
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received several events
* and the IUT not having received event being associated with ACTION_ID1
* containing originatingStationID
* indicating STATION_ID1 different from its own stationID
* and containing sequenceNumber
* indicating SEQ1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to terminate an event associated to ACTION_ID1
* containing originatingStationID
* indicating STATION_ID1
* and containing sequenceNumber
* indicating SEQ1
* }
* then {
* the IUT does not send send any termination DENM for this event
* }
* }
* NOTE: Event associated to ACTION_ID1 cannot be present in originating ITS-S message table as its
* stationID is not IUT’s stationID (see TP/DEN/EVTR/BO-06)
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BO-07
* @reference ETSI EN 302 637-3, clauses 8.2.2
testcase TC_DEN_EVTR_BO_07() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BO_07();
* @desc Check that referenceTime is set to to the current time when generating a cancellation DENM
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having generated an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing validityDuration
* indicating DURATION_1
* and containing referenceTime
* indicating REFERENCETIME1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppDENM_termination request associated with ACTION_ID1 from the application layer
* the IUT sends a valid DENM
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing termination
* indicating value isCancellation
* and containing referenceTime
* indicating CLT
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVTR/BV-08
* @reference ETSI EN 302 637-3, clause 8.2.1.3
testcase TC_DEN_EVTR_BV_08() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVTR_BV_08();
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
} // end TC_DEN_EVTR_BV_08
} // end denEventTermination
// 5.2.1.5
group denMessageRepetition {
/**
* @desc Check that DEN Basic Sercive repeats DENM transmission according to repetitionInterval parameter provided by application
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an AppDENM_trigger request from the application layer
* containing repetitionInterval
* indicating INTERVAL_1
* and containing repetitionDuration
* indicating DURATION_1
* and containing validityDuration
* indicating DURATION_2 > DURATION_1
* and the IUT having generated an the corresponding event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing validityDuration
* indicating DURATION_1
* and containing transmissionInterval
* indicating INTERVAL_1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted of expiration of the time associated with INTERVAL_1
* }
* then {
* the IUT repeats the transmission of the valid DENM associated with ACTION_ID1
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVRP/TI-01
* @reference ETSI EN 302 637-3, clause 6.1.2.3 and 8.2.2
testcase TC_DEN_EVRP_TI_01() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVRP_TI_01();
} // end TC_DEN_EVRP_TI_01
/**
* @desc Check that the repeated DENM is always the most up-to-date message
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an AppDENM_trigger request from the application layer
* containing repetitionInterval
* indicating INTERVAL_1
* and containing repetitionDuration
* indicating DURATION_1
* and containing validityDuration
* indicating DURATION_2 > DURATION_1
* and the IUT having generated an the corresponding event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and the IUT having generated an update of the event associated with ACTION_ID1 modifying partly the event
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted of expiration of the time associated with INTERVAL_1
* }
* then {
* the IUT repeats the transmission of the valid DENM associated with ACTION_ID1
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVRP/BV-02
* @reference ETSI EN 302 637-3, clause 6.1.2.3 and 8.2.2
*/
testcase TC_DEN_EVRP_BV_02() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVRP_BV_02();
} // end TC_DEN_EVRP_BV_02
/**
* @desc Check that DEN Basic Service stops retransmitting DENM after event’s validityDuration
* expiration
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an AppDENM_trigger request from application layer
* containing repetitionInterval
* indicating INTERVAL_1
* and containing repetitionDuration
* indicating DURATION_1
* and containing validityDuration
* indicating DURATION_2 > DURATION_1
* and the IUT having generated the corresponding event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing validityDuration
* indicating DURATION_1
* and the IUT having repeated (one or more times) the transmission of the valid DENM associated with ACTION_ID1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted of expiration of the time associated with DURATION_2
* the IUT stops the retransmission of the DENM associated with ACTION_ID1
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVRP/BV-03
* @reference ETSI EN 302 637-3, clauses 6.1.2.4 and 8.2.2
*/
testcase TC_DEN_EVRP_BV_03() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVRP_BV_03();
} // end TC_DEN_EVRP_BV_03
/**
* @desc Check that DEN Basic Service stops retransmitting DENM after event’s repetitionDuration
* expiration
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an AppDENM_trigger request from application layer
* containing repetitionInterval
* indicating INTERVAL_1
* and containing repetitionDuration
* indicating DURATION_1
* and containing validityDuration
* indicating DURATION_2 > DURATION_1
* and the IUT having generated the corresponding event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing validityDuration
* indicating DURATION_2
* and the IUT having repeated (one or more times) the transmission of the valid DENM associated with ACTION_ID1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted of expiration of the time associated with DURATION_2
* }
* then {
* the IUT stops the retransmission of the most up-to-date valid DENM associated with ACTION_ID1
* }
* }
* </pre>
*
* @see ETSI 102 869-2 v1.5.1 TP/DEN/EVRP/BV-04
* @reference ETSI EN 302 637-3, clause 8.2.2
*/
testcase TC_DEN_EVRP_BV_04() runs on ItsDenm system ItsDenmSystem {
f_DEN_EVRP_BV_04();
} // end TC_DEN_EVRP_BV_04
/**
* @desc Check that DEN Basic Service does not repeat transmission of DENM if repetitionInterval is
* not provided by application
* <pre>
* PICS Selection: none
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an AppDENM_trigger request from application layer