Skip to content
GitLab
Find file Normal viewHistoryPermalink
ItsSecurity_TestCases.ttcn3 1.4 MB
Newer Older
garciay's avatar
STF507: Week #7  
garciay committed
19001 19002 19003 19004 19005 19006 19007 19008 19009 19010 19011 19012 19013 19014 19015 19016 19017 19018 19019 19020 19021 19022 19023 19024 19025 19026 19027 19028 
             * @desc    Check that IUT is able to receive a secured GN Message if the signer_info header field is not encoded first.
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A) 
             *          and containing header_fields[0].type
             *              indicating 'generation_time'
             *          and containing header_fields[1].type
             *              indicating 'generation_location'
             *          and containing header_fields[2].type
             *              containing its_aid
             *                  indicating 'AID_BEACON'
             *          and containing header_fields[3].type
             *              indicating 'signer_info'
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
19029 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_03_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19030 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19031 19032 19033 19034 19035 19036 19037 19038 19039 
             */
            testcase TC_SEC_ITSS_RCV_GENMSG_04_03_BO() runs on ItsMtc system ItsSecSystem {
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19040 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19041 19042 19043 19044 19045 19046 19047 19048 19049 19050 19051 19052 19053 19054 19055 19056 19057 19058 19059 19060 19061 19062 19063 19064 19065 19066 19067 19068 19069 19070 19071 19072 19073 19074 19075 19076 19077 19078 19079 19080 19081 19082 19083 19084 19085 19086 19087 19088 19089 19090 19091 19092 19093 19094 19095 19096 19097 19098 19099 19100 19101 19102 19103 19104 19105 19106 19107 19108 19109 19110 19111 19112 19113 19114 19115 19116 19117 19118 19119 19120 19121 19122 19123 19124 19125 19126 19127 19128 19129 19130 19131 19132 19133 19134 19135 19136 19137 19138 19139 19140 19141 19142 19143 19144 19145 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_03_BO());
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
                
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_03_BO
            
            group g_TC_SEC_ITSS_RCV_GENMSG_04_03_BO {
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
                function f_TC_SEC_ITSS_RCV_GENMSG_04_03_BO() runs on ItsGeoNetworking {
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
                            ),
                            m_header_field_its_aid_Other,
                            m_header_field_signer_info(
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            ))
                        }, 
                        e_certificate_digest_with_sha256,
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                    
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_03_BO
                
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_03_BO 
            
            /**
             * @desc    Check that IUT discards a secured GN Message if the message contains more than one header field of type 'generation_time'
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *              indicating 'generation_time'
             *          and containing header_fields[3].type
             *              indicating 'generation_time'
             *          and containing header_fields[4].type
             *              containing its_aid
             *                  indicating 'AID_BEACON'
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
19146 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_04_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19147 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19148 19149 19150 19151 19152 19153 19154 19155 19156 
             */
            testcase TC_SEC_ITSS_RCV_GENMSG_04_04_BO() runs on ItsMtc system ItsSecSystem {
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19157 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19158 19159 19160 19161 19162 19163 19164 19165 19166 19167 19168 19169 19170 19171 19172 19173 19174 19175 19176 19177 19178 19179 19180 19181 19182 19183 19184 19185 19186 19187 19188 19189 19190 19191 19192 19193 19194 19195 19196 19197 19198 19199 19200 19201 19202 19203 19204 19205 19206 19207 19208 19209 19210 19211 19212 19213 19214 19215 19216 19217 19218 19219 19220 19221 19222 19223 19224 19225 19226 19227 19228 19229 19230 19231 19232 19233 19234 19235 19236 19237 19238 19239 19240 19241 19242 19243 19244 19245 19246 19247 19248 19249 19250 19251 19252 19253 19254 19255 19256 19257 19258 19259 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_04_BO());
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
                
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_04_BO
            
            group g_TC_SEC_ITSS_RCV_GENMSG_04_04_BO {
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
                function f_TC_SEC_ITSS_RCV_GENMSG_04_04_BO() runs on ItsGeoNetworking {
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                            m_header_field_generation_time(1000 * f_getCurrentTime() - 1), // In us
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
                            ),
                            m_header_field_its_aid_Other
                        }, 
                        e_certificate_digest_with_sha256,
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                    
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_04_BO
                
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_04_BO 
            
            /**
             * @desc    Check that IUT discards a secured GN Message if the message does not contain the header field of type 'generation_time'
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *              containing its_aid
             *                  indicating 'AID_BEACON'
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
19260 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_05_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19261 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19262 19263 19264 19265 19266 19267 19268 19269 19270 
             */
            testcase TC_SEC_ITSS_RCV_GENMSG_04_05_BO() runs on ItsMtc system ItsSecSystem {
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19271 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19272 19273 19274 19275 19276 19277 19278 19279 19280 19281 19282 19283 19284 19285 19286 19287 19288 19289 19290 19291 19292 19293 19294 19295 19296 19297 19298 19299 19300 19301 19302 19303 19304 19305 19306 19307 19308 19309 19310 19311 19312 19313 19314 19315 19316 19317 19318 19319 19320 19321 19322 19323 19324 19325 19326 19327 19328 19329 19330 19331 19332 19333 19334 19335 19336 19337 19338 19339 19340 19341 19342 19343 19344 19345 19346 19347 19348 19349 19350 19351 19352 19353 19354 19355 19356 19357 19358 19359 19360 19361 19362 19363 19364 19365 19366 19367 19368 19369 19370 19371 19372 19373 19374 19375 19376 19377 19378 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_05_BO());
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
                
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_05_BO
            
            group g_TC_SEC_ITSS_RCV_GENMSG_04_05_BO {
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
                function f_TC_SEC_ITSS_RCV_GENMSG_04_05_BO() runs on ItsGeoNetworking {
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
                            ),
                            m_header_field_its_aid_Other
                        }, 
                        e_certificate_digest_with_sha256,
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                    
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_05_BO
                
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_05_BO 
            
            /**
             * @desc    Check that IUT discards a Secured GN Message if the message contains more than one header field of type 'its_aid'
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *              indicating 'generation_location'
             *          and containing header_fields[3]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_BEACON'
             *          and containing header_fields[4].type
             *              containing its_aid
             *                  indicating 'AID_BEACON'
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
19379 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_06_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19380 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19381 19382 19383 19384 19385 19386 19387 19388 19389 
             */
            testcase TC_SEC_ITSS_RCV_GENMSG_04_06_BO() runs on ItsMtc system ItsSecSystem {
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19390 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19391 19392 19393 19394 19395 19396 19397 19398 19399 19400 19401 19402 19403 19404 19405 19406 19407 19408 19409 19410 19411 19412 19413 19414 19415 19416 19417 19418 19419 19420 19421 19422 19423 19424 19425 19426 19427 19428 19429 19430 19431 19432 19433 19434 19435 19436 19437 19438 19439 19440 19441 19442 19443 19444 19445 19446 19447 19448 19449 19450 19451 19452 19453 19454 19455 19456 19457 19458 19459 19460 19461 19462 19463 19464 19465 19466 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_06_BO());
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
                
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_06_BO
            
            group g_TC_SEC_ITSS_RCV_GENMSG_04_06_BO {
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
                function f_TC_SEC_ITSS_RCV_GENMSG_04_06_BO() runs on ItsGeoNetworking {
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
                            ),
                            m_header_field_its_aid_Other,
                            m_header_field_its_aid_Other
                        }, 
                        e_certificate_digest_with_sha256,
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                    
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_06_BO
                
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_06_BO 
            
            /**
garciay's avatar
STF507 week#11:  
garciay committed
19467 
             * @desc    Check that IUT discards a secured GN Message if the message does not contain the header field of type 'its_aid'
garciay's avatar
STF507: Week #7  
garciay committed
19468 19469 19470 19471 19472 19473 19474 19475 19476 19477 19478 19479 19480 19481 19482 19483 19484 19485 19486 19487 19488 19489 19490 19491 
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *              indicating 'generation_location'
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#11:  
garciay committed
19492 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_06a_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19493 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19494 
             */
