Newer
Older
17001
17002
17003
17004
17005
17006
17007
17008
17009
17010
17011
17012
17013
17014
17015
17016
17017
17018
17019
17020
17021
17022
17023
17024
17025
17026
17027
17028
17029
17030
17031
17032
17033
17034
17035
17036
17037
17038
17039
17040
17041
17042
17043
17044
17045
f_poDefault();
} // end f_GEONW_PON_BCA_BV_08_nodeD
} // end GEONW_PON_BCA_BV_08
} // end geoGeoBroadcastCbfAlgorithm
// 6.2.2.13
group geoGeoBroadcastAdvAlgorithm {
group GEONW_PON_BAA_BV_01 {
/**
* @desc Test that a received GeoBroadcast packet is discarded if received more than MAX_COUNTER
* times when IUT is inside of the destination area
* <pre>
* Pics Selection: PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
* Config Id: CF06
* 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 ItsNodeF and
* the IUT having received a GeoBroadcast packet GBC1 from ItsNodeF
* containing TrafficClass.SCF set to 1
* containing GBC Extended Header
* containing GeoBroadcast DestinationArea
* indicating AREA1
* the IUT having saved the packet into CBF buffer
* the IUT having received MAX_COUNTER - 1 times the GBC1 packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the same GeoBroadcast packet GBC1
* }
* then {
* the IUT removes GBC1 from the CBF buffer
* the IUT discards the new received GeoBroadcast packet
* }
* }
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BAA/BV/01
17047
17048
17049
17050
17051
17052
17053
17054
17055
17056
17057
17058
17059
17060
17061
17062
17063
17064
17065
17066
17067
17068
17069
17070
17071
17072
17073
17074
17075
17076
17077
17078
17079
17080
17081
17082
17083
17084
17085
17086
17087
17088
17089
17090
17091
17092
17093
17094
17095
* @reference EN 302 636-4-1 [1], Annex E.4
*/
testcase TC_GEONW_PON_BAA_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeF;
// Test control
if (f_getGeoBroadcastForwardingAlgorithm() != e_advanced) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf06Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeF := f_getComponent(c_compNodeF);
v_nodeB.start(f_GEONW_PON_BAA_BV_01_nodeB());
v_nodeF.start(f_GEONW_PON_BAA_BV_01_nodeF());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf06Down();
} // end TC_GEONW_PON_BAA_BV_01
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_BAA_BV_01)
*/
function f_GEONW_PON_BAA_BV_01_nodeB() runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_noac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(?))) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Message not discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: No message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
17109
17110
17111
17112
17113
17114
17115
17116
17117
17118
17119
17120
17121
17122
17123
17124
17125
17126
17127
17128
17129
17130
17131
17132
17133
17134
17135
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_01_nodeB
/**
* @desc Behavior function for NodeF (TC_GEONW_PON_BAA_BV_01)
*/
function f_GEONW_PON_BAA_BV_01_nodeF() runs on ItsGeoNetworking {
// Local variables
var integer i;
var template (value) GeoNetworkingPdu v_gnPacket;
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// Preamble
f_prNeighbour();
v_gnPacket := m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeB,
vc_localSeqNumber,
f_getGeoBroadcastArea(c_area1)
)
);
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
for(i:=1; i < f_getAdvancedGbcForwardingMaxCounter(); i:=i+1) {
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_gnPacket));
f_sleepIgnoreDef(0.5);
}
tc_noac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(?))) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Message not discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: No message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
17153
17154
17155
17156
17157
17158
17159
17160
17161
17162
17163
17164
17165
17166
17167
17168
17169
17170
17171
17172
17173
17174
17175
17176
17177
17178
17179
17180
17181
17182
17183
17184
17185
17186
17187
17188
17189
17190
17191
17192
17193
17194
17195
17196
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_01_nodeF
} // end GEONW_PON_BAA_BV_01
group GEONW_PON_BAA_BV_02 {
/**
* @desc Test that a received GeoBroadcast packet is discarded if received more than 1 times when IUT
* is inside of the destination area and inside the sectorial area of the GeoBroadcast packet Sender
* <pre>
* Pics Selection: PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
* Config Id: CF05
* 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 ItsNodeE and
* the IUT having received a GeoBroadcast packet GBC1 from ItsNodeB
* containing TrafficClass.SCF set to 1
* containing GBC Extended Header
* containing GeoBroadcast DestinationArea
* indicating AREA1
* the IUT having saved the packet into CBF buffer
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the same GeoBroadcast packet GBC1 from ItsNodeE
* the IUT is inside the sectorial area of ItsNodeB
* }
* then {
* the IUT removes GBC1 from the CBF buffer
* the IUT discards the new received GeoBroadcast packet
* }
* }
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BAA/BV/02
17198
17199
17200
17201
17202
17203
17204
17205
17206
17207
17208
17209
17210
17211
17212
17213
17214
17215
17216
17217
17218
17219
17220
17221
17222
17223
17224
17225
17226
17227
17228
17229
17230
17231
17232
17233
17234
17235
17236
17237
17238
17239
17240
17241
17242
17243
17244
17245
17246
17247
17248
17249
17250
17251
17252
17253
17254
17255
* @reference EN 302 636-4-1 [1], Annex E.4
*/
testcase TC_GEONW_PON_BAA_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeE;
// Test control
if (f_getGeoBroadcastForwardingAlgorithm() != e_advanced) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf05Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeE := f_getComponent(c_compNodeE);
v_nodeB.start(f_GEONW_PON_BAA_BV_02_nodeB());
v_nodeE.start(f_GEONW_PON_BAA_BV_02_nodeE());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf05Down();
} // end TC_GEONW_PON_BAA_BV_02
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_BAA_BV_02)
*/
function f_GEONW_PON_BAA_BV_02_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// Preamble
f_prNeighbour();
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeB,
0,
f_getGeoBroadcastArea(c_area1)
)
)
));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_noac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(?))) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Message not discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: No message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
17269
17270
17271
17272
17273
17274
17275
17276
17277
17278
17279
17280
17281
17282
17283
17284
17285
17286
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_02_nodeB
/**
* @desc Behavior function for NodeE (TC_GEONW_PON_BAA_BV_02)
*/
function f_GEONW_PON_BAA_BV_02_nodeE() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeB,
0,
f_getGeoBroadcastArea(c_area1)
)
)
));
tc_noac.start;
alt {
[] geoNetworkingPort.receive (mw_geoNwInd(mw_geoNwPdu(?))){
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Message not discarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: No message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_02_nodeE
} // end GEONW_PON_BAA_BV_02
group GEONW_PON_BAA_BV_03 {
/**
* @desc Test that a received GeoBroadcast packet is triggering contention if received more than 1 times when the IUT
* is inside of the destination area and outside the sectorial area of the GeoBroadcast packet Sender (Angle_FSR > Angle_TH)
17323
17324
17325
17326
17327
17328
17329
17330
17331
17332
17333
17334
17335
17336
17337
17338
17339
17340
17341
17342
17343
17344
17345
17346
* <pre>
* Pics Selection: PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
* Config Id: CF06
* 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 ItsNodeF and
* the IUT having received a GeoBroadcast packet GBC1 from ItsNodeB
* containing TrafficClass.SCF set to 1
* containing GBC Extended Header
* containing GeoBroadcast DestinationArea
* indicating AREA1
* the IUT having saved the packet into CBF buffer
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the same GeoBroadcast packet GBC1 from ItsNodeF
* the IUT is outside the sectorial area of ItsNodeB
* }
* then {
* the IUT saves the GeoBroadcast packet GBC1 from ItsNodeF and
* the IUT starts the contention timer and
* the IUT re-broadcasts the received GeoBroadcast packet
* upon expiry of the contention timer
* }
* }
*
* Note: In this configuration IUT is outside sectorial area of ItsNodeB to the angle FSR
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BAA/BV/03
17356
17357
17358
17359
17360
17361
17362
17363
17364
17365
17366
17367
17368
17369
17370
17371
17372
17373
17374
17375
17376
17377
17378
17379
17380
17381
17382
17383
17384
17385
17386
17387
17388
17389
17390
17391
17392
17393
17394
17395
17396
17397
17398
17399
17400
17401
17402
17403
17404
17405
17406
17407
17408
17409
17410
17411
17412
17413
* @reference EN 302 636-4-1 [1], Annex E.4
*/
testcase TC_GEONW_PON_BAA_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeF;
// Test control
if (f_getGeoBroadcastForwardingAlgorithm() != e_advanced) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf06Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeF := f_getComponent(c_compNodeF);
v_nodeB.start(f_GEONW_PON_BAA_BV_03_nodeB());
v_nodeF.start(f_GEONW_PON_BAA_BV_03_nodeF());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf06Down();
} // end TC_GEONW_PON_BAA_BV_03
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_BAA_BV_03)
*/
function f_GEONW_PON_BAA_BV_03_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// Preamble
f_prNeighbour();
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeB,
0,
f_getGeoBroadcastArea(c_area1)
)
)
));
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeB),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GeoBroadcast message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GeoBroadcast message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
17431
17432
17433
17434
17435
17436
17437
17438
17439
17440
17441
17442
17443
17444
17445
17446
17447
17448
17449
17450
17451
17452
17453
17454
17455
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_03_nodeB
/**
* @desc Behavior function for NodeF (TC_GEONW_PON_BAA_BV_03)
*/
function f_GEONW_PON_BAA_BV_03_nodeF() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
var LongPosVector v_longPosVectorNodeF := f_getPosition(c_compNodeF);
var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
timer t_toCbf := (int2float(f_getGeoBroadcastCbfMaxTime())
+ (
int2float(f_getGeoBroadcastCbfMinTime() - f_getGeoBroadcastCbfMaxTime())
/ int2float(f_getCbfMaxCommunicationRange())
) * f_distance(v_longPosVectorNodeF, v_longPosVectorIut)) * 0.95 / 1000.0;
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
17457
17458
17459
17460
17461
17462
17463
17464
17465
17466
17467
17468
17469
17470
17471
17472
17473
17474
17475
17476
17477
17478
17479
// Test Body
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeB,
0,
f_getGeoBroadcastArea(c_area1)
)
)
));
t_toCbf.start;
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeB),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
if(t_toCbf.running) {
t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: GBC retransmitted before CBF timer expiration ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: GeoBroadcast message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
[] t_toCbf.timeout {
log("*** " & testcasename() & ": INFO: CBF timer elapsed ***");
repeat;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GeoBroadcast message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
17494
17495
17496
17497
17498
17499
17500
17501
17502
17503
17504
17505
17506
17507
17508
17509
17510
17511
17512
17513
17514
17515
17516
17517
17518
17519
17520
17521
17522
17523
17524
17525
17526
17527
17528
17529
17530
17531
17532
17533
17534
17535
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_03_nodeF
} // end GEONW_PON_BAA_BV_03
group GEONW_PON_BAA_BV_04 {
/**
* @desc Test that a received GeoBroadcast packet with Unicast MAC destination is triggering line
* forwarding if received for the first time when IUT is inside the destination area
* <pre>
* Pics Selection: PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
* Config Id: CF05
* 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 ItsNodeE and
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoBroadcast packet from ItsNodeE
* addressed to IUT's link-layer address
* containing TrafficClass.SCF set to 1
* containing GBC Extended Header
* containing GeoBroadcast DestinationArea
* indicating AREA1
* }
* then {
* the IUT selects ItsNodeB as the next hop ITS station and
* the IUT forwards the GeoBroadcast packet
* }
* }
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BAA/BV/04
17537
17538
17539
17540
17541
17542
17543
17544
17545
17546
17547
17548
17549
17550
17551
17552
17553
17554
17555
17556
17557
17558
17559
17560
17561
17562
17563
17564
17565
17566
17567
17568
17569
17570
17571
17572
17573
17574
17575
17576
17577
17578
17579
17580
17581
17582
17583
17584
17585
17586
* @reference EN 302 636-4-1 [1], Annex E.4
*/
testcase TC_GEONW_PON_BAA_BV_04() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeE;
// Test control
if (f_getGeoBroadcastForwardingAlgorithm() != e_advanced) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf05Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeE := f_getComponent(c_compNodeE);
v_nodeB.start(f_GEONW_PON_BAA_BV_04_nodeB());
v_nodeE.start(f_GEONW_PON_BAA_BV_04_nodeE());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf05Down();
} // end TC_GEONW_PON_BAA_BV_04
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_BAA_BV_04)
*/
function f_GEONW_PON_BAA_BV_04_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeA),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: packet correctly forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
17604
17605
17606
17607
17608
17609
17610
17611
17612
17613
17614
17615
17616
17617
17618
17619
17620
17621
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_04_nodeB
/**
* @desc Behavior function for NodeE (TC_GEONW_PON_BAA_BV_04)
*/
function f_GEONW_PON_BAA_BV_04_nodeE() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeA,
0,
f_getGeoBroadcastArea(c_area1)
)
),
f_getIutMacAddress()
)
);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_04_nodeE
} // end GEONW_PON_BAA_BV_04
17644
17645
17646
17647
17648
17649
17650
17651
17652
17653
17654
17655
17656
17657
17658
17659
17660
17661
17662
17663
17664
17665
17666
17667
17668
17669
17670
17671
17672
17673
17674
17675
17676
17677
17678
17679
17680
17681
17682
17683
17684
17685
17686
17687
17688
17689
17690
17691
17692
17693
17694
17695
17696
17697
17698
17699
17700
17701
17702
17703
17704
17705
17706
17707
17708
17709
17710
17711
17712
17713
17714
17715
17716
17717
17718
17719
17720
17721
17722
17723
17724
17725
17726
17727
17728
17729
17730
17731
17732
17733
17734
17735
17736
17737
17738
17739
17740
17741
17742
17743
17744
17745
17746
17747
17748
17749
17750
17751
17752
17753
17754
17755
17756
17757
17758
17759
17760
17761
17762
17763
17764
17765
17766
17767
17768
17769
17770
17771
17772
17773
17774
17775
17776
17777
17778
17779
17780
17781
17782
17783
17784
17785
17786
17787
17788
17789
17790
17791
17792
17793
17794
17795
17796
17797
17798
17799
17800
group GEONW_PON_BAA_BV_05 {
/**
* @desc Test that a received GeoBroadcast packet with Unicast MAC destination is triggering
* rebroadcast if received for the first time when IUT is inside the destination area.
* <pre>
* Pics Selection: PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
* Config Id: CF05
* 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 ItsNodeE
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoBroadcast packet from ItsNodeE addressed to IUT’s link-layer address
* containing TrafficClass.SCF set to 1
* containing GBC Extended Header
* containing GeoBroadcast DestinationArea
* indicating AREA1
* }
* then {
* the IUT saves the GeoBroadcast packet into the CBF buffer and
* the IUT starts the contention timer set to CBF_MAX and
* the IUT re-broadcasts the received GeoBroadcast packet
* upon expiry of the contention timer
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BAA/BV/05
* @reference EN 302 636-4-1 [1], Annex E.4
*/
testcase TC_GEONW_PON_BAA_BV_05() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeE;
// Test control
if (f_getGeoBroadcastForwardingAlgorithm() != e_advanced) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf05Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeE := f_getComponent(c_compNodeE);
v_nodeB.start(f_GEONW_PON_BAA_BV_05_nodeB());
v_nodeE.start(f_GEONW_PON_BAA_BV_05_nodeE());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf05Down();
} // end TC_GEONW_PON_BAA_BV_05
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_BAA_BV_05)
*/
function f_GEONW_PON_BAA_BV_05_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeA),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: packet correctly broadcasted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_05_nodeB
/**
* @desc Behavior function for NodeE (TC_GEONW_PON_BAA_BV_05)
*/
function f_GEONW_PON_BAA_BV_05_nodeE() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeA,
0,
f_getGeoBroadcastArea(c_area1)
)
),
f_getIutMacAddress()
)
);
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeA),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: packet correctly broadcasted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_05_nodeE
} // end GEONW_PON_BAA_BV_05
group GEONW_PON_BAA_BV_06 {
/**
* @desc Test that a received GeoBroadcast packet with Broadcast destination is triggering contention if
* received for the first time from known sender when IUT is inside the destination area
17806
17807
17808
17809
17810
17811
17812
17813
17814
17815
17816
17817
17818
17819
17820
17821
17822
17823
17824
17825
17826
* <pre>
* Pics Selection: PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
* Config Id: CF05
* 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 ItsNodeE
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoBroadcast packet from ItsNodeE
* addressed to broadcast link-layer address
* containing TrafficClass.SCF set to 1
* containing GBC Extended Header
* containing GeoBroadcast DestinationArea
* indicating AREA1
* }
* then {
* the IUT calculates and starts the contention timer and
* the IUT re-broadcasts the received GeoBroadcast packet
* upon expiry of the contention timer
* }
* }
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BAA/BV/06
17835
17836
17837
17838
17839
17840
17841
17842
17843
17844
17845
17846
17847
17848
17849
17850
17851
17852
17853
17854
17855
17856
17857
17858
17859
17860
17861
17862
17863
17864
17865
17866
17867
17868
17869
17870
17871
17872
17873
17874
17875
17876
17877
17878
17879
17880
17881
17882
17883
17884
17885
17886
17887
17888
17889
17890
* @reference EN 302 636-4-1 [1], Annex E.4
*/
testcase TC_GEONW_PON_BAA_BV_06() runs on ItsMtc system ItsGeoNetworkingSystem {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeE;
// Test control
if (f_getGeoBroadcastForwardingAlgorithm() != e_advanced) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf05Up();
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeE := f_getComponent(c_compNodeE);
v_nodeB.start(f_GEONW_PON_BAA_BV_06_nodeB());
v_nodeE.start(f_GEONW_PON_BAA_BV_06_nodeE());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf05Down();
} // end TC_GEONW_PON_BAA_BV_06
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_BAA_BV_06)
*/
function f_GEONW_PON_BAA_BV_06_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeE := f_getPosition(c_compNodeE);
var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
timer t_toCbf := (int2float(f_getGeoBroadcastCbfMaxTime())
+ (
int2float(f_getGeoBroadcastCbfMinTime() - f_getGeoBroadcastCbfMaxTime())
/ int2float(f_getCbfMaxCommunicationRange())
) * f_distance(v_longPosVectorNodeE, v_longPosVectorIut)) * 0.95 / 1000.0;
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
t_toCbf.start;
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeE),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
if(t_toCbf.running) {
t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: GBC retransmitted before CBF timer expiration ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: GeoBroadcast message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
[] t_toCbf.timeout {
log("*** " & testcasename() & ": INFO: CBF timer elapsed ***");
repeat;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
17921
17922
17923
17924
17925
17926
17927
17928
17929
17930
17931
17932
17933
17934
17935
17936
17937
17938
17939
17940
17941
17942
17943
17944
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_06_nodeB
/**
* @desc Behavior function for NodeE (TC_GEONW_PON_BAA_BV_06)
*/
function f_GEONW_PON_BAA_BV_06_nodeE() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeE := f_getPosition(c_compNodeE);
var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
timer t_toCbf := (int2float(f_getGeoBroadcastCbfMaxTime())
+ (
int2float(f_getGeoBroadcastCbfMinTime() - f_getGeoBroadcastCbfMaxTime())
/ int2float(f_getCbfMaxCommunicationRange())
) * f_distance(v_longPosVectorNodeE, v_longPosVectorIut)) * 0.95 / 1000.0;
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
17946
17947
17948
17949
17950
17951
17952
17953
17954
17955
17956
17957
17958
17959
17960
17961
17962
17963
17964
17965
17966
17967
17968
17969
17970
17971
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(m_geoNwBroadcastPacket(
v_longPosVectorNodeE,
0,
f_getGeoBroadcastArea(c_area1)
)
)
)
);
t_toCbf.start;
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithArea(
mw_longPosVectorPosition(v_longPosVectorNodeE),
?,
f_getGeoBroadcastArea(c_area1)
)))) {
tc_ac.stop;
if(t_toCbf.running) {
t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: GBC retransmitted before CBF timer expiration ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: GeoBroadcast message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
[] t_toCbf.timeout {
log("*** " & testcasename() & ": INFO: CBF timer elapsed ***");
repeat;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_BAA_BV_06_nodeE
} // end GEONW_PON_BAA_BV_06
group GEONW_PON_BAA_BV_07 {
/**
* @desc Test that a received GeoBroadcast packet from outside the destination area is triggering line
* forwarding if received for the first time from known sender when IUT is outside the destination area