ItsMapem_TestCases.ttcn

             *    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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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 
             * <pre>
             * 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'
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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'
             *        }
             *    }
             * </pre>
             * 
             * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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 
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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.
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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 
         * <pre>
         * 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
         *        }
         *    }
         * </pre>
         * 
         * @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