Newer
Older
* @see ETSI TS 102 869-2 v1.4.1 TP/DEN/KAFW/BV-09, ETSI EN 302 637-3, clause 8.2.2
*/
testcase TC_DEN_KAFW_BV_09() runs on ItsDenm system ItsDenmSystem {
f_DEN_KAFW_BV_09();
} // end TC_DEN_KAFW_BV_09
/**
* @desc Check that forwarding ITS-S stops forwarding DENM if it is outside relevance area
* <pre>
* PICS Selection: PICS_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having received an event
* containing management container
* containing actionID
* indicating ACTION_ID1
* and containing transmissionInterval
* indicating TRANS_INTERVAL1
* and the IUT having starting timer T_Forwarding for this DENM
* and the IUT not having received further DENM
* containing actionID
* indicating ACTION_ID1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted that its position is now outside of the relevance area associated with ACTION_ID1
* }
* then {
* the IUT stops to reconstruct and to send the DENM associated with ACTION_ID1
* }
* }
* </pre>
*
* @see ETSI TS 102 869-2 v1.4.1 TP/DEN/KAFW/BV-10, ETSI EN 302 637-3, clause 8.2.2
*/
testcase TC_DEN_KAFW_BV_10() runs on ItsDenm system ItsDenmSystem {
f_DEN_KAFW_BV_10();
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
/**
* @desc Check that forwarding ITS-S does not forward DENM is transmissionInterval is not present
* <pre>
* PICS Selection: PICS_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a DENM
* containing actionID
* indicating ACTION_ID1
* and not containing transmissionInterval
* }
* then {
* the IUT does not reconstruct and send the DENM associated with ACTION_ID1
* }
* }
* </pre>
*
* @see ETSI TS 102 869-2 v1.4.1 TP/DEN/KAFW/BV-10, ETSI EN 302 637-3, clause 8.2.2
*/
testcase TC_DEN_KAFW_BV_11() runs on ItsDenm system ItsDenmSystem {
f_DEN_KAFW_BV_11();
} // end TC_DEN_KAFW_BV_11
} // end denKeepAliveForwarding
} // end ItsDenm_TestCases