garciay's avatar
STF507 week#11:  
garciay committed
19495 
            testcase TC_SEC_ITSS_RCV_GENMSG_04_06a_BO() runs on ItsMtc system ItsSecSystem {
garciay's avatar
STF507: Week #7  
garciay committed
19496 19497 19498 19499 19500 19501 19502 
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19503 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19504 19505 19506 19507 19508 19509 19510 19511 19512 19513 19514 19515 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
garciay's avatar
STF507 week#11:  
garciay committed
19516 
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO());
garciay's avatar
STF507: Week #7  
garciay committed
19517 19518 19519 19520 19521 19522 19523 19524 
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
garciay's avatar
STF507 week#11:  
garciay committed
19525 
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_06a_BO
garciay's avatar
STF507: Week #7  
garciay committed
19526
garciay's avatar
STF507 week#11:  
garciay committed
19527 
            group g_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO {
garciay's avatar
STF507: Week #7  
garciay committed
19528 19529 19530 19531 
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
garciay's avatar
STF507 week#11:  
garciay committed
19532 
                function f_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO() runs on ItsGeoNetworking {
garciay's avatar
STF507: Week #7  
garciay committed
19533 19534 19535 19536 19537 19538 19539 19540 19541 19542 19543 19544 19545 19546 19547 19548 19549 19550 19551 19552 19553 19554 19555 19556 19557 19558 19559 19560 19561 
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
garciay's avatar
STF507 week#11:  
garciay committed
19562 
                            )
garciay's avatar
STF507: Week #7  
garciay committed
19563 19564 19565 19566 19567 19568 19569 19570 19571 19572 
                        }, 
                        e_certificate_digest_with_sha256,
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
garciay's avatar
STF507 week#11:  
garciay committed
19573 
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO
garciay's avatar
STF507: Week #7  
garciay committed
19574
garciay's avatar
STF507 week#11:  
garciay committed
19575 
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO
garciay's avatar
STF507: Week #7  
garciay committed
19576 19577 19578 19579 19580 19581 19582 19583 19584 19585 19586 19587 19588 19589 19590 19591 19592 19593 19594 
            
            /**
             * @desc    Check that IUT discards a secured GN Message if the message contains more than one header field of type 'generation_location'
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
garciay's avatar
STF507 week#11:  
garciay committed
19595 19596 19597 19598 19599 19600 19601 19602 
             *              indicating 'generation_location'
             *          and containing header_fields[3].type
             *              indicating 'generation_location'
             *          and containing header_fields[4]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_BEACON'
garciay's avatar
STF507: Week #7  
garciay committed
19603 19604 19605 19606 19607 19608 19609 
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#11:  
garciay committed
19610 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_07_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19611 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19612 
             */
