Commit 5cbf9179 authored by YannGarcia's avatar YannGarcia
Browse files

Bug fixed in CAM TCs

parent 87f92118
Loading
Loading
Loading
Loading
+11 −12
Original line number Diff line number Diff line
@@ -1032,7 +1032,7 @@ module ItsSecurity_TestCases {
                                        -, 
                                        mw_toBeSignedData(
                                            mw_signedDataPayload,
                                            mw_headerInfo_cam
                                            mw_headerInfo_cam(-, -, *, *)
                                        ),
                                        mw_signerIdentifier_certificate // containing certificate
                                    )
@@ -1044,7 +1044,7 @@ module ItsSecurity_TestCases {
                        
                        // Send secured message from unknown ITS-S
                        geoNetworkingPort.clear;
                        f_sendSecuredCam(cc_taCert_B, valueof(m_headerInfo_cam(-, (f_getCurrentTime() * 1000)/*us*/)), valueof(m_signerIdentifier_digest), f_getTsStationId() + 10/*Unknown ITS-S*/);
                        f_sendSecuredCam(cc_taCert_F, valueof(m_headerInfo_cam(-, (f_getCurrentTime() * 1000)/*us*/)), valueof(m_signerIdentifier_digest), f_getTsStationId() + 10/*Unknown ITS-S*/);
                        
                        f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    }
@@ -1380,7 +1380,7 @@ module ItsSecurity_TestCases {
                        // Send secured message from unknown ITS-S
                        geoNetworkingPort.clear;
                        f_sendSecuredCam(
                            cc_taCert_B, // SHA-256/NIST P-256
                            cc_taCert_F, // CERT_TS_F_AT
                            valueof(m_headerInfo_cam(-, (f_getCurrentTime() * 1000)/*us*/)),
                            valueof(
                                m_signerIdentifier_digest(
@@ -1468,7 +1468,7 @@ module ItsSecurity_TestCases {
             *                   containing issuer
             *                       containing sha256AndDigest
             *                  indicating HashedId8 value DIGEST_F
             *                      referencing an unknown certificate (CERT_TS_B_AT)
             *                      referencing an unknown certificate (CERT_TS_F_AT)
             *  }
             *  ensure that {
             *      when {
@@ -1539,10 +1539,10 @@ module ItsSecurity_TestCases {
                        tc_ac.stop;
                        log("*** " & testcasename() & ": INFO: Initial conditions: First CA message with certificate received ***");
                        
                        // Send secured message from unknown ITS-S
                        // Send secured message from unknown certificate
                        geoNetworkingPort.clear;
                        f_sendSecuredCam(
                            cc_taCert_B,
                            cc_taCert_F,
                            valueof(m_headerInfo_cam(-, (f_getCurrentTime() * 1000)/*us*/)),
                            valueof(
                                m_signerIdentifier_digest(
@@ -1628,7 +1628,7 @@ module ItsSecurity_TestCases {
             *                   containing issuer
             *                       containing sha384AndDigest
             *                  indicating HashedId8 value DIGEST_A
             *                               referencing an unknown certificate (CERT_TS_B_1_AT)
             *                               referencing an unknown certificate (CERT_TS_F3_AT)
             *  }
             *  ensure that {
             *      when {
@@ -1702,7 +1702,7 @@ module ItsSecurity_TestCases {
                        // Send secured message from unknown ITS-S
                        geoNetworkingPort.clear;
                        f_sendSecuredCam(
                            cc_taCert_B,
                            cc_taCert_F3,
                            valueof(m_headerInfo_cam(-, (f_getCurrentTime() * 1000)/*us*/)),
                            valueof(
                                m_signerIdentifier_digest(
@@ -1817,7 +1817,7 @@ module ItsSecurity_TestCases {
                // Local variables
                const float c_certificateGenerationTime := 1.0;
                
                timer t_maxTransInterval := c_certificateGenerationTime * 0.9;
                timer t_maxTransInterval := c_certificateGenerationTime * 1.1;
                var GeoNetworkingInd v_geoNwInd;
                var ItsCam v_component;
                var HashedId8 v_hashedId8;
@@ -1859,10 +1859,8 @@ module ItsSecurity_TestCases {
                                mw_geoNwShbPacket
                    ))) {
                        tc_ac.stop;
                        t_maxTransInterval.start;
                        
                        log("*** " & testcasename() & ": INFO: Initial conditions: First CA message with certificate received ***");                        
                                                
                        // Send secured message with request for the currently used AT certificate
                        f_sendSecuredCam(
                                         cc_taCert_A,
@@ -1879,6 +1877,7 @@ module ItsSecurity_TestCases {
                                                                           )
                                                 )
                                         );
                        t_maxTransInterval.start;
                        f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    }
                    [] tc_ac.timeout {