Commit 82658224 authored by garciay's avatar garciay
Browse files

STF538: Finalize CAM TP implementation

parent 1e1385ba
Loading
Loading
Loading
Loading
+1129 −293

File changed.

Preview size limit exceeded, changes collapsed.

+16 −0
Original line number Diff line number Diff line
@@ -40,6 +40,22 @@ module ItsSecurity_TestControl {
            execute(TC_SEC_ITSS_SND_CAM_06_BV());
            execute(TC_SEC_ITSS_SND_CAM_07_BV());
            execute(TC_SEC_ITSS_SND_CAM_08_BV());
            execute(TC_SEC_ITSS_SND_CAM_09_BV());
            execute(TC_SEC_ITSS_SND_CAM_10_BV());
            execute(TC_SEC_ITSS_SND_CAM_11_BV());
            execute(TC_SEC_ITSS_SND_CAM_12_BV());
            execute(TC_SEC_ITSS_SND_CAM_13_BV());
            execute(TC_SEC_ITSS_SND_CAM_14_BV());
            execute(TC_SEC_ITSS_SND_CAM_15_BV());
            execute(TC_SEC_ITSS_SND_CAM_16_BV());
            execute(TC_SEC_ITSS_SND_CAM_17_BV());
            execute(TC_SEC_ITSS_SND_CAM_18_BV());
            execute(TC_SEC_ITSS_SND_CAM_19_BV());
            execute(TC_SEC_ITSS_SND_CAM_20_BV());
            execute(TC_SEC_ITSS_SND_CAM_21_BV());
            execute(TC_SEC_ITSS_SND_CAM_22_BV());
            execute(TC_SEC_ITSS_SND_CAM_23_BV());
            execute(TC_SEC_ITSS_SND_CAM_24_BV());
        }
        
    } // End of 'control' statement
+4 −4
Original line number Diff line number Diff line
@@ -63,7 +63,7 @@ module TestCodec_ChainOfCertificates {
                                           ) == false) {
      setverdict(fail);
    } else {
      setverdict(pass)
      setverdict(pass);
      v_enc_msg := encvalue(v_chain_sec_info.ca.cert);
      log("Root keys: ", v_chain_sec_info.ca.cert);
    }
@@ -105,7 +105,7 @@ module TestCodec_ChainOfCertificates {
                                           ) == false) {
      setverdict(fail);
    } else {
      setverdict(pass)
      setverdict(pass);
      v_enc_msg := encvalue(v_chain_sec_info.at.cert);
      log("AT keys: ", v_chain_sec_info.at.cert);
    }
@@ -217,7 +217,7 @@ module TestCodec_ChainOfCertificates {
                                                ) == false) {
      setverdict(fail);
    } else {
      setverdict(pass)
      setverdict(pass);
    }

    log("tc_full_check_certificate_2: Final chain = ", v_chain_sec_info);
@@ -255,7 +255,7 @@ module TestCodec_ChainOfCertificates {
                                                ) == false) {
      setverdict(fail);
    } else {
      setverdict(pass)
      setverdict(pass);
    }
    
    // TODO Create a chain of certificates