garciay's avatar
STF507 week#11:  
garciay committed
19613 
            testcase TC_SEC_ITSS_RCV_GENMSG_04_07_BO() runs on ItsMtc system ItsSecSystem {
garciay's avatar
STF507: Week #7  
garciay committed
19614 19615 19616 19617 19618 19619 19620 
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19621 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19622 19623 19624 19625 19626 19627 19628 19629 19630 19631 19632 19633 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
garciay's avatar
STF507 week#11:  
garciay committed
19634 
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_07_BO());
garciay's avatar
STF507: Week #7  
garciay committed
19635 19636 19637 19638 19639 19640 19641 19642 
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
garciay's avatar
STF507 week#11:  
garciay committed
19643 
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_07_BO
garciay's avatar
STF507: Week #7  
garciay committed
19644
garciay's avatar
STF507 week#11:  
garciay committed
19645 
            group g_TC_SEC_ITSS_RCV_GENMSG_04_07_BO {
garciay's avatar
STF507: Week #7  
garciay committed
19646 19647 19648 19649 
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
garciay's avatar
STF507 week#11:  
garciay committed
19650 
                function f_TC_SEC_ITSS_RCV_GENMSG_04_07_BO() runs on ItsGeoNetworking {
garciay's avatar
STF507: Week #7  
garciay committed
19651 19652 19653 19654 19655 19656 19657 19658 19659 19660 19661 19662 19663 19664 19665 19666 19667 19668 19669 19670 19671 19672 19673 
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
garciay's avatar
STF507 week#11:  
garciay committed
19674 19675 19676 19677 19678 19679 19680 19681 19682 19683 19684 19685 19686 19687 
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
                            ),
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0100'O
                                ))
                            ),
