Newer
Older
* @desc Behavior function for NodeB (TC_GEONW_PON_LOS_BV_10)
*/
function f_GEONW_PON_LOS_BV_10_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwLsRequestPacket(
?,
v_longPosVectorNodeB.gnAddr.mid
),
-,
c_defaultHopLimit - 1
)
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Re-broadcasted LS Request received with HL field decreased by 1 ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: LS Request was not re-broadcasted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_LOS_BV_10_nodeB
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_LOS_BV_10)
*/
function f_GEONW_PON_LOS_BV_10_nodeC() runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsRequestPacket(
f_getPosition(c_compNodeA),
vc_localSeqNumber,
f_getPosition(c_compNodeB).gnAddr
),
-,
c_defaultHopLimit
)
)
);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
4068
4069
4070
4071
4072
4073
4074
4075
4076
4077
4078
4079
4080
4081
4082
4083
4084
4085
4086
4087
4088
4089
4090
4091
4092
4093
4094
4095
4096
4097
4098
4099
4100
4101
4102
4103
4104
4105
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_LOS_BV_10_nodeC
} // end GEONW_PON_LOS_BV_10
group GEONW_PON_LOS_BV_11 {
/**
* @desc Test of LS Reply 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_REPLY packet from ItsNodeC addressed to ItsNodeB
* containing Basic Header
* containing RHL field
* indicating value greater than 1
* }
* then {
* the IUT forwards the received LS_REPLY packet to ItsNodeB
* 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/11
4107
4108
4109
4110
4111
4112
4113
4114
4115
4116
4117
4118
4119
4120
4121
4122
4123
4124
4125
4126
4127
4128
4129
4130
4131
4132
4133
4134
4135
4136
4137
4138
4139
4140
4141
4142
4143
4144
4145
4146
* @reference EN 302 636-4-1 [1], clauses 9.3.7.2
*/
testcase TC_GEONW_PON_LOS_BV_11() 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_11_nodeB());
v_nodeC.start(f_GEONW_PON_LOS_BV_11_nodeC());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf03Down();
} // end TC_GEONW_PON_LOS_BV_11
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_LOS_BV_11)
*/
function f_GEONW_PON_LOS_BV_11_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwLsReplyPacket(
mw_longPosVectorPosition(v_longPosVectorNodeA),
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB))
),
-,
c_defaultHopLimit - 1
)
)
) {
log("*** " & testcasename() & ": PASS: Forwarded LS Reply received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: LS Reply was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_LOS_BV_11_nodeB
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_LOS_BV_11)
*/
function f_GEONW_PON_LOS_BV_11_nodeC() runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
f_getPosition(c_compNodeA),
f_longPosVector2ShortPosVector(f_getPosition(c_compNodeB)),
vc_localSeqNumber
),
-,
c_defaultHopLimit
)
)
);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
4205
4206
4207
4208
4209
4210
4211
4212
4213
4214
4215
4216
4217
4218
4219
4220
4221
4222
4223
4224
4225
4226
4227
4228
4229
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_LOS_BV_11_nodeC
} // end GEONW_PON_LOS_BV_11
/**
* @desc Test flushing of the LS buffer, initiated by the processing of a common header from the target destination
* <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 ItsNodeA
* containing LT field
* indicating LT1 and
* the IUT having sent a LS_REQUEST packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoUnicast packet addressed to it from ItsNodeA before expiry of LT1
* }
* then {
* the IUT sends the waiting GeoUnicast packet to ItsNodeA
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/12
4239
4240
4241
4242
4243
4244
4245
4246
4247
4248
4249
4250
4251
4252
4253
4254
4255
4256
4257
4258
4259
* @reference EN 302 636-4-1 [1], clauses 9.3.8.4, 9.3.7.1.2 and 7.4.2
*/
testcase TC_GEONW_PON_LOS_BV_12() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var UInt16 v_seqNbr := vc_localSeqNumber;
// 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_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Pre-conditions: LS Request not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
}
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
)
)
);
tc_ac.start;
alt {
[] a_receiveGeoUnicastWithDestination(mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GeoUnicast packet received correctly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
log("*** " & testcasename() & ": FAIL: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
4297
4298
4299
4300
4301
4302
4303
4304
4305
4306
4307
4308
4309
4310
4311
4312
4313
4314
4315
4316
4317
4318
4319
4320
4321
4322
4323
4324
4325
4326
4327
4328
4329
4330
4331
4332
4333
4334
4335
4336
4337
4338
4339
4340
4341
4342
4343
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_12
/**
* @desc Test of LS buffer characteristics: FIFO type and Lifetime
* <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 lower than LT1
* containing payload field
* indicating value PL2
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives the LS_REPLY packet from ItsNodeA
* after expiry of LT2
* before expiry of LT1
* }
* then {
* the IUT sends GeoUnicast packet addressed to ItsNodeA
* containing payload field
* indicating value PL1
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/13
* @reference EN 302 636-4-1 [1], clauses 7.4.3, 9.3.7.1.2
4346
4347
4348
4349
4350
4351
4352
4353
4354
4355
4356
4357
4358
4359
4360
4361
4362
4363
4364
4365
4366
4367
4368
4369
4370
*/
testcase TC_GEONW_PON_LOS_BV_13() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorIut;
var integer v_lt1 := f_getLsMaxRetrans()*float2int(f_getLsRetransmitTimer());
var integer v_lt2 := float2int(int2float(v_lt1)/2.0);
var octetstring v_payload1 := char2oct("PAYLOAD_1");
var octetstring v_payload2 := char2oct("PAYLOAD_2");
var boolean v_msg1Received := 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_generateGeoUnicastMessageWithLifetimeWithPayload(v_longPosVectorNodeA.gnAddr, v_lt2*1000, v_payload2)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithLifetimeWithPayload(v_longPosVectorNodeA.gnAddr, v_lt1*1000, 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) {
tc_ac.stop;
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Pre-conditions: LS Request not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
4391
4392
4393
4394
4395
4396
4397
4398
4399
4400
4401
4402
4403
4404
4405
4406
4407
4408
4409
4410
4411
4412
4413
4414
4415
4416
4417
4418
4419
4420
4421
4422
4423
4424
4425
4426
4427
4428
4429
4430
4431
4432
4433
4434
4435
4436
4437
4438
4439
4440
4441
4442
4443
4444
// Test Body
//Send LS-REPLY after LT2 expiry
f_sleepIgnoreDef(int2float(v_lt2));
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
)
)
);
tc_ac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
log("*** " & testcasename() & ": INFO: LS Request retransmission ignored ***");
repeat;
}
[] geoNetworkingPort.receive(
f_receiveGeoNetMessageWithPayload(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
),
f_adaptPayload_mw(v_payload1)
)
) {
v_msg1Received := true;
repeat;
}
[] geoNetworkingPort.receive(
f_receiveGeoNetMessageWithPayload(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
),
f_adaptPayload_mw(v_payload2)
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: message with elapsed lifetime received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_ac.timeout {
if(v_msg1Received == true) {
log("*** " & testcasename() & ": PASS: message with running lifetime received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": FAIL: message with running lifetime not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
4455
4456
4457
4458
4459
4460
4461
4462
4463
4464
4465
4466
4467
4468
4469
4470
4471
4472
4473
4474
4475
4476
4477
4478
4479
4480
4481
4482
4483
4484
4485
4486
4487
4488
4489
4490
4491
4492
4493
}
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_13
/**
* @desc Test that GeoNetworking packets in LS buffer are discarded when LS does not complete
* <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 itsGnLocationServiceMaxRetrans times
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GUC packet from ItsNodeA
* before expiration of LT1
* }
* then {
* the IUT does not send any packet to ItsNodeA (see note)
* }
* }
* NOTE: Stored GeoUnicast packets have been discarded upon LS failure
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/14
* @reference EN 302 636-4-1 [1], clauses 7.4.3
4496
4497
4498
4499
4500
4501
4502
4503
4504
4505
4506
4507
4508
4509
4510
4511
4512
4513
4514
4515
4516
4517
4518
*/
testcase TC_GEONW_PON_LOS_BV_14() 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;
var UInt16 v_LT1;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Test adapter configuration
// Preamble
f_prNeighbour();
v_LT1 := float2int(int2float(v_maxNbrRetrans + 2) * f_getLsRetransmitTimer() * 1000.0);
if ( not f_utTriggerEvent(m_generateGeoUnicastMessageWithLifetime(v_longPosVectorNodeA.gnAddr,v_LT1)) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
tc_wait.start(int2float(v_LT1));
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);
}
}
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() & ": Pre-conditions: LS_REQUEST retransmitted more than itsGnLocationServiceMaxRetrans times ***");
f_selfOrClientSyncAndVerdict(c_prDone, 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() & ": Pre-conditions: LS_REQUEST retransmitted itsGnLocationServiceMaxRetrans times ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
}
else {
log("*** " & testcasename() & ": Pre-conditions: LS_REQUEST retransmitted less than itsGnLocationServiceMaxRetrans times ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_error);
4559
4560
4561
4562
4563
4564
4565
4566
4567
4568
4569
4570
4571
4572
4573
4574
4575
4576
4577
4578
4579
4580
4581
4582
}
}
}
// Test Body
if (tc_wait.running) {
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
)
)
);
tc_wait.stop;
tc_noac.start;
alt {
// no check for ItsNodeA address as no other trigger for messages exists
[] geoNetworkingPort.receive {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Unexpected message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
log("*** " & testcasename() & ": PASS: No message was sent ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
log("*** " & testcasename() & ": FAIL: LT1 expired ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_14
4602
4603
4604
4605
4606
4607
4608
4609
4610
4611
4612
4613
4614
4615
4616
4617
4618
4619
4620
4621
4622
4623
4624
4625
4626
4627
4628
4629
4630
4631
4632
4633
4634
4635
4636
4637
4638
4639
4640
4641
4642
4643
4644
4645
4646
4647
4648
4649
4650
4651
4652
4653
4654
4655
4656
4657
4658
4659
4660
4661
4662
4663
4664
4665
4666
4667
4668
4669
4670
4671
4672
4673
4674
4675
4676
4677
4678
4679
4680
4681
4682
4683
4684
4685
4686
4687
4688
4689
4690
4691
4692
4693
4694
4695
4696
4697
4698
4699
4700
4701
4702
4703
4704
4705
4706
4707
4708
4709
4710
4711
4712
4713
4714
4715
4716
4717
4718
4719
4720
4721
4722
4723
4724
4725
4726
4727
4728
4729
4730
4731
4732
4733
4734
4735
4736
4737
4738
4739
4740
4741
4742
4743
4744
4745
4746
4747
4748
4749
4750
4751
4752
4753
4754
4755
4756
4757
4758
4759
4760
4761
4762
4763
4764
4765
4766
4767
4768
4769
4770
4771
4772
4773
4774
4775
4776
4777
4778
4779
4780
4781
4782
4783
4784
4785
4786
4787
4788
4789
4790
4791
4792
4793
4794
4795
4796
4797
4798
4799
4800
4801
4802
4803
4804
4805
4806
4807
4808
4809
4810
4811
4812
4813
4814
4815
4816
4817
4818
4819
4820
4821
4822
4823
4824
4825
4826
4827
4828
4829
4830
4831
4832
4833
4834
4835
4836
4837
4838
4839
4840
4841
4842
4843
4844
4845
4846
4847
4848
4849
4850
4851
4852
4853
4854
4855
4856
4857
4858
4859
4860
4861
4862
4863
4864
4865
4866
4867
4868
4869
4870
4871
4872
4873
4874
4875
4876
4877
4878
4879
4880
4881
4882
4883
4884
4885
4886
4887
4888
4889
4890
4891
4892
4893
4894
4895
4896
4897
4898
/**
* @desc Test flushing of the LS buffer, initiated by the processing of a common header from the target destination
* <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 ItsNodeA
* containing LT field
* indicating LT1 and
* the IUT having sent a LS_REQUEST packet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoUnicast packet addressed to ItsNodeB from ItsNodeA before expiry of LT1
* }
* then {
* the IUT sends the waiting GeoUnicast packet to ItsNodeA
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/15
* @reference EN 302 636-4-1 [1], clauses 9.3.8.3, 9.3.7.1.2 and 7.4.2
*/
testcase TC_GEONW_PON_LOS_BV_15() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorNodeB;
var LongPosVector v_longPosVectorIut;
var UInt16 v_seqNbr := vc_localSeqNumber;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// 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_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Pre-conditions: LS Request not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
}
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorNodeB),
vc_localSeqNumber
)
)
)
);
tc_ac.start;
alt {
[] a_receiveGeoUnicastWithDestination(mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GeoUnicast packet received correctly ***");
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();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_15
/**
* @desc Test of LS Request retransmission termination when indirect response 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
* the IUT having retransmitted the LS_REQUEST packet less than itsGnLocationServiceMaxRetrans
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoUnicast packet addressed to it from ItsNodeA before expiry of LT1
* }
* then {
* the IUT does not retransmits the LS_REQUEST packet
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/16
* @reference EN 302 636-4-1 [1], clauses 9.3.8.4, 9.3.7.1.2, 9.3.7.1.3 and 9.3.8.2
*/
testcase TC_GEONW_PON_LOS_BV_16() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorNodeB;
var LongPosVector v_longPosVectorIut;
var UInt16 v_seqNbr := vc_localSeqNumber;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// 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_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Pre-conditions: LS Request not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
}
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorIut),
vc_localSeqNumber
)
)
)
);
tc_noac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: LS Request retransmitted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] a_receiveGeoUnicastWithDestination(mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA))) {
log("*** " & testcasename() & ": INFO: GeoUnicast packet received ***");
repeat;
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: LS Request not retransmitted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_16
/**
* @desc Test of LS Request retransmission termination when indirect response 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
* the IUT having retransmitted the LS_REQUEST packet less than itsGnLocationServiceMaxRetrans
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a GeoUnicast packet addressed to ItsNodeB from ItsNodeA before expiry of LT1
* }
* then {
* the IUT does not retransmits the LS_REQUEST packet
* }
* }
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV/17
* @reference EN 302 636-4-1 [1], clauses 9.3.8.3, 9.3.7.1.2, 9.3.7.1.3 and 9.3.8.2
*/
testcase TC_GEONW_PON_LOS_BV_17() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorNodeB;
var LongPosVector v_longPosVectorIut;
var UInt16 v_seqNbr := vc_localSeqNumber;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
v_longPosVectorNodeB := f_getPosition(c_compNodeB);
// 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_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Pre-conditions: LS Request not received ***");
f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
}
}
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_linkLayerBroadcast(
m_geoNwPdu(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
f_longPosVector2ShortPosVector(v_longPosVectorNodeB),
vc_localSeqNumber
)
)
)
);
tc_noac.start;
alt {
[] a_receiveLsRequest(?, v_longPosVectorNodeA.gnAddr.mid, v_longPosVectorIut) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: LS Request retransmitted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] a_receiveGeoUnicastWithDestination(mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA))) {
log("*** " & testcasename() & ": INFO: GeoUnicast packet received ***");
repeat;
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: LS Request not retransmitted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
// Postamble
f_poNeighbour();
f_cf01Down();
} // end TC_GEONW_PON_LOS_BV_17
4899
4900
4901
4902
4903
4904
4905
4906
4907
4908
4909
4910
4911
4912
4913
4914
4915
4916
4917
4918
4919
4920
4921
4922
4923
4924
4925
4926
4927
4928
4929
4930
4931
4932
4933
4934
} // end geoLocationService
// 6.2.2.5
group geoForwardingPacketBuffer {
group GEONW_PON_FPB_BV_01 {
/**
* @desc Test of Source packet buffering into UC forwarding buffer for unreachable Unicast destinations
* (absence of a suitable next hop candidate)
* <pre>
* Pics Selection: none
* Config Id: CF03
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT not having received any Beacon information from ItsNodeB and
* the IUT having a Location Table Entry for ItsNodeA (see note) and
* the IUT having been requested to send a GeoUnicast packet addressed to ItsNodeA
* containing TrafficClass.SCF set to 1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a Beacon packet from ItsNodeB
* }
* then {
* the IUT selects the ItsNodeB as the next hop and
* the IUT sends the buffered GeoUnicast packet
* }
* }
* NOTE: Location Table Entry is created by sending any GeoNetworking packet, originated by ItsNodeA, from ItsNodeC to IUT
*
* </pre>
*
* @see ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV/01
* @reference EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3, 9.3.4.2 and 9.3.8.3
4937
4938
4939
4940
4941
4942
4943
4944
4945
4946
4947
4948
4949
4950
4951
4952
4953
4954
4955
4956
4957
4958
4959
4960
4961
4962
4963
4964
4965
4966
4967
4968
4969
4970
4971
4972
4973
4974
4975
*/
testcase TC_GEONW_PON_FPB_BV_01() 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_FPB_BV_01_nodeB());
v_nodeC.start(f_GEONW_PON_FPB_BV_01_nodeC());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf03Down();
} // end TC_GEONW_PON_FPB_BV_01
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_FPB_BV_01)
*/
function f_GEONW_PON_FPB_BV_01_nodeB() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
// Preamble
f_prDefault(); // NodeB is not yet a neighbour
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sleepIgnoreDef(1.0);
f_startBeingNeighbour();
tc_ac.start;
alt {
[] a_receiveAnyLsRequest() {
tc_ac.stop;
log("*** " & testcasename() & ": INCONC: Received Location Service Request ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: packet correctly forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Expected message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);