Compare Revisions

The credentials to download the source code are:
 Username: svnusers
 Password: svnusers

Ignore whitespace Rev 2200 → Rev 2201

/branches/STF484_VALIDATION/ttcn/AtsGeoNetworking/ItsGeoNetworking_TestCases.ttcn
713,7 → 713,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: Beacon packet
*
720,7 → 721,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
728,7 → 729,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
735,7 → 736,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
757,7 → 758,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: GUC packet
*
764,7 → 766,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
772,7 → 774,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
779,7 → 781,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
801,7 → 803,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: GAC packet
*
808,7 → 811,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
816,7 → 819,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
823,7 → 826,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
845,7 → 848,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: GBC packet
*
852,7 → 856,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
860,7 → 864,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
867,7 → 871,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
889,7 → 893,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: TSB packet
*
896,7 → 901,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
904,7 → 909,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
911,7 → 916,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
933,7 → 938,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: SHB packet
*
940,7 → 946,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
948,7 → 954,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
955,7 → 961,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
977,7 → 983,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: LS Request packet
*
984,7 → 991,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
992,7 → 999,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
999,7 → 1006,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
1021,7 → 1028,8
* Initial conditions:
* with {
* the IUT being in the "initial state" and
* the IUT having received a MESSAGE from ItsNodeA
* the IUT not having received any beacon from NODE
* the IUT having received a MESSAGE from originated by NODE
* }
* MESSAGE: LS Reply packet
*
1028,7 → 1036,7
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to send a GUC packet to ItsNodeA
* the IUT is requested to send a GUC packet to NODE
* }
* then {
* the IUT does not send a GeoNetworking packet
1036,7 → 1044,7
* containing Request field
* containing GN_ADDR
* containing M_ID
* indicating ItsNodeA
* indicating NODE
* the IUT sends a GeoNetworking packet
* containing a correctly formatted Common Header
* containing HT field
1043,7 → 1051,7
* set to '2' (GEOUNICAST)
* containing GUC Extended Header
* containing DEPV field
* indicating same position as the SOPV of the MESSAGE received from ItsNodeA
* indicating same position as the SOPV of the MESSAGE received from NODE
* }
* }
* </pre>
/branches/STF484_VALIDATION/ttcn/AtsGeoNetworking/ItsGeoNetworking_TpFunctions.ttcn
1146,7 → 1146,7
function f_GEONW_PON_LOT_BV_03_01() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeB);
 