garciay's avatar
STF507: Week #7  
garciay committed
19688 19689 19690 19691 19692 19693 19694 19695 19696 19697 19698 
                            m_header_field_its_aid_Other
                        }, 
                        e_certificate_digest_with_sha256,
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
garciay's avatar
STF507 week#11:  
garciay committed
19699 
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_07_BO
garciay's avatar
STF507: Week #7  
garciay committed
19700
garciay's avatar
STF507 week#11:  
garciay committed
19701 
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_07_BO
garciay's avatar
STF507: Week #7  
garciay committed
19702 19703 
            
            /**
garciay's avatar
STF507 week#11:  
garciay committed
19704 
             * @desc    Check that IUT discards a secured GN Message if the message contains more than one header field of type 'generation_location'
garciay's avatar
STF507: Week #7  
garciay committed
19705 19706 19707 19708 19709 19710 19711 19712 19713 19714 19715 
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)
garciay's avatar
STF507 week#11:  
garciay committed
19716 19717 19718 19719 19720 19721 19722 19723 19724 19725 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *          and containing header_fields[4].type
             *              indicating 'its_aid'
             *                  containing its_aid
             *                      indicating 'AID_BEACON'
             *          and not containing other header fields
garciay's avatar
STF507: Week #7  
garciay committed
19726 19727 19728 19729 19730 19731 
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#11:  
garciay committed
19732 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_08_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19733 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19734 
             */
