Newer
Older
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
f_longPosVector2ShortPosVector(v_longPosVectorNodeA),
vc_localSeqNumber
c_defaultHopLimit - 1
),
-,
f_getIutMacAddress()
)
);
tc_noac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
7027
7028
7029
7030
7031
7032
7033
7034
7035
7036
7037
7038
7039
7040
7041
7042
7043
7044
7045
7046
7047
7048
7049
7050
7051
7052
7053
7054
7055
7056
7057
7058
7059
7060
7061
7062
7063
7064
7065
) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Duplicate GUC was forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: Duplicate GUC not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_GRD_BO_07_nodeB
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_GUC_GRD_BO_07)
*/
function f_GEONW_PON_GUC_GRD_BO_07_nodeC() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Preamble
f_prNeighbour();
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
f_longPosVector2ShortPosVector(v_longPosVectorNodeA),
vc_localSeqNumber
),
-,
c_defaultHopLimit
),
-,
f_getIutMacAddress()
7067
7068
7069
7070
7071
7072
7073
7074
7075
7076
7077
7078
7079
7080
7081
7082
7083
7084
7085
7086
7087
7088
7089
7090
);
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_noac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
)
) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Duplicate GUC was forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: Duplicate GUC not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
7092
7093
7094
7095
7096
7097
7098
7099
7100
7101
7102
7103
7104
7105
7106
7107
7108
7109
7110
7111
7112
7113
7114
7115
7116
7117
7118
7119
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_GRD_BO_07_nodeC
} // end GEONW_PON_GUC_GRD_BO_07
} // end gucGreedyForwarding
group gucContentionBasedForwarding {
group GEONW_PON_GUC_CBF_BV_01 {
/**
* @desc TP Function for TC_GEONW_PON_GUC_CBF_BV_01
*/
function f_GEONW_PON_GUC_CBF_BV_01() runs on ItsMtc {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
// Test control
if (not PICS_GN_GUC_SRC) {
log("*** " & testcasename() & ": PICS_GN_GUC_SRC required for executing the TC ***");
setverdict(inconc);
stop;
7121
7122
7123
7124
7125
7126
7127
7128
7129
7130
7131
7132
7133
7134
7135
7136
7137
7138
7139
7140
7141
7142
7143
7144
if (f_getNonAreaForwardingAlgorithm() != e_cbf) {
log("*** " & testcasename() & ": PICS_GN_NON_AREA_FORWARDING_ALGORITHM == e_cbf required for executing the TC ***");
setverdict(inconc);
stop;
}
// 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_GUC_CBF_BV_01_nodeB());
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_01_nodeC());
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf03Down();
} // end f_GEONW_PON_GUC_CBF_BV_01
7146
7147
7148
7149
7150
7151
7152
7153
7154
7155
7156
7157
7158
7159
7160
7161
7162
7163
7164
7165
7166
7167
7168
7169
7170
7171
7172
7173
7174
7175
7176
7177
7178
7179
7180
7181
7182
7183
7184
7185
7186
7187
7188
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_GUC_CBF_BV_01)
*/
function f_GEONW_PON_GUC_CBF_BV_01_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
if(not f_utTriggerEvent(m_generateGeoUnicastMessage(v_longPosVectorNodeB.gnAddr))) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB)),
?
)
)
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_01_nodeB
7190
7191
7192
7193
7194
7195
7196
7197
7198
7199
7200
7201
7202
7203
7204
7205
7206
7207
7208
7209
7210
7211
7212
7213
7214
7215
7216
7217
7218
7219
7220
7221
7222
7223
7224
7225
7226
7227
7228
7229
7230
7231
7232
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_GUC_CBF_BV_01)
*/
function f_GEONW_PON_GUC_CBF_BV_01_nodeC() 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_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB)),
?
)
)
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: broadcasted GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not broadcasted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_01_nodeC
} // end GEONW_PON_GUC_CBF_BV_01
group GEONW_PON_GUC_CBF_BV_02 {
7234
7235
7236
7237
7238
7239
7240
7241
7242
7243
7244
7245
7246
7247
7248
7249
7250
7251
7252
7253
7254
7255
7256
7257
7258
7259
7260
7261
7262
7263
7264
7265
7266
7267
7268
7269
7270
7271
7272
7273
7274
7275
7276
7277
7278
7279
7280
7281
7282
7283
7284
7285
7286
7287
7288
7289
7290
7291
7292
7293
7294
7295
7296
7297
7298
7299
7300
7301
7302
7303
7304
7305
7306
7307
7308
7309
7310
7311
7312
7313
7314
7315
7316
7317
7318
7319
7320
7321
7322
7323
7324
7325
7326
7327
7328
7329
7330
7331
7332
7333
7334
7335
7336
7337
7338
7339
/**
* @desc TP Function for TC_GEONW_PON_GUC_CBF_BV_02
*/
function f_GEONW_PON_GUC_CBF_BV_02() runs on ItsMtc {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
var float v_distance := int2float(f_getCbfMaxCommunicationRange() - 10);
var LongPosVector v_longPosVectorIut, v_longPosVectorNodeA;
// Test control
if (not PICS_GN_GUC_FWD) {
log("*** " & testcasename() & ": PICS_GN_GUC_FWD required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getNonAreaForwardingAlgorithm() != e_cbf) {
log("*** " & testcasename() & ": PICS_GN_NON_AREA_FORWARDING_ALGORITHM == e_cbf required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf03Up();
// re-compute NodeA's position.
v_longPosVectorIut := f_getIutLongPosVector();
v_longPosVectorNodeA := f_computePositionUsingDistance(v_longPosVectorIut, v_distance, 0);
v_longPosVectorNodeA.gnAddr := f_getTsGnLocalAddress(c_compNodeA);
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeC := f_getComponent(c_compNodeC);
v_nodeB.start(f_GEONW_PON_GUC_CBF_BV_02_nodeB(v_distance, v_longPosVectorNodeA));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_02_nodeC(v_longPosVectorNodeA));
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_msgSent, c_tbDone});
// Cleanup
f_cf03Down();
} // end f_GEONW_PON_GUC_CBF_BV_02
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_GUC_CBF_BV_02)
* @param p_distanceToNodeA Distance between IUT and NodeA
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_02_nodeB(in float p_distanceToNodeA, in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
timer t_toCbf := (int2float(f_getCbfMaxTime())
+ (
int2float(f_getCbfMinTime() - f_getCbfMaxTime())
/ int2float(f_getCbfMaxCommunicationRange())
) * p_distanceToNodeA) * 0.95 / 1000.0;
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
log("*** " & testcasename() & ": INFO: Message sent ***");
f_selfOrClientSyncAndVerdict(c_msgSent, e_success);
tc_ac.start;
t_toCbf.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
)
)
) {
tc_ac.stop;
if(t_toCbf.running) {
t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: IUT re-broadcasted the packet too early ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: Forwarded GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
[] t_toCbf.timeout {
log("*** " & testcasename() & ": INFO: Ready for receiving re-broadcasting ***");
repeat;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_02_nodeB
7341
7342
7343
7344
7345
7346
7347
7348
7349
7350
7351
7352
7353
7354
7355
7356
7357
7358
7359
7360
7361
7362
7363
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_GUC_CBF_BV_02)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_02_nodeC(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
f_longPosVector2ShortPosVector(p_longPosVectorNodeA),
vc_localSeqNumber
),
-,
c_defaultHopLimit
f_getIutMacAddress()
)
);
log("*** " & testcasename() & ": INFO: Message sent ***");
f_selfOrClientSyncAndVerdict(c_msgSent, e_success);
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Re-broadcasted GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not re-broadcasted ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_02_nodeC
7399
7400
7401
7402
7403
7404
7405
7406
7407
7408
7409
7410
7411
7412
7413
7414
7415
7416
7417
7418
7419
7420
7421
7422
7423
7424
7425
7426
7427
7428
7429
7430
7431
7432
7433
7434
7435
7436
7437
7438
7439
7440
7441
7442
7443
7444
7445
7446
7447
7448
7449
7450
7451
7452
7453
7454
7455
7456
7457
7458
7459
7460
7461
7462
7463
7464
7465
7466
7467
7468
7469
7470
7471
7472
7473
7474
7475
7476
7477
7478
7479
7480
7481
7482
7483
7484
7485
7486
7487
7488
7489
7490
7491
7492
7493
7494
7495
7496
7497
7498
7499
7500
7501
7502
7503
7504
7505
7506
7507
7508
7509
7510
7511
7512
7513
7514
7515
7516
7517
7518
7519
7520
7521
7522
7523
7524
7525
7526
7527
7528
7529
7530
7531
7532
7533
7534
7535
7536
7537
7538
7539
7540
7541
7542
7543
7544
7545
7546
7547
7548
7549
7550
7551
7552
7553
7554
7555
7556
7557
7558
7559
7560
7561
7562
7563
7564
7565
7566
7567
} // end GEONW_PON_GUC_CBF_BV_02
group GEONW_PON_GUC_CBF_BV_07 {
/**
* @desc TP Function for TC_GEONW_PON_GUC_CBF_BV_07
*/
function f_GEONW_PON_GUC_CBF_BV_07() runs on ItsMtc {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
var float v_distance := int2float(f_getCbfMaxCommunicationRange() - 10);
var LongPosVector v_longPosVectorIut, v_longPosVectorNodeA;
// Test control
if (not PICS_GN_GUC_FWD) {
log("*** " & testcasename() & ": PICS_GN_GUC_FWD required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getNonAreaForwardingAlgorithm() != e_cbf) {
log("*** " & testcasename() & ": PICS_GN_NON_AREA_FORWARDING_ALGORITHM == e_cbf required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf03Up();
// re-compute NodeA's position.
v_longPosVectorIut := f_getIutLongPosVector();
v_longPosVectorNodeA := f_computePositionUsingDistance(v_longPosVectorIut, v_distance, 0);
v_longPosVectorNodeA.gnAddr := f_getTsGnLocalAddress(c_compNodeA);
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeC := f_getComponent(c_compNodeC);
v_nodeB.start(f_GEONW_PON_GUC_CBF_BV_07_nodeB(v_longPosVectorNodeA));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_07_nodeC(v_longPosVectorNodeA));
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf03Down();
} // end f_GEONW_PON_GUC_CBF_BV_07
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_GUC_CBF_BV_07)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_07_nodeB(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sleepIgnoreDef(int2float(f_getCbfMaxTime())/2000.0);
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
f_longPosVector2ShortPosVector(p_longPosVectorNodeA),
vc_localSeqNumber
),
-,
c_defaultHopLimit - 1
),
-,
f_getIutMacAddress()
)
);
tc_noac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
)
)
) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: Forwarded GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_07_nodeB
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_GUC_CBF_BV_07)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_07_nodeC(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
//Note: Sending of the GUC packet move to test body in contrast to the test purpose due to time critical behaviour
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
f_longPosVector2ShortPosVector(p_longPosVectorNodeA),
vc_localSeqNumber
),
-,
c_defaultHopLimit
),
-,
f_getIutMacAddress()
)
);
tc_noac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
)
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: Forwarded GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_noac.timeout {
log("*** " & testcasename() & ": PASS: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_07_nodeC
} // end GEONW_PON_GUC_CBF_BV_07
group GEONW_PON_GUC_CBF_BV_20 {
7569
7570
7571
7572
7573
7574
7575
7576
7577
7578
7579
7580
7581
7582
7583
7584
7585
7586
7587
7588
7589
7590
7591
7592
7593
7594
7595
7596
7597
7598
7599
7600
7601
7602
7603
7604
7605
7606
7607
7608
7609
7610
7611
7612
7613
/**
* @desc TP Function for TC_GEONW_PON_GUC_CBF_BV_20
*/
function f_GEONW_PON_GUC_CBF_BV_20() runs on ItsMtc {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
var float v_distance := int2float(f_getCbfMaxCommunicationRange() * 2);
var LongPosVector v_longPosVectorIut, v_longPosVectorNodeC;
// Test control
if (not PICS_GN_GUC_FWD) {
log("*** " & testcasename() & ": PICS_GN_GUC_FWD required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getNonAreaForwardingAlgorithm() != e_cbf) {
log("*** " & testcasename() & ": PICS_GN_NON_AREA_FORWARDING_ALGORITHM == e_cbf required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf03Up();
// re-compute NodeC's position.
v_longPosVectorIut := f_getIutLongPosVector();
v_longPosVectorNodeC := f_computePositionUsingDistance(v_longPosVectorIut, v_distance, 180);
v_longPosVectorNodeC.gnAddr := f_getTsGnLocalAddress(c_compNodeC);
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeC := f_getComponent(c_compNodeC);
v_nodeB.start(f_GEONW_PON_GUC_CBF_BV_20_nodeB(v_longPosVectorNodeC));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_20_nodeC(v_longPosVectorNodeC));
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_msgSent, c_tbDone});
// Cleanup
f_cf03Down();
} // end f_GEONW_PON_GUC_CBF_BV_20
7615
7616
7617
7618
7619
7620
7621
7622
7623
7624
7625
7626
7627
7628
7629
7630
7631
7632
7633
7634
7635
7636
7637
7638
7639
7640
7641
7642
7643
7644
7645
7646
7647
7648
7649
7650
7651
7652
7653
7654
7655
7656
7657
7658
7659
7660
7661
7662
7663
7664
7665
7666
7667
7668
7669
7670
7671
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_GUC_CBF_BV_20)
* @param p_longPosVectorNodeC Position vector of NodeC
*/
function f_GEONW_PON_GUC_CBF_BV_20_nodeB(in LongPosVector p_longPosVectorNodeC) runs on ItsGeoNetworking {
// Local variables
timer t_toCbf := int2float(f_getCbfMinTime()) / 1000.0;
var LongPosVector v_longPosVectorNodeA := f_getPosition(c_compNodeA);
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
log("*** " & testcasename() & ": INFO: Message sent ***");
f_selfOrClientSyncAndVerdict(c_msgSent, e_success);
tc_ac.start;
t_toCbf.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
)
)
) {
tc_ac.stop;
if(t_toCbf.running) {
t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: IUT re-broadcasted the packet too early ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: Forwarded GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
[] t_toCbf.timeout {
log("*** " & testcasename() & ": INFO: Ready for receiving re-broadcasting ***");
repeat;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_20_nodeB
7673
7674
7675
7676
7677
7678
7679
7680
7681
7682
7683
7684
7685
7686
7687
7688
7689
7690
7691
7692
7693
7694
7695
7696
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_GUC_CBF_BV_20)
* @param p_longPosVectorNodeC Position vector of NodeC
*/
function f_GEONW_PON_GUC_CBF_BV_20_nodeC(LongPosVector p_longPosVectorNodeC) 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_geoNwUnicastPacket(
p_longPosVectorNodeC,
f_longPosVector2ShortPosVector(v_longPosVectorNodeA),
vc_localSeqNumber
),
-,
c_defaultHopLimit
f_getIutMacAddress()
)
);
log("*** " & testcasename() & ": INFO: Message sent ***");
f_selfOrClientSyncAndVerdict(c_msgSent, e_success);
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeA)),
?
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Forwarded GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_20_nodeC
7736
7737
7738
7739
7740
7741
7742
7743
7744
7745
7746
7747
7748
7749
7750
7751
7752
7753
7754
7755
7756
7757
7758
7759
7760
7761
7762
7763
7764
7765
7766
7767
7768
7769
7770
7771
7772
7773
7774
7775
7776
7777
7778
7779
7780
7781
7782
7783
/**
* @desc TP Function for TC_GEONW_PON_GUC_CBF_BV_21
*/
function f_GEONW_PON_GUC_CBF_BV_21() runs on ItsMtc {
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
var ItsGeoNetworking v_nodeD;
var float v_distance := int2float(f_getCbfMaxCommunicationRange() - 10);
var LongPosVector v_longPosVectorIut, v_longPosVectorNodeA;
// Test control
if (not PICS_GN_GUC_FWD) {
log("*** " & testcasename() & ": PICS_GN_GUC_FWD required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getNonAreaForwardingAlgorithm() != e_cbf) {
log("*** " & testcasename() & ": PICS_GN_NON_AREA_FORWARDING_ALGORITHM == e_cbf required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf04Up();
// re-compute NodeA's position.
v_longPosVectorIut := f_getIutLongPosVector();
v_longPosVectorNodeA := f_computePositionUsingDistance(v_longPosVectorIut, v_distance, 0);
v_longPosVectorNodeA.gnAddr := f_getTsGnLocalAddress(c_compNodeA);
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeC := f_getComponent(c_compNodeC);
v_nodeD := f_getComponent(c_compNodeD);
v_nodeB.start(f_GEONW_PON_GUC_CBF_BV_21_nodeB(v_longPosVectorNodeA));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_21_nodeC(v_longPosVectorNodeA));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_21_nodeD(v_longPosVectorNodeA));
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf04Down();
} // end f_GEONW_PON_GUC_CBF_BV_21
7785
7786
7787
7788
7789
7790
7791
7792
7793
7794
7795
7796
7797
7798
7799
7800
7801
7802
7803
7804
7805
7806
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_GUC_CBF_BV_21)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_21_nodeB(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Re-broadcasted GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_21_nodeB
7826
7827
7828
7829
7830
7831
7832
7833
7834
7835
7836
7837
7838
7839
7840
7841
7842
7843
7844
7845
7846
7847
/**
* @desc Behavior function for NodeC (TC_GEONW_PON_GUC_CBF_BV_21)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_21_nodeC(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Re-broadcasted GUC received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC was not forwarded ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
7860
7861
7862
7863
7864
7865
7866
7867
7868
7869
7870
7871
7872
7873
7874
7875
7876
7877
7878
7879
7880
7881
7882
7883
7884
7885
7886
7887
7888
7889
7890
7891
7892
7893
7894
7895
7896
7897
7898
7899
7900
7901
7902
7903
7904
7905
7906
7907
7908
7909
7910
7911
7912
7913
7914
7915
7916
7917
7918
7919
7920
7921
7922
7923
7924
7925
7926
7927
7928
7929
7930
7931
7932
7933
7934
7935
// Postamble
f_poNeighbour();
} // end f_GEONW_PON_GUC_CBF_BV_21_nodeC
/**
* @desc Behavior function for NodeD (TC_GEONW_PON_GUC_CBF_BV_21)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_21_nodeD(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeC := f_getPosition(c_compNodeC);
timer t_toCbf := int2float(f_getCbfMaxTime()) * 0.95 / 1000.0;
// Preamble
f_prNonNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);
// Test Body
f_sendGeoNetMessage(
m_geoNwReq_withLinkLayerDestination(
m_geoNwPdu(
m_geoNwUnicastPacket(
f_getPosition(c_compNodeC),
f_longPosVector2ShortPosVector(p_longPosVectorNodeA),
vc_localSeqNumber
),
-,
c_defaultHopLimit
),
-,
f_getIutMacAddress()
)
);
t_toCbf.start;
tc_ac.start;
alt {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacket(
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(p_longPosVectorNodeA)),
?
)
)
)
) {
tc_ac.stop;
if(t_toCbf.running) {
t_toCbf.stop;
log("*** " & testcasename() & ": FAIL: GUC retransmitted before CBF timer expiration ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: GUC message received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
}
[] t_toCbf.timeout {
log("*** " & testcasename() & ": INFO: GUC timer elapsed ***");
repeat;
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: GUC message not received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
// Postamble
f_poDefault();
} // end f_GEONW_PON_GUC_CBF_BV_21_nodeD
/**
* @desc TP Function for TC_GEONW_PON_GUC_CBF_BV_22
*/
function f_GEONW_PON_GUC_CBF_BV_22() runs on ItsMtc {
7946
7947
7948
7949
7950
7951
7952
7953
7954
7955
7956
7957
7958
7959
7960
7961
7962
7963
7964
7965
7966
7967
7968
7969
7970
7971
7972
7973
7974
7975
7976
7977
7978
7979
7980
7981
7982
7983
7984
7985
7986
7987
7988
// Local variables
var ItsGeoNetworking v_nodeB;
var ItsGeoNetworking v_nodeC;
var ItsGeoNetworking v_nodeD;
var float v_distance := int2float(f_getCbfMaxCommunicationRange() - 10);
var LongPosVector v_longPosVectorIut, v_longPosVectorNodeA;
// Test control
if (not PICS_GN_GUC_FWD) {
log("*** " & testcasename() & ": PICS_GN_GUC_FWD required for executing the TC ***");
setverdict(inconc);
stop;
}
if (f_getNonAreaForwardingAlgorithm() != e_cbf) {
log("*** " & testcasename() & ": PICS_GN_NON_AREA_FORWARDING_ALGORITHM == e_cbf required for executing the TC ***");
setverdict(inconc);
stop;
}
// Test component configuration
f_cf04Up();
// re-compute NodeA's position.
v_longPosVectorIut := f_getIutLongPosVector();
v_longPosVectorNodeA := f_computePositionUsingDistance(v_longPosVectorIut, v_distance, 0);
v_longPosVectorNodeA.gnAddr := f_getTsGnLocalAddress(c_compNodeA);
// Preamble
// Start components
v_nodeB := f_getComponent(c_compNodeB);
v_nodeC := f_getComponent(c_compNodeC);
v_nodeD := f_getComponent(c_compNodeD);
v_nodeB.start(f_GEONW_PON_GUC_CBF_BV_22_nodeB(v_longPosVectorNodeA));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_22_nodeC(v_longPosVectorNodeA));
v_nodeC.start(f_GEONW_PON_GUC_CBF_BV_22_nodeD(v_longPosVectorNodeA));
// Synchronization
f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
// Cleanup
f_cf04Down();
} // end f_GEONW_PON_GUC_CBF_BV_22
/**
* @desc Behavior function for NodeB (TC_GEONW_PON_GUC_CBF_BV_22)
* @param p_longPosVectorNodeA Position vector of NodeA
*/
function f_GEONW_PON_GUC_CBF_BV_22_nodeB(in LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
// Local variables
// Preamble
f_prNeighbour();
f_selfOrClientSyncAndVerdict(c_prDone, e_success);