/**
* @author ETSI / STF517 / TTF 002
* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsMapemSpatem/ItsMapem_TestCases.ttcn $
* $Id: ItsMapem_TestCases.ttcn 2646 2016-12-16 07:35:58Z garciay $
* @desc Testcases for RLT Service
* @reference ETSI TS 103 301 v1.3.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.2.5 TP_IS_RLT_GEN_MSGF_BV_01
* @reference ETSI TS 103 301 v1.1.1 Clause 5.3
*/
testcase TC_IS_RLT_GEN_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_01();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_01
/**
* @desc Check that the intersection information revision number is changed when the intersection
* configuration is changed.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT already sent MAPEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing elements of type IntersectionGeometry
* containing revision
* indicating value R
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing new configuration of the intersection
* }
* then {
* the IUT sends MAPEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing the element of type IntersectionGeometry
* containing revision
* indicating value R+1
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_02
* @reference CEN ISO/TS 19091 [4] clause 6.5.13
*/
testcase TC_IS_RLT_GEN_MSGF_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_02();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_02
/**
* @desc Check that the intersection information revision number is not changed when the
* intersection configuration is still the same.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT already sent MAPEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing elements of type IntersectionGeometry
* containing revision
* indicating value R
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing the same configuration of the intersection
* }
* then {
* the IUT sends MAPEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing the element of type IntersectionGeometry
* containing revision
* indicating value R
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_03
* @reference CEN ISO/TS 19091 [4] clause 6.5.13
*/
testcase TC_IS_RLT_GEN_MSGF_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_03();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_03
/**
* @desc Check that RLT Service transmits MAPEM with the valid connection trajectories.
*
* 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
* containing MapData data element
* containing intersections
* containing elements of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing regional
* containing elements of type ConnectionTrajectory
* }
* then {
* the first node of the trajectory
* indicate the position related to the node of ingress lane
* and the first node of the trajectory
* indicate the position identical to the first node of the connected egress lane
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_04
* @reference CEN ISO/TS 19091 [4] clause G.8.2.3.4
*/
testcase TC_IS_RLT_GEN_MSGF_BV_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_04();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_04
/**
* @desc Check that reference point altitude is encoded using regional extension.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing reference position
* containing altitude information ALTITUDE
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing refPoint
* not containing elevation
* and containing regional
* containing element of type Position3D-addGrpC
* containing altitude
* indicating ALTITUDE
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_05
* @reference CEN ISO/TS 19091 [4] clause G.8.2.6
*/
testcase TC_IS_RLT_GEN_MSGF_BV_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_05();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_05
/**
* @desc Check that each lane of the intersection contains a unique number.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing multiple lines
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing laneID
* indicating unique value
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_06
* @reference CEN ISO/TS 19091 [4] clause 6.5.8
*/
testcase TC_IS_RLT_GEN_MSGF_BV_06 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_06();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_06
/**
* @desc Check that the number of nodes needed to represent the path of a lane is selected such that
* the perpendicular distance between the lane centre line and the straight line connecting the
* two consecutive nodes is less than 1 m.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing multiple lines
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing enough elements
* indicating precise lane path
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_07
* @reference CEN ISO/TS 19091 [4] clause 6.5.9
*/
testcase TC_IS_RLT_GEN_MSGF_BV_07 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_07();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_07
/**
* @desc Check that each vehicular lane of the intersection includes only allowed manoeuvres and
* vehicle types.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing vehicle lane
* containing laneID (LANE_ID)
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing laneAttributes
* containing laneType
* containing vehicle
* not indicating any flags
* or indicating isVehicleFlyOverLane
* or indicating hovLaneUseOnly
* and containing sharedWith
* not indicating any flags
* indicating otherNonMotorizedTrafficTypes (2)
* and/or indicating pedestriansTraffic (6)
* and/or indicating cyclistVehicleTraffic (7)
* and/or indicating pedestrianTraffic (9)
* and/or containing connectsTo
* containing elements of type Connection
* containing connectingLane
* containing maneuver
* indicating maneuverStraightAllowed
* or indicating maneuverLeftAllowed
* or indicating maneuverRightAllowed
* or indicating maneuverUTurnAllowed
* or indicating maneuverLeftTurnOnRedAllowed
* or indicating maneuverRightTurnOnRedAllowed
* or not containing maneuvre
* or containing element of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing overlays
* indicating list of lanes to be used for the present TP
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_08
* @reference CEN ISO/TS 19091 [4] clause 6.5.10
*/
testcase TC_IS_RLT_GEN_MSGF_BV_08 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_08();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_08
/**
* @desc Check that each pedestrian lane of the intersection includes only allowed manoeuvres and
* user types.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing pedestrian lane
* containing laneID (LANE_ID)
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing laneAttributes
* containing laneType
* containing crosswalk
* or containing bikeLane
* or containing sidewalk
* and containing sharedWith
* indicating otherNonMotorizedTrafficTypes (2)
* or indicating pedestriansTraffic (6)
* or indicating cyclistVehicleTraffic (7)
* or indicating pedestrianTraffic (9)
* or not indicating any value
* and containing connectsTo
* containing elements of type Connection
* containing connectingLane
* containing maneuver
* indicating maneuverStraightAllowed
* or not containing maneuver
* or containing element of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing overlays
* indicating list of lanes to be used for the present TP
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_09
* @reference CEN ISO/TS 19091 [4] clause 6.5.11
*/
testcase TC_IS_RLT_GEN_MSGF_BV_09 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_09();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_09
/**
* @desc Check that each special lane of the intersection includes only allowed manoeuvres and user
* types.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_SPECIALIZED_CARS_MANOEUVRES
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing special transport lane
* containing laneID (LANE_ID)
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing laneAttributes
* containing laneType
* containing vehicle
* indicating hovLaneUseOnly
* or indicating restrictedToBusUse
* or indicating restrictedFromPublicUse
* or containing trackedVehicle
* and containing connectsTo
* containing elements of type Connection
* containing connectingLane
* containing maneuver
* indicating maneuverStraightAllowed
* or indicating “proceed after stopping�
* or not containing maneuver
* or containing element of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing overlays
* indicating list of lanes to be used for the present TP
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_10
* @reference CEN ISO/TS 19091 [4] clause 6.5.12
*/
testcase TC_IS_RLT_GEN_MSGF_BV_10 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_10();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_10
/**
* @desc Check that each crosswalk lane of the intersection does not have ingress or egress
* approaches and includes only valid user types.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing crosswalk lane
* containing laneID (LANE_ID)
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneSet
* containing element of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing laneAttributes
* containing laneType
* containing crosswalk
* and containing sharedWith
* indicating otherNonMotorizedTrafficTypes (2)
* or indicating pedestriansTraffic (6)
* or indicating cyclistVehicleTraffic (7)
* or indicating trackedVehicleTraffic (8)
* or indicating pedestrianTraffic (9)
* or not indicating any value
* and not containing ingressApproach
* and not containing egressApproach
* or containing element of type GenericLane
* containing laneID
* indicating LANE_ID
* and containing overlays
* indicating list of lanes to be used for the present TP
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_11
* @reference CEN ISO/TS 19091 [4] clause 6.5.14
*/
testcase TC_IS_RLT_GEN_MSGF_BV_11 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_11();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_11
/**
* @desc Check that each lane information contain lane width or default lane width is provided.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_MAPEM_HAS_LANE_WIDTH
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersections
* containing lanes
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing the element of type IntersectionGeometry
* containing laneWidth
* indicating default lane with
* or containing laneSet
* containing all elements of type GenericLane
* containing nodeList
* containing nodes
* containing all elements of type NodeXY
* containing attributes
* containing dWidth
* indicating lane with at the point
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_12
* @reference CEN ISO/TS 19091 [4] clause 6.5.15
*/
testcase TC_IS_RLT_GEN_MSGF_BV_12 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_12();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_12
/**
* @desc Check that default lane width is not included in the RTL message if each lane information contains lane width.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_MAPEM_HAS_LANE_WIDTH
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing map.intersections
* containing all elements of type IntersectionGeometry
* containing laneSet
* containing all elements of type GenericLane
* containing nodeList
* containing nodes
* containing all elements of type NodeXY
* containing attributes
* containing dWidth
* indicating lane with at the point
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing all elements of type IntersectionGeometry
* not containing laneWidth
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_13
* @reference CEN ISO/TS 19091 [4] clause 6.5.16
*/
testcase TC_IS_RLT_GEN_MSGF_BV_13 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_13();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_13
/**
* @desc Check that possible manoevers are encoded in connectsTo data element.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* the RLT service is requested to send a MAPEM
* containing possible manoevers information
* }
* then {
* the IUT sends MAPEM
* containing elements of type IntersectionGeometry
* containing laneSet
* containing elements of type GenericLane
* containing DE connectsTo
* containing information about possible manoeuvers
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_14
* @reference CEN ISO/TS 19091 [4] clauses 6.5.17, G.8.2.3.2
*/
testcase TC_IS_RLT_GEN_MSGF_BV_14 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_14();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_14
/**
* @desc An IUT shall broadcast the signal group identifier, the lanes/approaches associated with the
* signal group, and the lanes/approaches’ allowable manoeuvres.
*
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing intersection
* containing lanes
* containing signalGroup
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing all elements of type IntersectionGeometry
* containing laneSet
* containing all elements of type GenericLane
* containing connectsTo
* containing elements of type Connection
* containing signalGroup
* indicating (SG)
* and containing connectingLane
* containing maneuver
* indicating possible maneuver
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_15
* @reference CEN ISO/TS 19091 [4] clauses 6.5.21
*/
testcase TC_IS_RLT_GEN_MSGF_BV_15 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_15();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_15
/**
* @desc Check that lanes which are crossed by a crosswalk shall use the same ingressApproach /
* egressApproach identifier.
*
* 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
* containing MapData data element
* containing elements of type IntersectionGeometry
* containing more then one element of type GenericLane
* crossed by the same crosswalk lane
* }
* then {
* the IUT sends MAPEM
* containing map.intersections
* containing these elements of type GenericLane
* containing ingressApproach
* indicating the same value
* or containing egressApproach
* indicating the same value
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_16
* @reference CEN ISO/TS 19091 [4] clause G.8.2.3.1
*/
testcase TC_IS_RLT_GEN_MSGF_BV_16 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_16();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_16
/**
* @desc Check that RLT Service transmits MAPEM without data elements not used in ETSI architecture:
* • layerType
* • dataParameters
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_ETSI_STRICT
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* containing a new content
* indicating a value which is not exceeding the allowed message length
* }
* then {
* the IUT sends MAPEM
* containing MapData data element
* not containing layerType
* and not containing layerID
* and not containing dataParameters
* containing elements of type IntersectionGeometry
* containing elements of type GenericLane
* not containing preemptPriorityData
* and not containing maneuvers
* and containing connectsTo
* containing elements of type Connection
* containing connectingLane
* not containing maneuver
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_MSGF_BV_17
* @reference CEN ISO/TS 19091 [4] clause G.8.1.1, G.8.2.1
*/
testcase TC_IS_RLT_GEN_MSGF_BV_17 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_MSGF_BV_17();
} // End of testcase TC_IS_RLT_GEN_MSGF_BV_17
} // End of group mapeMessageFormat
group mapeEventGeneration {
//TODO Toggle comment following 2 tests
/**
* @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.2.5 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.2.5 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 non-fragmented MAPEM without the Layer ID.
*
* 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 {
* the IUT is requested to send a MAPEM
* indicating a map structure which fits the allowed message length
* }
* then {
* the IUT sends a first MAPEM
* containing map
* not containing LayerID
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_FRAG_BV_01
* @reference ETSI TS 103 301 [2], clause 6.4.1
* CEN ISO/TS 19091 [4], clause G.8.3.1
*/
testcase TC_IS_RLT_GEN_FRAG_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_FRAG_BV_01();
} // End of testcase TC_IS_RLT_GEN_FRAG_BV_01
/**
* @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.2.5 TP_IS_RLT_GEN_FRAG_BV_02
* @reference ETSI TS 103 301 [2], clause 6.4.1
* CEN ISO/TS 19091 [4], clause G.8.3.1
*/
testcase TC_IS_RLT_GEN_FRAG_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_FRAG_BV_02();
} // End of testcase TC_IS_RLT_GEN_FRAG_BV_02
} // 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.2.5 TP_IS_RLT_GEN_COM_BV_01
* @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.1
*/
testcase TC_IS_RLT_GEN_COM_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_COM_BV_01();
} // End of testcase TC_IS_RLT_GEN_COM_BV_01
/**
* @desc Check that RLT service generates a MAP message with the revision data element
* synchronized with the revision data element of correspondent SPATEM message.
*
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT already sent MAPEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing elements of type IntersectionGeometry
* containing revision
* indicating value R
* and the IUT has sent SPATEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing elements of type IntersectionState
* containing revision
* indicating value R+1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing the same configuration of the intersection
* }
* then {
* the IUT sends MAPEM
* containing the elements of type IntersectionGeometry
* containing revision
* indicating value R+1
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_COM_BV_02
* @reference CEN ISO/TS 19091 [4], clause G.8.2.5.1
*/
// testcase TC_IS_RLT_GEN_COM_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
//
// f_IS_RLT_GEN_COM_BV_02();
//
// } // End of testcase TC_IS_RLT_GEN_COM_BV_02
/**
* @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 already sent MAPEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing elements of type IntersectionGeometry
* containing revision
* indicating value R
* and the IUT has sent SPATEM
* containing id of type IntersectionReferenceID
* indicating ID
* and containing elements of type IntersectionState
* containing revision
* indicating value R+1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is triggered to send the MAPEM
* containing the same configuration of the intersection
* }
* then {
* the IUT sends a valid MAPEM
* containing the elements of type IntersectionGeometry
* containing revision
* indicating value R+1
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_COM_BV_03
* @reference CEN ISO/TS 19091 Clause G.8.2.5.1
*/
testcase TC_IS_RLT_GEN_COM_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_COM_BV_03();
} // End of testcase TC_IS_RLT_GEN_COM_BV_03
/**
* @desc Check that MAPEM uses BTP_B packet
* 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 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.2.5 TP_IS_RLT_GEN_COM_BV_04
* @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_COM_BV_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_COM_BV_04();
} // End of testcase TC_IS_RLT_GEN_COM_BV_04
/**
* @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.2.5 TP_IS_RLT_GEN_COM_BV_05
* @reference ETSI TS 103 301 v1.1.1 Clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_COM_BV_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_COM_BV_05();
} // End of testcase TC_IS_RLT_GEN_COM_BV_05
} // End of group mapeCommunication
} // End of group mapeMessageDissemination
group mapeMessageProcessing {
/**
* @desc Check that RLT service uses certificate containing valid ITS AID to sign MAPEM messages.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is operating in secured mode
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* an IUT is triggered to send a MAPEM
* }
* then {
* the IUT sends a valid MAPEM
* containing a correctly formatted Security Header as a EtsiTs103097Data structure
* containing signedData.tbsData.headerInfo
* containing psid
* indicating ITS_AID_MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SEC_BV_01
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_SEC_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SEC_BV_01();
} // End of testcase TC_IS_RLT_GEN_SEC_BV_01
/**
* @desc Check that TLM service uses generic security profile to sign MAPEM message and does not
* include additional security header elements.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is operating in secured mode
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a SPATEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* containing a correctly formatted Security Header as a EtsiTs103097Data structure
* containing signedData.tbsData.headerInfo
* containing psid
* indicating ITS_AID_MAPEM
* and containing generationTime
* indicating realistic generation time
* and optionally containing generationLocation
* and not containing other header items
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SEC_BV_02
* @reference ETSI TS 103 301 [2], clause 12
*/
testcase TC_IS_RLT_GEN_SEC_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SEC_BV_02();
} // End of testcase TC_IS_RLT_GEN_SEC_BV_02
/**
* @desc Check that RLT service uses certificate containing valid Service Specific Permissions of
* type BitmapSsp to sign MAPEM messages and the SSP version is set to 1.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT is operating in secured mode
* and the IUT is authorized to sign MAPEM with the certificate CERT_MAP_SSP_NONE
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating other bits set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a MAPEM
* containing map
* not containing intersections
* and not containing roadSegments
* }
* then {
* the IUT sends a MAPEM
* signed with the CERT_SPAT_SSP_NONE
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SSP_BV_01
* @reference ETSI TS 103 301 [2], clause 4.5.1
*/
testcase TC_IS_RLT_GEN_SSP_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SSP_BV_01();
} // End of testcase TC_IS_RLT_GEN_SSP_BV_01
/**
* @desc Check that RLT service sends a MAPEM message containing intersections when it is
* permitted by the signing certificate.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT is operating in secured mode
* and the IUT is authorized to sign MAPEM with the certificate CERT_MAP_SSP_1
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating bit at position 0 of octet 1 set to 1
* and indicating other bits set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a MAPEM
* containing map
* containing intersections
* and not containing roadSegments
* }
* then {
* the IUT sends a MAPEM
* signed with the CERT_SPAT_SSP_1
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SSP_BV_02
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_SSP_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SSP_BV_02();
} // End of testcase TC_IS_RLT_GEN_SSP_BV_02
/**
* @desc Check that RLT service does not send a MAPEM message containing intersections if it is not
* permitted by the certificate.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT is operating in secured mode
* and the IUT is authorized to sign MAPEM with the certificate CERT_MAP_SSP_NONE
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating other bits set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a MAPEM
* containing map
* containing intersections
* and not containing roadSegments
* }
* then {
* the IUT doesn’t send a MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SSP_BO_03
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_SSP_BO_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SSP_BO_03();
} // End of testcase TC_IS_RLT_GEN_SSP_BO_03
/**
* @desc Check that RLT service sends a MAPEM message containing roadSegments when it is
* permitted by the signing certificate.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT is operating in secured mode
* and the IUT is authorized to sign MAPEM with the certificate CERT_MAP_SSP_2
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating bit at position 1 of octet 1 set to 1
* and indicating other bits set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a MAPEM
* containing map
* containing roadSegments
* and not containing intersections
* }
* then {
* the IUT sends a MAPEM
* signed with the CERT_SPAT_SSP_2
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SSP_BV_04
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_SSP_BV_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SSP_BV_04();
} // End of testcase TC_IS_RLT_GEN_SSP_BV_04
/**
* @desc Check that RLT service does not send a MAPEM message containing roadSegments if it is
* not permitted by the certificate.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* and the IUT is operating in secured mode
* and the IUT is authorized to sign MAPEM with the certificate CERT_MAP_SSP_NONE
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating other bits set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is requested to generate a MAPEM
* containing map
* containing roadSegments
* and not containing intersections
* }
* then {
* the IUT doesn’t send a MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_SSP_BO_05
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_GEN_SSP_BO_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_SSP_BO_05();
} // End of testcase TC_IS_RLT_GEN_SSP_BO_05
/**
* @desc Check that RLT service sends a MAPEM message containing roadSegments when it is
* permitted by the signing certificate.
*
* Pics Selection: PICS_MAPEM_GENERATION AND PICS_MAPEM_TRANSMISSION_RATE
* Initial conditions:
* with {
* the IUT being in the "MAPEM initial state"
* the IUT has sent MAPEM message at TIME_1
* }
* Expected behaviour:
* ensure that {
* when {
* UIT is triggered to send a next MAPEM
* }
* then {
* the IUT sends MAPEM at TIME_2
* indicating DELTA = TIME_2 - TIME_1
* where DELTA is less than 2 second and more then 500ms
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_GEN_RATE_BV_01
* @reference CEN ISO/TS 19091 [4], clauses 6.15
*/
testcase TC_IS_RLT_GEN_RATE_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_RATE_BV_01();
} // End of testcase TC_IS_RLT_GEN_RATE_BV_01
/**
* @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.2.5 TP_IS_RLT_GEN_RCV_BV_03
* @reference ETSI TS 103 301 v1.1.1 Clause 6.3
*/
testcase TC_IS_RLT_GEN_RCV_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_GEN_RCV_BV_03();
} // End of testcase TC_IS_RLT_GEN_RCV_BV_03
/**
* @desc Check that the IUT accepts the MAPEM signed with valid certificate.
*
* Pics Selection: PICS_MAPEM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is operating in secured mode
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a MAPEM
* containing spat
* not containing intersections
* and not containing roadSegments
* and signed with the certificate
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating other bits set to 0
* }
* then {
* the IUT accepts the received MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_RCV_SEC_BV_01
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_RCV_SEC_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_RCV_SEC_BV_01();
} // End of testcase TC_IS_RLT_RCV_SEC_BV_01
/**
* @desc Check that the IUT skips the MAPEM signed with certificate without permissions to sign
* MAPEM.
*
* Pics Selection: PICS_MAPEM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is operating in secured mode
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a MAPEM
* containing spat
* not containing intersections
* and not containing roadSegments
* and signed with the certificate
* not containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* }
* then {
* the IUT skips the received MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_RCV_SEC_BO_02
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_RCV_SEC_BO_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_RCV_SEC_BO_02();
} // End of testcase TC_IS_RLT_RCV_SEC_BO_02
/**
* @desc Check that the IUT skips the MAPEM containing intersections signed with certificate without
* service specific permissions (SSP) to sign such a MAPEM.
*
* Pics Selection: PICS_MAPEM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is operating in secured mode
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a MAPEM
* containing spat
* containing intersections
* and not containing roadSegments
* and signed with the certificate
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating other bits set to 0
* }
* then {
* the IUT skips the received MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_RCV_SEC_BO_03
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_RCV_SEC_BO_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_RCV_SEC_BO_03();
} // End of testcase TC_IS_RLT_RCV_SEC_BO_03
/**
* @desc Check that the IUT skips the MAPEM containing roadSegments signed with certificate
* without service specific permissions (SSP) to sign such a MAPEM
*
* Pics Selection: PICS_MAPEM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is operating in secured mode
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a MAPEM
* containing spat
* containing roadSegments
* and not containing intersections
* and signed with the certificate
* containing appPermission item
* containing psid
* indicating ITS_AID_MAPEM
* containing bitmapSSP
* indicating octet at position 0 set to 0x01
* and indicating other bits set to 0
* }
* then {
* the IUT skips the received MAPEM
* }
* }
*
*
* @version 1.1.1
* @see ETSI TS 103 191-2 v1.2.5 TP_IS_RLT_RCV_SEC_BO_04
* @reference ETSI TS 103 301 [2], clause 6.4.3.2
*/
testcase TC_IS_RLT_RCV_SEC_BO_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_RCV_SEC_BO_04();
} // End of testcase TC_IS_RLT_RCV_SEC_BO_04
} // End of group mapeMessageProcessing
} // End of module ItsMapem_TestCases