ItsIvim_TestCases.ttcn

             *                 containing ivi
             *                     containing optional
             *                         containing elements of type LayoutContainer
             *                             containing layoutId
             *                                 indicating LID
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_GENAPP_BV_06
             * @reference CEN ISO TS/19321 [5], clause 6.3.4.2
             */
            testcase TC_IS_IVI_GEN_GENAPP_BV_06() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_GENAPP_BV_06();
                
            } // End of TC_IS_IVI_GEN_GENAPP_BV_06
            
        } // End of group iviGeneralApplicationContainer
        
        group iviRoadConfigurationContainer{
            
            /**
             * @desc Check that all zone IDs in the Road Configuration Container references existing items in the Location Container of the same IVIM Structure.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_ROAD_CFG_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of types RoadConfigurationContainer
             *                             containing elements of types RccPart
             *                                 containing relevanceZoneIds
             *                                     containing RZ_IDs
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of types GeographicLocationContainer
             *                             containing all zones referenced from RZ_IDs
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_RCC_BV_01
             * @reference CEN ISO TS/19321 [5], clause 6.3.3.2
             */
            testcase TC_IS_IVI_GEN_RCC_BV_01() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_RCC_BV_01();
                
            } // End of TC_IS_IVI_GEN_RCC_BV_01
            
            /**
             * @desc Check that all Parts that relate to the same Location Container are included in the same Road Configuration Container.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_ROAD_CFG_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing multiple RoadConfigurationContainer
             *                 and containing multiple GeographicLocationContainer
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of types RoadConfigurationContainer
             *                             containing elements of types RccPart
             *                                 containing relevanceZoneIds
             *                                     referencing the GeographicLocationContainer (GLC)
             *                         and not containing other elements of types RoadConfigurationContainer
             *                             containing elements of types RccPart
             *                                 containing relevanceZoneIds
             *                                     referencing the same GeographicLocationContainer (GLC)
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_RCC_BV_02
             * @reference CEN ISO TS/19321 [5], clause 6.3.3.2
             */
            testcase TC_IS_IVI_GEN_RCC_BV_02() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_RCC_BV_02();
                
            } // End of TC_IS_IVI_GEN_RCC_BV_02
            
            /**
             * @desc Check that Road Configuration Container contains description of all present lanes. 
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_ROAD_CFG_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *         and the IUT has sent or received MAPEM
             *             containing description of the target road
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing RoadConfigurationContainer
             *                     containing description of the target road
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing element of types RoadConfigurationContainer
             *                             containing element of types RccPart
             *                                 containing laneConfiguration
             *                                     containing elements of type LaneInformation
             *                                         describing all existing lanes of the target road
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_RCC_BV_03
             * @reference CEN ISO TS/19321 [5], clause 6.3.3.2
             */
            testcase TC_IS_IVI_GEN_RCC_BV_03() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_RCC_BV_03();
                
            } // End of TC_IS_IVI_GEN_RCC_BV_03
            
        } // End of group iviRoadConfigurationContainer
        
        group iviTextContainer{
            
            /**
             * @desc Check that all zone IDs in the Text Container references existing items in the Location Container of the same IVIM Structure.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_TEXT_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing one or more TextContainer
             *                     containing elements of types TcPart
             *                         containing relevanceZoneIds
             *                             containing RZ_IDs
             *                         and optionally containing detectionZoneIds
             *                             containing DZ_IDs
             *                         and optionally containing driverAwarenessZoneIds
             *                             containing DAZ_IDs
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of types GeographicLocationContainer
             *                             containing all zones referenced from RZ_IDs, DZ_IDs and DAZ_IDs
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_TEXT_BV_01
             * @reference CEN ISO TS/19321 [5], clause 6.3.4.2
             */
            testcase TC_IS_IVI_GEN_TEXT_BV_01() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_TEXT_BV_01();
                
            } // End of TC__IS_IVI_GEN_TEXT_BV_01
            
            /**
             * @desc The sending ITS-S shall include the component direction to describe the direction of 
             *       relevance within a Relevance Zone representing a road segment.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_TEXT_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing Text Containers
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of type TextContainer
             *                             containing element of type TcPart
             *                                 containing direction
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_TEXT_BV_02
             * @reference CEN ISO TS/19321 [5], clause 6.3.4.2
             */
            testcase TC_IS_IVI_GEN_TEXT_BV_02() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_TEXT_BV_02();
                
            } // End of TC__IS_IVI_GEN_TEXT_BV_02
            
            /**
             * @desc The IUT can include either the component text and/or the component data. The IUT can repeat 
             *       the text in the component text in different languages with the appropriate unique language code
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_TEXT_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing Text Containers
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of type TextContainer
             *                             containing element of type TcPart
             *                                 containing non-empty data
             *                                 and/or containing text
             *                                     containing elements of type Text
             *                                         containing language
             *                                         indicating unique language code
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_TEXT_BV_03
             * @reference CEN ISO TS/19321 [5], clause 6.3.4.2
             */
            testcase TC_IS_IVI_GEN_TEXT_BV_03() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_TEXT_BV_03();
                
            } // End of TC__IS_IVI_GEN_TEXT_BV_03
            
            /**
             * @desc Check that all layoutID of the Text Containers references existing layouts in the Layout Containers of the same IVIM Structure.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IVIM_HAS_TEXT_CONTAINER AND PICS_IVIM_HAS_LAYOUT_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT sending IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             containing ivi
             *                 containing optional
             *                     containing elements of type TextContainer
             *                         containing element of type TcPart
             *                             containing layoutId (LID)
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing elements of type LayoutContainer
             *                             containing layoutId
             *                                 indicating LID
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_TEXT_BV_04
             * @reference CEN ISO TS/19321 [5], clause 6.3.4.2
             */
            testcase TC_IS_IVI_GEN_TEXT_BV_04() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_TEXT_BV_04();
                
            } // End of TC__IS_IVI_GEN_TEXT_BV_04
            
        } // End of group iviTextContainer
        
        group iviGenerationFrequency {
            
            /**
             * @desc Check that IVIMs are not generated more frequently than T_GenIvimMin
             * <pre>
             * Pics Selection: PICS_T_GENIVIMMIN and PICS_IVIM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT sends a IVIM
             *        }
             *        then {
             *            the IUT does not send any IVIM before expiry of T_GenIvimMin
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_GFQ_TI_01
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_GFQ_TI_01 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_GFQ_TI_01();
                
            } // End of testcase TC_IS_IVI_GEN_GFQ_TI_01
            
            /**
             * @desc Check that IVIMs are not generated less frequently than T_GenIvimMax
             * <pre>
             * Pics Selection: PICS_T_GENIVIMMAX and PICS_IVIM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT sends a IVIM
             *        }
             *        then {
             *            the IUT sends another IVIM before expiry of T_GenIvimMax
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_GFQ_TI_02
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_GFQ_TI_02 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_GFQ_TI_02();
                
            } // End of testcase TC_IS_IVI_GEN_GFQ_TI_02
            
        } // End of group iviGenerationFrequency
        
        group iviEventRepetition {
            
            /**
             * @desc Check that the IUT activates repetition on reception of a valid AppIVIM_Update request
             * <pre>
             * Pics Selection: PICS_IVIM_UPDATE
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *            containing ivi
             *                containing mandatory
             *                    containing iviIdentificationNumber 
             *                        indicating IVIM_ID_1
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppIVIM_Update indicating 'repetition interval' RI_1
             *        }
             *        then {
             *            the IUT sends IVIM with respect to the 'repetition interval' RI_1
             *                containing ivi
             *                    containing mandatory
             *                        containing iviIdentificationNumber 
             *                            indicating IVIM_ID_1
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_EVRP_BV_01
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_EVRP_BV_01 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_EVRP_BV_01();
                
            } // End of testcase TC_IS_IVI_GEN_EVRP_BV_01
            
            /**
             * @desc Check that the IUT activates repetition on reception of a valid AppIVIM_Update request
             * <pre>
             * Pics Selection: PICS_IVIM_UPDATE
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *            containing ivi
             *                containing mandatory
             *                    containing iviIdentificationNumber 
             *                        indicating IVIM_ID_1
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppIVIM_Update indicating 'repetition interval' 0
             *        }
             *        then {
             *            the IUT stops sending IVIM associated with IVIM_ID_1
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_EVRP_BV_02
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_EVRP_BV_02 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_EVRP_BV_02();
                
            } // End of testcase TC_IS_IVI_GEN_EVRP_BV_02
            
        } // End of group iviEventRepetition
        
        group iviEventTermination {
            
            /**
             * @desc Check that the IUT terminates IVM genration on validity duration expery
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *            containing ivi
             *                containing mandatory
             *                    containing iviIdentificationNumber 
             *                        indicating IVIM_ID_1
             *                and containing validTo
             *                    indicating CLT + 10 seconds
             *                and containing iviStatus
             *                    indicating 'new'
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT is alerted of expiration of the time associated with validTo
             *        }
             *        then {
             *            the IUT stops ending IVIM associated with IVIM_ID_1
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_EVTR_BV_01
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_EVTR_BV_01 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_EVTR_BV_01();
                
            } // End of testcase TC_IS_IVI_GEN_EVTR_BV_01
            
            /**
             * @desc Check that the IUT terminates IVM genration on termination request
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *            containing ivi
             *                containing mandatory
             *                    containing iviIdentificationNumber 
             *                        indicating IVIM_ID_1
             *                and not containing validTo
             *                and containing iviStatus
             *                    indicating 'new'
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppIVIM_termination request associated with IVIM_ID_1
             *        }
             *        then {
             *            the IUT stops ending IVIM associated with IVIM_ID_1
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_EVTR_BV_02
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_EVTR_BV_02 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_EVTR_BV_02();
                
            } // End of testcase TC_IS_IVI_GEN_EVTR_BV_02
            
            /**
             * @desc Check that the IUT terminates IVM generation on cancellation request.
             * <pre>
             * Pics Selection: PICS_IVI_CANCELLATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *            containing ivi
             *                containing mandatory
             *                    containing iviIdentificationNumber 
             *                        indicating IVIM_ID_1
             *                    and containing serviceProviderId
             *                        indicating IVIM_SP_1
             *                    and containing iviStatus
             *                        indicating 'new'
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppIVIM_termination request associated with IVIM_ID_1
             *        }
             *        then {
             *            the IUT sends a valid IVIM
             *                containing ivi
             *                    containing mandatory
             *                        containing iviIdentificationNumber 
             *                            indicating IVIM_ID_1
             *                        and containing timeStamp
             *                            indication IVM_CLT_1
             *                        and containing iviStatus
             *                            indicating 'cancellation' 
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_EVTR_BV_03
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_EVTR_BV_03 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_EVTR_BV_03();
                
            } // End of testcase TC_IS_IVI_GEN_EVTR_BV_03
            
            /**
             * @desc Check that the IUT terminates IVM generation on negation request 
             * <pre>
             * Pics Selection: PICS_IVI_NEGATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT having generated several IVIM
             *                containing ivi
             *                    containing mandatory
             *                        containing iviIdentificationNumber 
             *                            indicating IVIM_ID_1
             *                        and containing timeStamp
             *                            indication IVM_CLT_1
             *                        and containing iviStatus
             *                            indicating 'negation'
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppIVIM_termination request associated with IVIM_ID_1
             *        }
             *        then {
             *            the IUT stops ending IVIM associated with IVIM_ID_1
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_EVTR_BV_04
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.2
             */
            testcase TC_IS_IVI_GEN_EVTR_BV_04 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_EVTR_BV_04();
                
            } // End of testcase TC_IS_IVI_GEN_EVTR_BV_04
            
        } // End of group iviEventTermination
        
        group iviCommunication {
            
            /**
             * @desc Check that IVIM uses BTP_B packet
             *       Check that the destination port for IVIM is set to 2006
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending IVIM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            an IVIM is generated
             *        }
             *        then {
             *            the IUT sends a valid IVIM
             *                encapsulated in a BTP-B packet
             *                    containing a destination port value set to '2006'
             *                    and containing a destination port info value set to '0' 
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_COM_BV_01
             * @reference ETSI TS 103 301 v1.1.1 clauses 10.2 and 7.4.3.2
             */
            testcase TC_IS_IVI_GEN_COM_BV_01 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_COM_BV_01();
                
            } // End of testcase TC_IS_IVI_GEN_COM_BV_01
            
            /**
             * @desc Check that IVI service encapsulates IVIM in a UNC with the HeaderType field set to the value of 2.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending IVIM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            a IVIM is generated
             *        }
             *        then {
             *            the IUT sends a valid IVIM
             *                encapsulated in a UNC packet
             *                    containing a correctly formatted Common Header
             *                        containing HeaderType field
             *                            indicating the value '2'
             *        }
             *    }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_COM_BV_02
             * @reference ETSI TS 103 301 v1.1.1 Clause 7.4.3.2
             */
            testcase TC_IS_IVI_GEN_COM_BV_02 () runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_COM_BV_02();
                
            } // End of testcase TC_IS_IVI_GEN_COM_BV_02
            
        } // End of group iviCommunication
        
        group iviSecurityParameters{
            
            /**
             * @desc Check that IVI service uses certificate containing valid ITS AID to sign IVIM.
             * <pre>
             * Pics Selection: PICS_IVIM_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 IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing a correctly formatted Security Header as a EtsiTs103097Data structure
             *                     containing signedData.tbsData.headerInfo 
             *                         containing psid 
             *                             indicating ITS_AID_IVIM
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SEC_BV_01
             * @reference ETSI TS 103 301 [2], clause 6.4.3.2
             */
            testcase TC_IS_IVI_GEN_SEC_BV_01() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SEC_BV_01();
                
            } // End of TC_IS_IVI_GEN_SEC_BV_01
            
            /**
             * @desc Check that IVI service uses certificate containing valid ITS AID to sign IVIM.
             * <pre>
             * Pics Selection: PICS_IVIM_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 IVIM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a IVIM is generated
             *         }
             *         then {
             *             the IUT sends a valid IVIM
             *                 containing a correctly formatted Security Header as a EtsiTs103097Data structure
             *                     containing signedData.tbsData.headerInfo 
             *                         containing psid 
             *                             indicating ITS_AID_IVIM
             *                         and containing generationTime
             *                             indicating realistic generation time
             *                         and optionally containing generationLocation
             *                         and not containing other header items
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SEC_BV_02
             * @reference ETSI TS 103 301 [2], clause 12
             */
            testcase TC_IS_IVI_GEN_SEC_BV_02() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SEC_BV_02();
                
            } // End of TC_IS_IVI_GEN_SEC_BV_02
            
            /**
             * @desc Check that IVI service uses certificate containing valid Service Specific Permissions of type BitmapSsp 
             *       to sign IVIM from the given service provider and the SSP version is set to 1.
             * <pre>
             * Pics Selection: PICS_IVIM_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 is authorized to sign IVIM with the certificate CERT_IVI_SSP_NONE
             *             containing appPermission item
             *                 containing psid
             *                     indicating ITS_AID_IVIM 
             *                 containing bitmapSSP
             *                     indicating octet at position 0 set to 0x01
             *                     and indicating octets at positions 1-3 set to IVI_SP_VALUE
             *                     and indicating other bits set to 0
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing mandatory
             *                         containing serviceProviderId
             *                             indicating IVI_SP_VALUE
             *                         and containing iviStatus
             *                             indicating ‘new’
             *                         and not containing optional
             *         }
             *         then {
             *             the IUT sends an IVIM
             *                 signed with the CERT_IVI_SSP_NONE
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SSP_BV_01
             * @reference ETSI TS 103 301 [2], clause 4.5.1
             */
            testcase TC_IS_IVI_GEN_SSP_BV_01() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SSP_BV_01();
                
            } // End of TC_IS_IVI_GEN_SSP_BV_01
            
            /**
             * @desc Check that IVI service sends an IVIM containing different road signs schema when it is permitted by 
             *       the signing certificate 
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IS_IUT_SECURED AND PICS_IVIM_RSCODE_VIENNACONV AND PICS_IVIM_RSCODE_SAEJ2540
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT is operating in secured mode
             *         and the IUT is authorized to sign IVIM with the certificate CERT_IVI_SSP_X
             *             containing appPermission item
             *                 containing psid
             *                     indicating ITS_AID_IVIM 
             *                 and containing bitmapSSP
             *                     indicating bit BIT_X of octet OCTET_X set to 1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing element of type GeneralIviContainer
             *                             containing element of type GicPart
             *                                 containing roadSignCodes
             *                                     containing elements of type RSCode
             *                                         containing code
             *                                             containing COMPONENT_X
             *         }
             *         then {
             *             the IUT sends an IVIM
             *                 signed with the CERT_IVI_SSP_X
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SSP_BV_02
             * @reference ETSI TS 103 301 [2], clause 6.4.3.2
             */
            testcase TC_IS_IVI_GEN_SSP_BV_02() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SSP_BV_02();
                
            } // End of TC_IS_IVI_GEN_SSP_BV_02
            
            /**
             * @desc Check that IVI service sends an IVIM containing ISO/TS 14823 road signs codes of different service categories 
             *       when it is permitted by the signing certificate
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IS_IUT_SECURED AND PICS_IVIM_RSCODE_ISO14823
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT is operating in secured mode
             *         and the IUT is authorized to sign IVIM with the certificate CERT_IVI_SSP_X
             *             containing appPermission item
             *                 containing psid
             *                     indicating ITS_AID_IVIM 
             *                 and containing bitmapSSP
             *                     indicating bit BIT_X of octet OCTET_X set to 1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing element of type GeneralIviContainer
             *                             containing element of type GicPart
             *                                 containing roadSignCodes
             *                                     containing elements of type RSCode
             *                                         containing code
             *                                             containing iso14823.pictogramCode.serviceCategoryCode
             *                                         containing COMPONENT_X
             *         }
             *         then {
             *             the IUT sends an IVIM
             *                 signed with the CERT_IVI_SSP_X
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SSP_BV_03
             * @reference ETSI TS 103 301 [2], clause 6.4.3.2
             */
            testcase TC_IS_IVI_GEN_SSP_BV_03() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SSP_BV_03();
                
            } // End of TC_IS_IVI_GEN_SSP_BV_03
            
            /**
             * @desc Check that IVI service sends an IVIM containing lane status when it is permitted by the signing 
             *       certificate.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IS_IUT_SECURED AND PICS_IVIM_RSCODE_ISO14823
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT is operating in secured mode
             *         and the IUT is authorized to sign IVIM with the certificate CERT_IVI_SSP_LS
             *             containing appPermission item
             *                 containing psid
             *                     indicating ITS_AID_IVIM 
             *                 and containing bitmapSSP
             *                     indicating bit 0 of octet 5 set to 1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing element of type GeneralIviContainer
             *                             containing element of type GicPart
             *                                 containing laneStatus
             *         }
             *         then {
             *             the IUT sends an IVIM
             *                 signed with the CERT_IVI_SSP_LS
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SSP_BV_04
             * @reference ETSI TS 103 301 [2],clause 6.4.3.2
             */
            testcase TC_IS_IVI_GEN_SSP_BV_04() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SSP_BV_04();
                
            } // End of TC_IS_IVI_GEN_SSP_BV_04
            
            /**
             * @desc Check that IVI service sends an IVIM containing different containers when it is permitted by the signing 
             *       certificate.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IS_IUT_SECURED AND PICS_IVIM_HAS_ROAD_CFG_CONTAINER AND PICS_IVIM_HAS_TEXT_CONTAINER AND PICS_IVIM_HAS_LAYOUT_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT is operating in secured mode
             *         and the IUT is authorized to sign IVIM with the certificate CERT_IVI_SSP_X
             *             containing appPermission item
             *                 containing psid
             *                     indicating ITS_AID_IVIM 
             *                 and containing bitmapSSP
             *                     indicating bit BIT_X of octet OCTET_X set to 1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing optional
             *                         containing element of type CONTAINER_X
             *         }
             *         then {
             *             the IUT sends an IVIM
             *                 signed with the CERT_IVI_SSP_X
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SSP_BV_05
             * @reference ETSI TS 103 301 [2], clause 6.4.3.2
             */
            testcase TC_IS_IVI_GEN_SSP_BV_05() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SSP_BV_05();
                
            } // End of TC_IS_IVI_GEN_SSP_BV_05
            
            /**
             * @desc Check that IVI service sends an IVI negation when it is permitted by the signing certificate.
             * <pre>
             * Pics Selection: PICS_IVIM_GENERATION AND PICS_IS_IUT_SECURED AND PICS_IVIM_HAS_ROAD_CFG_CONTAINER AND PICS_IVIM_HAS_TEXT_CONTAINER AND PICS_IVIM_HAS_LAYOUT_CONTAINER
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT is operating in secured mode
             *         and the IUT is authorized to sign IVIM with the certificate CERT_IVI_SSP_NEG
             *             containing appPermission item
             *                 containing psid
             *                     indicating ITS_AID_IVIM 
             *                 and containing bitmapSSP
             *                     indicating bit 4 of octet 5 set to 1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT is requested to generate an IVIM
             *                 containing ivi
             *                     containing mandatory
             *                         containing iviStatus
             *                             indnicating ‘negation’
             *         }
             *         then {
             *             the IUT sends an IVIM
             *                 signed with the CERT_IVI_SSP_NEG
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_GEN_SSP_BV_06
             * @reference ETSI TS 103 301 [2], clause 6.4.3.2
             */
            testcase TC_IS_IVI_GEN_SSP_BV_06() runs on ItsIvim system ItsIvimSystem {
                
                f_IS_IVI_GEN_SSP_BV_06();
                
            } // End of TC_IS_IVI_GEN_SSP_BV_06