// Test control
if (not PICS_GN_BEACON_DST) {
1157,11 → 1157,11
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwBeaconPacket(
v_longPosVectorNodeA
v_longPosVectorNode
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_01
1171,7 → 1171,7
function f_GEONW_PON_LOT_BV_03_02() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeA);
 
// Test control
if (not PICS_GN_GUC_DST) {
1182,13 → 1182,13
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwUnicastPacket(
v_longPosVectorNodeA,
v_longPosVectorNode,
f_getIutShortPosVector(),
vc_localSeqNumber
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_02
1198,7 → 1198,7
function f_GEONW_PON_LOT_BV_03_03() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeA);
 
// Test control
if (not PICS_GN_GAC_DST) {
1209,13 → 1209,13
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwAnycastPacket(
v_longPosVectorNodeA,
v_longPosVectorNode,
vc_localSeqNumber,
f_getGeoAnycastArea(c_area1)
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_03
1225,7 → 1225,7
function f_GEONW_PON_LOT_BV_03_04() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeA);
 
// Test control
if (not PICS_GN_GBC_DST) {
1236,13 → 1236,13
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwBroadcastPacket(
v_longPosVectorNodeA,
v_longPosVectorNode,
vc_localSeqNumber,
f_getGeoBroadcastArea(c_area1)
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_04
1252,7 → 1252,7
function f_GEONW_PON_LOT_BV_03_05() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeA);
 
// Test control
if (not PICS_GN_TSB_DST) {
1264,11 → 1264,11
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwTsbPacket(
vc_localSeqNumber,
v_longPosVectorNodeA
v_longPosVectorNode
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_05
1278,7 → 1278,7
function f_GEONW_PON_LOT_BV_03_06() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeB);
 
// Test control
if (not PICS_GN_SHB_DST) {
1289,11 → 1289,11
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwShbPacket(
v_longPosVectorNodeA
v_longPosVectorNode
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_06
1303,7 → 1303,7
function f_GEONW_PON_LOT_BV_03_07() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeA);
 
// Test control
if (not PICS_GN_LS_REQ_DST) {
1316,13 → 1316,13
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwLsRequestPacket(
v_longPosVectorNodeA,
v_longPosVectorNode,
vc_localSeqNumber,
f_getIutGnLocalAddress()
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_07
1332,7 → 1332,7
function f_GEONW_PON_LOT_BV_03_08() runs on ItsGeoNetworking {
// Local variables
var LongPosVector v_longPosVectorNodeA := f_TP_GEONW_PON_LOT_BV_03_pre_1();
var LongPosVector v_longPosVectorNode := f_TP_GEONW_PON_LOT_BV_03_pre_1(c_compNodeA);
 
// Test control
if (not PICS_GN_LS_REP_DST) {
1343,13 → 1343,13
f_TP_GEONW_PON_LOT_BV_03_pre_2(
m_geoNwLsReplyPacket(
v_longPosVectorNodeA,
v_longPosVectorNode,
f_getIutShortPosVector(),
vc_localSeqNumber
)
);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNodeA);
f_TP_GEONW_PON_LOT_BV_03_main(v_longPosVectorNode);
} // end f_GEONW_PON_LOT_BV_03_08
1356,23 → 1356,28
/**
* @desc Function including first preamble part (TC_GEONW_PON_LOT_BV_03)
*/
function f_TP_GEONW_PON_LOT_BV_03_pre_1() runs on ItsGeoNetworking return LongPosVector {
function f_TP_GEONW_PON_LOT_BV_03_pre_1(in charstring p_nodeName) runs on ItsGeoNetworking return LongPosVector {
// Local variables
var LongPosVector v_longPosVectorNodeA;
var LongPosVector v_longPosVectorNode;
// Test control
// Test component configuration
f_cf01Up();
v_longPosVectorNodeA := f_getPosition(c_compNodeA);
v_longPosVectorNode := f_getPosition(p_nodeName);
// Test adapter configuration
// Preamble part I
f_prNeighbour();
if(p_nodeName == c_compNodeA) {
f_prNeighbour();
}
else {
f_prNonNeighbour();
}
return v_longPosVectorNodeA;
return v_longPosVectorNode;
} // end f_TP_GEONW_PON_LOT_BV_03_pre_1
/**
1390,10 → 1395,10
/**
* @desc Function including test body and postamble part (TC_GEONW_PON_LOT_BV_03)
*/
function f_TP_GEONW_PON_LOT_BV_03_main(in template (value) LongPosVector p_longPosVectorNodeA) runs on ItsGeoNetworking {
function f_TP_GEONW_PON_LOT_BV_03_main(in template (value) LongPosVector p_longPosVectorNode) runs on ItsGeoNetworking {
// Test Body
if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(valueof(p_longPosVectorNodeA.gnAddr))) ) {
if ( not f_utTriggerEvent(m_generateGeoUnicastMessage(valueof(p_longPosVectorNode.gnAddr))) ) {
log("*** " & testcasename() & ": INCONC: Trigger failed ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
1405,7 → 1410,7
log("*** " & testcasename() & ": FAIL: Received Location Service Request ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] a_receiveGeoUnicastWithDestination(mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(valueof(p_longPosVectorNodeA)))) {
[] a_receiveGeoUnicastWithDestination(mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(valueof(p_longPosVectorNode)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GUC packet received correctly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);