Newer
Older
log("*** " & testcasename() & ": PASS: LS Request received correctly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] a_receiveAnyLsRequest() {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: LS Request does not contain GN Address of nodeA ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
3012
3013
3014
3015
3016
3017
3018
3019
3020
3021
3022
3023
3024
3025
3026
3027
3028
3029
3030
3031
3032
3033
3034
3035
3036
3037
3038
3039
3040
3041
3042
3043
3044
3045
3046
3047
3048
3049
3050
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_01
/**
* @desc Test of no LS invocation for unknown Destination nodes when LS procedure is already active
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having no Location Table Entry for ItsNodeA and
* the IUT having been requested to send a first GeoUnicast packet to ItsNodeA and
* the IUT having sent a GeoNetworking packet
* containing a LS_REQUEST
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a new GeoUnicast packet to ItsNodeA
* }
* then {
* IUT does not send a second LS_REQUEST packet (see note)
* }
* }
* NOTE: at least not before the LS_REQUEST retransmission timer expires
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/02
* @reference EN 302 636-4-1 [1], clauses 9.3.8.2, 9.2.4 and 9.3.7.1.2
*/
testcase TC_GEONW_PON_LOS_BV_02() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorIut;
var GN_Address v_gnAddressNodeA;
// Test control
// Test component configuration
f_cf01Up();
v_gnAddressNodeA := f_getPosition(c_compNodeA).gnAddr;
// Test adapter configuration
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(v_gnAddressNodeA)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_gnAddressNodeA.mid, v_longPosVectorIut) {
tc_ac.stop;
//start retransmission timer
tc_ac.start(f_getLsRetransmitTimer() - f_getDeltaTimer());
}
}
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(v_gnAddressNodeA)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
alt {
[] a_receiveLsRequest(?, v_gnAddressNodeA.mid, v_longPosVectorIut) {
tc_ac.stop;
log("*** " & testcasename() & ": Second LS_REQUEST received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": No second LS_REQUEST received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
3099
3100
3101
3102
3103
3104
3105
3106
3107
3108
3109
3110
3111
3112
3113
3114
3115
3116
3117
3118
3119
3120
3121
3122
3123
3124
3125
3126
3127
3128
3129
3130
3131
3132
3133
3134
3135
3136
3137
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_02
/**
* @desc Test of packet buffering into LS buffer during Location service procedure,
* including handling of LT fields in the LT packet buffer
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having no Location Table Entry for ItsNodeA and
* the IUT having been requested to send a GeoUnicast packet to ItsNodeA
* containing TrafficClass.SCF set to 1 and
* the IUT having sent a LS_REQUEST packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the LS_REPLY packet from ItsNodeA
* }
* then {
* the IUT sends the GeoUnicast packet addressed to ItsNodeA
* containing GeoUnicast Extended Header
* containing LT field
* indicating value (default LT value – WaitingTime (see note))
* }
* }
* NOTE: Waiting Time == time difference between LS_REQUEST sending and LS_REPLY reception.
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/03
* @reference EN 302 636-4-1 [1], clauses 7.4.3, 9.3.7.1.4, 9.3.8.2, 9.2.4 and 9.3.7.1.2
*/
testcase TC_GEONW_PON_LOS_BV_03() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var GeoNetworkingInd v_geoNetInd;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Test adapter configuration
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(v_longPosVectorNodeA.gnAddr)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_ac.stop;
}
}
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
3169
3170
3171
3172
3173
3174
3175
3176
3177
3178
3179
3180
3181
3182
3183
3184
3185
3186
3187
3188
3189
3190
3191
3192
3193
3194
3195
3196
3197
3198
3199
3200
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
)
)
);
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
)
) -> value v_geoNetInd {
tc_ac.stop;
//we only check that the lifetime is less than the default lifetime due to
//we do not know exactly the time passed at IUT
if (f_getLifetimeValue(v_geoNetInd.msgIn.basicHeader.lifeTime)<f_getMaxPacketLifeTime()) {
log("*** " & testcasename() & ": Lifetime was handled properly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": Lifetime was not handled properly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
3211
3212
3213
3214
3215
3216
3217
3218
3219
3220
3221
3222
3223
3224
3225
3226
3227
3228
3229
3230
3231
3232
3233
3234
3235
3236
3237
3238
3239
3240
3241
3242
3243
3244
3245
3246
3247
3248
3249
3250
3251
3252
3253
3254
3255
3256
3257
3258
3259
3260
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_03
/**
* @desc Test of LS buffer characteristics: FIFO type
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having no Location Table Entry for ItsNodeA and
* the IUT having been requested to send a GeoUnicast packet to ItsNodeA
* containing TrafficClass.SCF set to 1
* containing LT field
* indicating value LT1
* containing payload field
* indicating value PL1 and
* the IUT having sent a LS_REQUEST packet and
* the IUT having been requested to send a second GeoUnicast packet to ItsNodeA
* containing TrafficClass.SCF set to 1
* containing LT field
* indicating LT2
* containing payload field
* indicating value PL2
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the LS_REPLY packet from ItsNodeA and
* before expiry of LT1 and LT2
* }
* then {
* the IUT sends GeoUnicast packet addressed to ItsNodeA
* containing payload field
* indicating value PL1 and
* the IUT sends GeoUnicast packet addressed to ItsNodeA
* containing payload field
* indicating value PL2
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/04
* @reference EN 302 636-4-1 [1], clauses 7.4.3, 9.3.8.2, 9.2.4 and 9.3.7.1.2
3263
3264
3265
3266
3267
3268
3269
3270
3271
3272
3273
3274
3275
3276
3277
3278
3279
3280
3281
3282
3283
3284
3285
3286
3287
*/
testcase TC_GEONW_PON_LOS_BV_04() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var octetstring v_payload1 := char2oct("PAYLOAD_1");
var octetstring v_payload2 := char2oct("PAYLOAD_2");
var boolean v_msg1Received := false;
var boolean v_msg2Received := false;
var boolean v_firstLsRequestReceived := false;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Test adapter configuration
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithPayload(v_longPosVectorNodeA.gnAddr, v_payload1)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
if ( v_firstLsRequestReceived == true ) {
log("*** " & testcasename() & ": Second LsRequest received ***");
tc_ac.stop;
f_sendGeoNetMessage ( m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu (
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber ) ) ) );
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
}
else {
log("*** " & testcasename() & ": First LsRequest received ***");
v_firstLsRequestReceived := true;
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithPayload(v_longPosVectorNodeA.gnAddr, v_payload2)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
repeat;
}
}
[] tc_ac.timeout{
log("*** " & testcasename() & ": Pre-conditions: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
3319
3320
3321
3322
3323
3324
3325
3326
3327
3328
3329
3330
3331
3332
3333
3334
3335
3336
3337
3338
3339
3340
}
}
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
f_receiveGeoNetMessageWithPayload(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
),
f_adaptPayload_mw(v_payload1)
)
) {
v_msg1Received := true;
if ( v_msg2Received ) {
log("*** " & testcasename() & ": FAIL: Messages received in incorrect order ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
3342
3343
3344
3345
3346
3347
3348
3349
3350
3351
3352
3353
3354
3355
3356
3357
3358
3359
3360
3361
3362
3363
}
else {
log("*** " & testcasename() & ": First Message received ***");
repeat;
}
}
[] geoNetworkingPort.receive(
f_receiveGeoNetMessageWithPayload(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
),
f_adaptPayload_mw(v_payload2)
)
) {
v_msg2Received := true;
if ( v_msg1Received ) {
log("*** " & testcasename() & ": PASS: Messages received in correct order ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": Second Message received ***");
repeat;
}
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": Expected messages not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
3374
3375
3376
3377
3378
3379
3380
3381
3382
3383
3384
3385
3386
3387
3388
3389
3390
3391
3392
3393
3394
3395
3396
3397
3398
3399
3400
3401
3402
3403
3404
3405
3406
3407
3408
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_04
/**
* @desc Test of LS buffer characteristics: discarding upon LT expiration
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having no Location Table Entry for ItsNodeA and
* the IUT having been requested to send multiple GeoUnicast packets to ItsNodeA
* containing TrafficClass.SCF set to 1
* containing LT field
* indicating values LTx and
* the IUT having sent a LS_REQUEST packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the LS_REPLY packet from ItsNodeA after expiry of LTs
* }
* then {
* the IUT does not send any packet to ItsNodeA
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/05
* @reference EN 302 636-4-1 [1], clauses 7.4.3, 9.3.8.2, 9.2.4 and 9.3.7.1.2
3411
3412
3413
3414
3415
3416
3417
3418
3419
3420
3421
3422
3423
3424
3425
3426
3427
3428
3429
3430
3431
3432
*/
testcase TC_GEONW_PON_LOS_BV_05() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var octetstring v_payload1 := char2oct("PAYLOAD_1");
var octetstring v_payload2 := char2oct("PAYLOAD_2");
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Test adapter configuration
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithPayload(v_longPosVectorNodeA.gnAddr, v_payload1)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithPayload(v_longPosVectorNodeA.gnAddr, v_payload2)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_ac.stop;
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
//start retransmission timer
tc_ac.start(f_getMaxPacketLifeTime() + f_getDeltaTimer());
}
[] tc_ac.timeout{
log("*** " & testcasename() & ": Pre-conditions: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
3451
3452
3453
3454
3455
3456
3457
3458
3459
3460
3461
3462
3463
3464
3465
3466
3467
3468
3469
3470
3471
3472
3473
3474
3475
3476
3477
3478
3479
3480
3481
3482
3483
}
}
// Test Body
// Awaiting expiration of LT
alt {
[] tc_ac.timeout {
// LT expired
}
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
// retransmitted LS_REQUEST
repeat;
}
}
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
)
)
);
// Check for messages send to Tester
tc_noac.start;
alt {
[] geoNetworkingPort.receive (mw_geoNwInd(mw_geoNwPdu(?))){
tc_noac.stop;
log("*** " & testcasename() & ": Message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": No message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
3489
3490
3491
3492
3493
3494
3495
3496
3497
3498
3499
3500
3501
3502
3503
3504
3505
3506
3507
3508
3509
3510
3511
3512
3513
3514
3515
3516
3517
3518
3519
3520
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_05
/**
* @desc Test of LS Request retransmission if no answer is received
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having no Location Table Entry for ItsNodeA and
* the IUT having been requested to send a GeoUnicast packet to ItsNodeA
* containing TrafficClass.SCF set to 1
* containing LT field
* indicating value LT1 higher than itsGnLocationServiceTimer and
* the IUT having sent a LS_REQUEST packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT does not receive LS_REPLY packet from ItsNodeA and
* before expiration of LT1
* }
* then {
* the IUT retransmits the LS_REQUEST packet
* upon expiry of itsGnLocationServiceTimer
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/06
3527
3528
3529
3530
3531
3532
3533
3534
3535
3536
3537
3538
3539
3540
3541
3542
3543
3544
3545
3546
3547
3548
3549
3550
3551
* @reference EN 302 636-4-1 [1], clauses 9.3.7.1.3, 9.3.7.1.2 and 9.3.8.2
*/
testcase TC_GEONW_PON_LOS_BV_06() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var integer v_maxNbrRetrans := f_getLsMaxRetrans();
var integer v_rtc := 0;
var boolean v_retransmitOk := false;
timer t_minRetrans := f_getLsRetransmitTimer() - f_getDeltaTimer();
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Test adapter configuration
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithLifetime(v_longPosVectorNodeA.gnAddr, float2int(int2float(v_maxNbrRetrans + 2) * f_getLsRetransmitTimer() * 1000.0))) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_ac.stop;
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
//start retransmission timer
t_minRetrans.start;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": Pre-conditions: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
}
// Test Body
tc_ac.start;
alt {
[] t_minRetrans.timeout {
log("*** " & testcasename() & ": Ready for retransmission ***");
v_retransmitOk := true;
repeat;
}
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_ac.stop;
if(v_retransmitOk == true) {
log("*** " & testcasename() & ": LS_REQUEST correctly retransmitted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": LS_REQUEST retransmitted too early ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": No LS_REQUEST retransmitted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
3591
3592
3593
3594
3595
3596
3597
3598
3599
3600
3601
3602
3603
3604
3605
3606
3607
3608
3609
3610
3611
3612
3613
3614
3615
3616
3617
3618
3619
3620
3621
3622
3623
3624
3625
3626
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_06
/**
* @desc Test of LS Request retransmission if no answer is received
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having no Location Table Entry for ItsNodeA and
* the IUT having been requested to send a GeoUnicast packet to ItsNodeA
* containing TrafficClass.SCF set to 1
* containing LT field
* indicating value LT1 higher than (itsGnLocationServiceTimer * itsGnLocationServiceMaxRetrans) and
* the IUT having sent a LS_REQUEST packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT does not receive LS_REPLY packet from ItsNodeA and
* before expiration of LT1
* }
* then {
* the IUT retransmits the LS_REQUEST packet itsGnLocationServiceMaxRetrans times
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/07
3628
3629
3630
3631
3632
3633
3634
3635
3636
3637
3638
3639
3640
3641
3642
3643
3644
3645
3646
3647
3648
3649
3650
3651
* @reference EN 302 636-4-1 [1], clauses 9.3.7.1.2, 9.3.7.1.3 and 9.3.8.2
*/
testcase TC_GEONW_PON_LOS_BV_07() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var integer v_maxNbrRetrans := f_getLsMaxRetrans();
var integer v_nbLsReceived := 0;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Test adapter configuration
// Preamble
f_prNeighbour();
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithLifetime(
v_longPosVectorNodeA.gnAddr,
float2int(int2float(v_maxNbrRetrans + 2) * f_getLsRetransmitTimer() * 1000.0))) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_ac.stop;
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": Pre-conditions: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
}
// Test Body
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_ac.stop;
v_nbLsReceived := v_nbLsReceived + 1;
if(v_nbLsReceived > v_maxNbrRetrans) {
//first LS request is not counted as a retransmission
log("*** " & testcasename() & ": LS_REQUEST retransmitted more than itsGnLocationServiceMaxRetrans times ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
tc_ac.start;
repeat;
}
}
[] tc_ac.timeout {
if(v_nbLsReceived == (v_maxNbrRetrans)) {
//first LS request is not counted as a retransmission
log("*** " & testcasename() & ": LS_REQUEST retransmitted itsGnLocationServiceMaxRetrans times ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": LS_REQUEST retransmitted less than itsGnLocationServiceMaxRetrans times ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
3692
3693
3694
3695
3696
3697
3698
3699
3700
3701
3702
3703
3704
3705
3706
3707
3708
3709
3710
3711
3712
3713
3714
3715
3716
3717
3718
3719
3720
3721
3722
3723
3724
3725
3726
3727
3728
3729
}
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_07
/**
* @desc Test of LS Reply generation by destination node
* <pre>
* Pics Selection: none
* Config Id: CF01
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a LS_REQUEST packet
* containing Request field
* indicating the IUT's GN_ADDR
* }
* then {
* the IUT replies with a LS_REPLY packet
* containing Common Header
* containing NH field
* set to '0' (UNSPECIFIED)
* containing LS_REPLY Extended Header
* containing DEPV field
* indicating same position as the SOPV value of the received LS_REQUEST
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/08
* @reference EN 302 636-4-1 [1], clauses 9.3.7.3 and 9.3.5
3732
3733
3734
3735
3736
3737
3738
3739
3740
3741
3742
3743
3744
3745
3746
3747
3748
3749
3750
3751
3752
*/
testcase TC_GEONW_PON_LOS_BV_08() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var GN_Address v_iutGnAddress;
var UInt16 v_seqNbr := vc_localSeqNumber;
var FncRetCode v_ret := e_error;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
v_iutGnAddress := f_getPosition(c_compIut).gnAddr;
// Test adapter configuration
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
v_ret := f_processLocationService(v_longPosVectorNodeA, v_seqNbr, v_iutGnAddress, v_longPosVectorIut);
if (v_ret == e_success) {
log("*** " & testcasename() & ": LS_REPLY packet received correctly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": LS_REPLY packet not received correctly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
3764
3765
3766
3767
3768
3769
3770
3771
3772
3773
3774
3775
3776
3777
3778
3779
3780
3781
3782
3783
3784
3785
3786
3787
3788
3789
3790
3791
3792
3793
3794
3795
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_08
group GEONW_PON_LOS_BV_09 {
/**
* @desc Test of no LS Reply generation for already answered LS Request packets
* <pre>
* Pics Selection: none
* Config Id: CF02
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a LS_REQUEST packet generated by ItsNodeB from ItsNodeB
* the IUT having sent a LS_REPLY packet to ItsNodeB
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the same LS_REQUEST packet from ItsNodeD
* }
* then {
* the IUT does not reply with a LS_REPLY packet
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/09
* @reference EN 302 636-4-1 [1], clauses 9.3.7.3 and 9.3.5
3798
3799
3800
3801
3802
3803
3804
3805
3806
3807
3808
3809
3810
3811
3812
3813
3814
3815
3816
3817
3818
3819
3820
3821
3822
3823
3824
3825
3826
3827
3828
3829
3830
3831
3832
3833
3834
3835
3836
3837
3838
3839
3840
3841
3842
3843
*/
testcase TC_GEONW_PON_LOS_BV_09() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeD;
// Test control
// Test component configuration
f_cf02Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeD := f_getComponent(c_compNodeD);
v_nodeB.start(f_GEONW_PON_LOS_BV_09_nodeB());
v_nodeD.start(f_GEONW_PON_LOS_BV_09_nodeD());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf02Down();
} // end TC_GEONW_PON_LOS_BV_09
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_LOS_BV_09)
*/
function f_GEONW_PON_LOS_BV_09_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
var FncRetCode v_ret := e_error;
// Preamble
f_prNeighbour();
v_ret := f_processLocationService(
v_longPosVectorNodeB,
vc_localSeqNumber,
v_longPosVectorIut.gnAddr,
v_longPosVectorIut);
if (v_ret == e_error) {
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
}
// Test Body
tc_noac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwLsReplyPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB))
)
)
)
) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: LS_REQUEST has not been discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: LS_REQUEST discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
3870
3871
3872
3873
3874
3875
3876
3877
3878
3879
3880
3881
3882
3883
3884
3885
3886
3887
3888
3889
3890
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_LOS_BV_09_nodeB
/**
* @desc Behavior function for NodeD (TC_GEONW_PON_LOS_BV_09)
*/
function f_GEONW_PON_LOS_BV_09_nodeD() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
var LongPosVector v_longPosVectorNodeD := f_getPosition(c_compNodeD);
var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
var GN_Address v_iutGnAddress := f_getPosition(c_compIut).gnAddr;
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
3892
3893
3894
3895
3896
3897
3898
3899
3900
3901
3902
3903
3904
3905
3906
3907
3908
3909
3910
3911
3912
3913
3914
3915
3916
3917
3918
3919
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsRequestPacket(
v_longPosVectorNodeB,
vc_localSeqNumber,
v_iutGnAddress
)
)
)
);
tc_noac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwLsReplyPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB))
)
)
)
) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: LS_REQUEST has not been discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: LS_REQUEST discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
3925
3926
3927
3928
3929
3930
3931
3932
3933
3934
3935
3936
3937
3938
3939
3940
3941
3942
3943
3944
3945
3946
3947
3948
3949
3950
3951
3952
3953
3954
3955
3956
3957
3958
3959
3960
3961
3962
3963
3964
3965
3966
3967
3968
3969
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_LOS_BV_09_nodeD
} // end GEONW_PON_LOS_BV_09
group GEONW_PON_LOS_BV_10 {
/**
* @desc Test of LS Request forwarding
* <pre>
* Pics Selection: none
* Config Id: CF03
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received Beacon information from ItsNodeB and
* the IUT having received Beacon information from ItsNodeC
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a LS_REQUEST packet from ItsNodeC
* containing Basic Header
* containing RHL field
* indicating value greater than 1
* containing LS_REQUEST Extended Header
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating value differing from the M_ID part of the GN_ADDR of the IUT
* }
* then {
* the IUT re-broadcasts the received LS_REQUEST packet
* containing Basic Header
* containing RHL field
* indicating value decreased by 1
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/10
3971
3972
3973
3974
3975
3976
3977
3978
3979
3980
3981
3982
3983
3984
3985
3986
3987
3988
3989
3990
3991
3992
3993
3994
3995
3996
3997
3998
3999
4000
* @reference EN 302 636-4-1 [1], clauses 9.3.7.2
*/
testcase TC_GEONW_PON_LOS_BV_10() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
// Test control
// Test component configuration
f_cf03Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeC := f_getComponent(c_compNodeC);
v_nodeB.start(f_GEONW_PON_LOS_BV_10_nodeB());
v_nodeC.start(f_GEONW_PON_LOS_BV_10_nodeC());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf03Down();
} // end TC_GEONW_PON_LOS_BV_10
/**