garciay's avatar
STF507 week#11:  
garciay committed
19735 
            testcase TC_SEC_ITSS_RCV_GENMSG_04_08_BO() runs on ItsMtc system ItsSecSystem {
garciay's avatar
STF507: Week #7  
garciay committed
19736 19737 19738 19739 19740 19741 19742 
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19743 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19744 19745 19746 19747 19748 19749 19750 19751 19752 19753 19754 19755 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
garciay's avatar
STF507 week#11:  
garciay committed
19756 
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_08_BO());
garciay's avatar
STF507: Week #7  
garciay committed
19757 19758 19759 19760 19761 19762 19763 19764 
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
garciay's avatar
STF507 week#11:  
garciay committed
19765 
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_08_BO
garciay's avatar
STF507: Week #7  
garciay committed
19766
garciay's avatar
STF507 week#11:  
garciay committed
19767 
            group g_TC_SEC_ITSS_RCV_GENMSG_04_08_BO {
garciay's avatar
STF507: Week #7  
garciay committed
19768 19769 19770 19771 
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
garciay's avatar
STF507 week#11:  
garciay committed
19772 
                function f_TC_SEC_ITSS_RCV_GENMSG_04_08_BO() runs on ItsGeoNetworking {
garciay's avatar
STF507: Week #7  
garciay committed
19773 19774 19775 19776 19777 19778 19779 19780 19781 19782 19783 19784 19785 19786 19787 19788 19789 19790 19791 
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
garciay's avatar
STF507 week#11:  
garciay committed
19792 19793 19794 
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
garciay's avatar
STF507: Week #7  
garciay committed
19795 19796 19797 
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                            m_header_field_its_aid_Other
                        },
garciay's avatar
STF507 week#11:  
garciay committed
19798 
                        e_certificate_digest_with_sha256,
garciay's avatar
STF507: Week #7  
garciay committed
19799 19800 19801 19802 19803 19804 19805 19806 
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
garciay's avatar
STF507 week#11:  
garciay committed
19807 
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_08_BO
garciay's avatar
STF507: Week #7  
garciay committed
19808
garciay's avatar
STF507 week#11:  
garciay committed
19809 
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_08_BO
garciay's avatar
STF507: Week #7  
garciay committed
19810 19811 
            
            /**
garciay's avatar
STF507 week#11:  
garciay committed
19812 
             * @desc    Check that IUT is able to receive a Secured GN Beacon if the header fields are not in the ascending order according to the numbering of the enumeration
garciay's avatar
STF507: Week #7  
garciay committed
19813 19814 19815 19816 19817 19818 19819 19820 19821 19822 19823 
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)
garciay's avatar
STF507 week#11:  
garciay committed
19824 19825 19826 19827 19828 19829 19830 19831 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'its_aid'
             *          and containing header_fields[2].type
             *              indicating 'generation_time'
             *          and containing header_fields[3].type
             *          and not containing other header fields
garciay's avatar
STF507: Week #7  
garciay committed
19832 19833 19834 19835 19836 19837 
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#11:  
garciay committed
19838 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_09_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19839 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19840 
             */
garciay's avatar
STF507 week#11:  
garciay committed
19841 
            testcase TC_SEC_ITSS_RCV_GENMSG_04_09_BO() runs on ItsMtc system ItsSecSystem {
garciay's avatar
STF507: Week #7  
garciay committed
19842 19843 19844 19845 19846 19847 19848 
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19849 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19850 19851 19852 19853 19854 19855 19856 19857 19858 19859 19860 19861 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
garciay's avatar
STF507 week#11:  
garciay committed
19862 
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_09_BO());
garciay's avatar
STF507: Week #7  
garciay committed
19863 19864 19865 19866 19867 19868 19869 19870 
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
garciay's avatar
STF507 week#11:  
garciay committed
19871 
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_09_BO
garciay's avatar
STF507: Week #7  
garciay committed
19872
garciay's avatar
STF507 week#11:  
garciay committed
19873 
            group g_TC_SEC_ITSS_RCV_GENMSG_04_09_BO {
garciay's avatar
STF507: Week #7  
garciay committed
19874 19875 19876 19877 
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
garciay's avatar
STF507 week#11:  
garciay committed
19878 
                function f_TC_SEC_ITSS_RCV_GENMSG_04_09_BO() runs on ItsGeoNetworking {
garciay's avatar
STF507: Week #7  
garciay committed
19879 19880 19881 19882 19883 19884 19885 19886 19887 19888 19889 19890 19891 19892 19893 19894 19895 19896 19897 
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prNeighbour();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    v_securedGnPdu := f_prepareSecuredBeacon(
                        cc_taCert_A, 
                        {
                            m_header_field_signer_info(
garciay's avatar
STF507 week#11:  
garciay committed
19898 19899 19900 19901 
                                m_signerInfo_digest(
                                    vc_atCertificate.signer_info.signerInfo.digest
                            )),
                            m_header_field_its_aid_Other,
garciay's avatar
STF507: Week #7  
garciay committed
19902 19903 19904 19905 19906 19907 19908 
                            m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                            m_header_field_generation_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
garciay's avatar
STF507 week#11:  
garciay committed
19909 
                            )
garciay's avatar
STF507: Week #7  
garciay committed
19910 
                        },
garciay's avatar
STF507 week#11:  
garciay committed
19911 
                        e_certificate_digest_with_sha256,
garciay's avatar
STF507: Week #7  
garciay committed
19912 19913 19914 19915 19916 19917 19918 19919 
                        false
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    
                    // Postamble
                    f_selfOrClientSyncAndVerdict(c_poDone, e_success);
garciay's avatar
STF507 week#11:  
garciay committed
19920 
                } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_09_BO
garciay's avatar
STF507: Week #7  
garciay committed
19921
garciay's avatar
STF507 week#11:  
garciay committed
19922 
            } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_09_BO
garciay's avatar
STF507: Week #7  
garciay committed
19923 19924 
            
            /**
garciay's avatar
STF507 week#11:  
garciay committed
19925 
             * @desc    Check that IUT accepts a GN Secured Message containing optional header field of type 'expiry_time'
garciay's avatar
STF507: Week #7  
garciay committed
19926 19927 19928 19929 19930 19931 19932 19933 19934 19935 19936 
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)
garciay's avatar
STF507 week#11:  
garciay committed
19937 19938 19939 19940 19941 19942 19943 19944 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'its_aid'
             *          and containing header_fields[2].type
             *              indicating 'generation_time'
             *          and containing header_fields[3].type
             *          and not containing other header fields
garciay's avatar
STF507: Week #7  
garciay committed
19945 19946 19947 19948 19949 19950 
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#11:  
garciay committed
19951 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_11_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
19952 
             * @reference    ETSI TS 103 097 [1], clause 7.3
garciay's avatar
STF507: Week #7  
garciay committed
19953 
             */
garciay's avatar
STF507 week#11:  
garciay committed
19954 
            testcase TC_SEC_ITSS_RCV_GENMSG_04_11_BO() runs on ItsMtc system ItsSecSystem {
garciay's avatar
STF507: Week #7  
garciay committed
19955 19956 19957 19958 19959 19960 19961 
                
                // Local variables
                var ItsGeoNetworking v_nodeB;
                var ItsGeoNetworking v_nodeD;
                
                // Test control
                if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
garciay's avatar
STF507 week#11:  
garciay committed
19962 
                    log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
garciay's avatar
STF507: Week #7  
garciay committed
19963 19964 19965 19966 19967 19968 19969 19970 19971 19972 19973 19974 
                    setverdict(inconc);
                    stop;
                }
                
                // Test component configuration
                f_cf02Up();
                
                // Preamble
                
                // Start components
                v_nodeB := f_getComponent(c_compNodeB);
                v_nodeD := f_getComponent(c_compNodeD);
garciay's avatar
STF507 week#11:  
garciay committed
19975 
                v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_11_BO());
garciay's avatar
STF507: Week #7  
garciay committed
19976 19977 19978 19979 19980 19981 19982 19983 
                v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
                
                // Synchronization
                f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
                
                // Cleanup
                f_cf02Down();
garciay's avatar
STF507 week#11:  
garciay committed
19984 
            } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_11_BO
garciay's avatar
STF507: Week #7  
garciay committed
19985
garciay's avatar
STF507 week#11:  
garciay committed
19986 
            group g_TC_SEC_ITSS_RCV_GENMSG_04_11_BO {
garciay's avatar
STF507: Week #7  
garciay committed
19987 19988 19989 19990 
                
                    /**
                     * @desc    Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
                     */
garciay's avatar
STF507 week#11:  
garciay committed
19991 
                function f_TC_SEC_ITSS_RCV_GENMSG_04_11_BO() runs on ItsGeoNetworking {
garciay's avatar
STF507: Week #7  
garciay committed
19992 19993 19994 19995 19996 19997 19998 19999 20000 
                    
                    // Local variables
                    var GeoNetworkingPdu v_securedGnPdu;
                    var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                    
                    // Test component configuration
                    f_cf01Up();
                    
                    // Test adapter configuration
Show full blame