/**
* @author ETSI / STF517
* @version $URL$
* $Id$
* @desc SREM Testcases (TP version: 0.0.1)
*
*/
module ItsSrem_TestCases {
// LibItsMapemSpatem
import from LibItsSremSsem_TestSystem all;
// ItsMapemSpatem
import from ItsSrem_TpFunctions all;
group iTS_SRole {
group sreMessageDissemination {
group sreMessageFormat {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 9 (ITS-S)
*
* Pics Selection: not PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a new SREM
* }
* then {
* the IUT sends a valid SREM
* containing ITS PDU header
* containing protocolVersion
* indicating value '1'
* and containing messageID
* indicating value '9'
* }
* }
*
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.3
*/
testcase TP_IS_TLC_MSGF_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {
f_IS_TLC_MSGF_BV_01();
} // End of testcase TP_IS_TLC_MSGF_BV_01
} // End of group sreMessageFormat
group sreCommunication {
/**
* @desc Check that SREM uses BTP_B packet
*
* Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending SREM
* }
* Expected behaviour:
* ensure that {
* when {
* a SREM is generated
* }
* then {
* the IUT sends a valid SREM
* encapsulated in a BTP-B packet
* }
* }
*
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_COMM_BV_01_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.4.3.2
*/
testcase TC_IS_TLC_COMM_BV_01_01 () runs on ItsSremSsem system ItsSremSsemSystem {
f_IS_TLC_COMM_BV_01_01();
} // End of testcase TC_IS_TLC_COMM_BV_01_01
/**
* @desc Check that the destination port for SREM is set to 2007
*
* Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending SREM
* }
* Expected behaviour:
* ensure that {
* when {
* a SREM is generated
* }
* then {
* the IUT sends a valid SREM
* encapsulated in a BTP packet
* containing a destination port value set to 2007
* and containing a destination port info value set to 0
* }
* }
*
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_COMM_BV_01_02
* @reference ETSI TS 103 301 V1.0.4 Clause 6.4.3.2
*/
testcase TC_IS_TLC_COMM_BV_01_02 () runs on ItsSremSsem system ItsSremSsemSystem {
f_IS_TLC_COMM_BV_01_02();
} // End of testcase TC_IS_TLC_COMM_BV_01_02
} // End of group sreCommunication
} // End of group sreMessageDissemination
group sreMessageProcessing {
/**
* @desc Check that the IUT can successfully process all mandatory fields of SSEM received (ITS-S)
*
* Pics Selection: not PICS_RSU and PICS_SSEM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT having send a valid SREM
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a valid SSEM
* }
* then {
* the IUT forwards the SSEM content to upper layers
* and the IUT forwards the SSEM content to other facilities
* }
* }
*
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_MSGF_BV_03
* @reference ETSI TS 103 301 V1.0.4 Clause 8.3
*/
testcase TC_IS_TLC_MSGF_BV_03 () runs on ItsSremSsem system ItsSremSsemSystem {
f_IS_TLC_MSGF_BV_03();
} // End of testcase TC_IS_TLC_MSGF_BV_03
} // End of group sreMessageProcessing
} // End of group iTS_SRole
group rsuRole {
group sreMessageDisseminationRsu {
group sreMessageFormatRsu {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 10 (TLC-S)
*
* Pics Selection: PICS_RSU and PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT having receive a valid SREM
* }
* then {
* the IUT sends a valid SREM
* containing ITS PDU header
* containing protocolVersion
* indicating value '1'
* and containing messageID
* indicating value '10'
* }
* }
*
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_04
* @reference ETSI TS 103 301 V1.0.4 Clause 6.3
*/
testcase TP_IS_TLC_MSGF_BV_04 () runs on ItsSremSsem system ItsSremSsemSystem {
f_IS_TLC_MSGF_BV_04();
} // End of testcase TP_IS_TLC_MSGF_BV_04
} // End of group sreMessageFormatRsu
group sreCommunicationRsu {
} // End of group sreCommunicationRsu
} // End of group sreMessageDisseminationRsu
group sreMessageProcessing {
/**
* @desc Check that the IUT can successfully process all mandatory fields of SREM received (TLC-S)
*
* Pics Selection: PICS_RSU and PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT having receive a valid SREM
* }
* then {
* the IUT forwards the SSEM content to upper layers
* and the IUT forwards the SSEM content to other facilities
* }
* }
*
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_02
* @reference ETSI TS 103 301 V1.0.4 Clause 6.3
*/
testcase TP_IS_TLC_MSGF_BV_02 () runs on ItsSremSsem system ItsSremSsemSystem {
f_IS_TLC_MSGF_BV_02();
} // End of testcase TP_IS_TLC_MSGF_BV_02
} // End of group sreMessageProcessing
} // End of group rsuRole
} // End of module ItsSrem_TestCases