/** * @author ETSI / STF517 * @version $URL$ * $Id$ * @desc Testcases for RLT Service * @reference ETSI TS 103 301 v1.1.1 * @copyright ETSI Copyright Notification * No part may be reproduced except as authorized by written permission. * The copyright and the foregoing restriction extend to reproduction in all media. * All rights reserved. * */ module ItsMapem_TestCases { // LibItsMapemSpatem import from LibItsMapemSpatem_TestSystem all; // ItsMapemSpatem import from ItsMapem_TpFunctions all; group mapeMessageDissemination { group mapeMessageFormat { /** * @desc Check that protocolVersion is set to 1 and messageID is set to 4 *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * } * Expected behaviour: * ensure that { * when { * a MAPEM is generated * } * then { * the IUT sends a valid MAPEM * containing ITS PDU header * containing protocolVersion * indicating value '1' * and containing messageID * indicating value '5' * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_MSGF_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 6.3 */ testcase TC_IS_RLT_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_MSGF_BV_01(); } // End of testcase TC_IS_RLT_MSGF_BV_01 } // End of group mapeMessageFormat group mapeEventGeneration { /** * @desc Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * } * Expected behaviour: * ensure that { * when { * a MAPEM is generated * } * then { * the IUT sends a valid MAPEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_EVGN_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.1 */ testcase TC_IS_RLT_EVGN_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_EVGN_BV_01(); } // End of testcase TC_IS_RLT_EVGN_BV_01 /** * @desc Check that RLT Service transmits new content *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * containing map * not containing LayerType * and not containing LayerID * and containing restrictionList * indicating the value RL_1 * } * Expected behaviour: * ensure that { * when { * the IUT is alerted about a new restrictionList indicating the value RL_2 * } * then { * the IUT sends a valid MAPEM * containing map * not containing LayerType * and not containing LayerID * and containing restrictionList * indicating indicating the value R_2 * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_EVGN_BV_02 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.1 */ testcase TC_IS_RLT_EVGN_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_EVGN_BV_02(); } // End of testcase TC_IS_RLT_EVGN_BV_02 /** * @desc Check that RLT Service transmits fragmented MAPEM when the message size exceeds the allowed message length *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT has sent a MAPEM * } * Expected behaviour: * ensure that { * when { * the IUT is alerted about a new content * indicating a new value which exceeds the allowed message length * } * then { * the IUT sends a first valid MAPEM * containing map * containing LayerType * and containing LayerID * indication a value LID_1 * and the IUT sends a second valid MAPEM * containing map * containing LayerType * and containing LayerID * indication a value LID_2 = LID_1 + 1 * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_EVGN_BV_03 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.1 */ testcase TC_IS_RLT_EVGN_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_EVGN_BV_03(); } // End of testcase TC_IS_RLT_EVGN_BV_03 } // End of group mapeEventGeneration group mapeCommunication { /** * @desc Check that the RLT Service transmits continuously both MAPEM and SPATEM *
* Pics Selection: PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * and the IUT has not sent any SPATEM yet * } * Expected behaviour: * ensure that { * when { * the IUT receives an AppSPATEM_Start request from the application layer * } * then { * the IUT sends a valid SPATEM * and the IUT sends a valid MAPEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_COMM_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.1 */ testcase TC_IS_RLT_COMM_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_COMM_BV_01(); } // End of testcase TC_IS_RLT_COMM_BV_01 /** * @desc Check that MAPEM uses BTP_B packet *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * } * Expected behaviour: * ensure that { * when { * a MAPEM is generated * } * then { * the IUT sends a valid MAPEM * encapsulated in a BTP-B packet * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_COMM_BV_02_01 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.2 */ testcase TC_IS_RLT_COMM_BV_02_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_COMM_BV_02_01(); } // End of testcase TC_IS_RLT_COMM_BV_02_01 /** * @desc Check that the destination port for MAPEM is set to 2003 *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * } * Expected behaviour: * ensure that { * when { * a MAPEM is generated * } * then { * the IUT sends a valid MAPEM * encapsulated in a BTP packet * containing a destination port value set to 2003 * and containing a destination port info value set to 0 * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_COMM_BV_02_02 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.2 */ testcase TC_IS_RLT_COMM_BV_02_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_COMM_BV_02_02(); } // End of testcase TC_IS_RLT_COMM_BV_02_02 /** * @desc Check that TLM service encapsulates MAPEM in a GBC with the HeaderType field set to the value of 4 *
* Pics Selection: PICS_MAPEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending MAPEM * } * Expected behaviour: * ensure that { * when { * a MAPEM is generated * } * then { * the IUT sends a valid MAPEM * encapsulated in a GBC packet * containing a correctly formatted Common Header * containing HeaderType field * indicating the value '4' * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_COMM_BV_03 * @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.1 */ testcase TC_IS_RLT_COMM_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_COMM_BV_03(); } // End of testcase TC_IS_RLT_COMM_BV_03 } // End of group mapeCommunication } // End of group mapeMessageDissemination group mapeMessageProcessing { /** * @desc Check that the IUT can successfully process all mandatory fields of MAPEM received *
* Pics Selection: PICS_MAPEM_RECEPTION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT having receive a valid MAPEM * } * Expected behaviour: * ensure that { * when { * the IUT receives a valid MAPEM * } * then { * the IUT forwards the MAPEM content to upper layers * and the IUT forwards the MAPEM content to other facilities * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.3.1 TP_IS_RLT_MSGF_BV_02 * @reference ETSI TS 103 301 v1.1.1 Clause 6.3 */ testcase TC_IS_RLT_MSGF_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_RLT_MSGF_BV_02(); } // End of testcase TC_IS_RLT_MSGF_BV_02 } // End of group mapeMessageProcessing } // End of module ItsMapem_TestCases