ItsIvim_TestCases.ttcn

         *                                         containing code
         *                                             containing iso14823.pictogramCode.serviceCategoryCode
         *                                                 containing COMPONENT_X
         *                 and signed with the certificate
         *                     containing psid
         *                         indicating ITS_AID_IVIM 
         *                     and containing appPermission item
         *                         containing bitmapSSP
         *                             and indicating bit BIT_X of octet OCTET_X set to 0
         *         }
         *         then {
         *             the IUT skips the received IVIM
         *         }
         *     }
         * </pre>
         * 
         * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_RCV_SSP_BV_04
         * @reference ETSI TS 103 301 [2], clause 6.4.3.2
         */
        testcase TC_IS_IVI_RCV_SSP_BO_04() runs on ItsIvim system ItsIvimSystem {
            
            f_IS_IVI_RCV_SSP_BO_04();
            
        } // end TC_IS_IVI_RCV_SSP_BO_04
        
        /**
         * @desc Check that IVI service skips a received IVIM containing lane status when it 
         *       is not permitted by the signing certificate.
         * <pre>
         * Pics Selection: PICS_IVIM_RECEPTION 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
         *     }
         * Expected behaviour:
         *     ensure that {
         *         when {
         *             the IUT receives a valid IVIM
         *                 containing ivi
         *                     containing optional
         *                         containing element of type GeneralIviContainer
         *                             containing element of type GicPart
         *                                 containing laneStatus
         *                 and signed with the certificate
         *                     containing psid
         *                         indicating ITS_AID_IVIM 
         *                     and containing appPermission item
         *                         containing bitmapSSP
         *                             indicating bit 0 of octet 5 set to 0
         *         }
         *         then {
         *             the IUT skips the received IVIM
         *         }
         *     }
         * </pre>
         * 
         * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_RCV_SSP_BV_05
         * @reference ETSI TS 103 301 [2], clause 6.4.3.2
         */
        testcase TC_IS_IVI_RCV_SSP_BO_05() runs on ItsIvim system ItsIvimSystem {
            
            f_IS_IVI_RCV_SSP_BO_05();
            
        } // end TC_IS_IVI_RCV_SSP_BO_05
        
        /**
         * @desc Check that IVI service skips a received IVIM containing different containers when 
         *       it is not permitted by the signing certificate.
         * <pre>
         * Pics Selection: PICS_IVIM_RECEPTION 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
         *     }
         * Expected behaviour:
         *     ensure that {
         *         when {
         *             the IUT receives a valid IVIM
         *                 containing ivi
         *                     containing optional
         *                         containing element of type CONTAINER_X
         *                 and signed with the certificate
         *                     containing psid
         *                         indicating ITS_AID_IVIM 
         *                     and containing appPermission item
         *                         containing bitmapSSP
         *                             indicating bit BIT_X of octet OCTET_X set to 0
         *         }
         *         then {
         *             the IUT skips the received IVIM
         *         }
         *     }
         * </pre>
         * 
         * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_RCV_SSP_BV_06
         * @reference ETSI TS 103 301 [2], clause 6.4.3.2
         */
        testcase TC_IS_IVI_RCV_SSP_BO_06() runs on ItsIvim system ItsIvimSystem {
            
            f_IS_IVI_RCV_SSP_BO_06();
            
        } // end TC_IS_IVI_RCV_SSP_BO_06
        
        /**
         * @desc Check that IVI service skips a received IVI negation when it is 
         *       not permitted by the signing certificate.
         * <pre>
         * Pics Selection: PICS_IVIM_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 valid IVIM
         *                 containing ivi
         *                     containing mandatory
         *                         containing iviStatus
         *                             indnicating ‘negation’
         *                 and signed with the certificate
         *                     containing psid
         *                         indicating ITS_AID_IVIM 
         *                     and containing appPermission item
         *                         containing bitmapSSP
         *                             indicating bit 4 of octet 5 set to 0
         *         }
         *         then {
         *             the IUT skips the received IVIM
         *         }
         *     }
         * </pre>
         * 
         * @see       ETSI TS 103 191-2 v1.2.5 TP_IS_IVI_RCV_SSP_BV_07
         * @reference ETSI TS 103 301 [2], clause 6.4.3.2
         */
        testcase TC_IS_IVI_RCV_SSP_BO_07() runs on ItsIvim system ItsIvimSystem {
            
            f_IS_IVI_RCV_SSP_BO_07();
            
        } // end TC_IS_IVI_RCV_SSP_BO_07
        
    } // End of group iviMessageReception
    
} // End of module ItsIvim_TestCases