Commit aa689ac9 authored by Yann Garcia's avatar Yann Garcia
Browse files

ITS-CMS6 Plugtest validation

parent e0f2ad9f
Loading
Loading
Loading
Loading
+4 −3
Original line number Diff line number Diff line
@@ -15,6 +15,9 @@ module LibItsHttp_TestSystem {
  import from LibCommon_Sync all;
  import from LibCommon_Time all;

  // LibItsCommon
  import from LibItsCommon_TestSystem all;
  
  // LibItsHttp
  import from LibItsHttp_TypesAndValues all;
  
@@ -22,10 +25,8 @@ module LibItsHttp_TestSystem {
    inout HttpMessage;
  }
  
  type component HttpComponent extends SelfSyncComp { // FIXME To be rename into HttpTest
  type component HttpComponent extends ItsBaseComponent { // FIXME To be rename into HttpTest
    port HttpPort httpPort;
    timer tc_ac := PX_TAC;
    timer tc_noac := PX_TNOAC;
  } // End of component HttpComponent
  
  type component HttpTestAdapter { // FIXME To be rename into HttpTestSystem
+11 −0
Original line number Diff line number Diff line
@@ -91,6 +91,17 @@ module LibItsPki_EncdecDeclarations {
  external function fx_dec_AuthorizationValidationRequest(inout bitstring b, out EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationRequest p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
  /**
   * @desc Encoding function for EtsiTs102941TypesAuthorizationValidation AuthorizationValidationResponse
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_AuthorizationValidationResponse(in EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationResponse p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_AuthorizationValidationResponse(inout bitstring b, out EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationResponse p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
  /**
   * @desc Encoding function for EtsiTs102941BaseTypes PublicKeys
   * @param p The certificate to encode
+695 −123

File changed.

Preview size limit exceeded, changes collapsed.

+9 −0
Original line number Diff line number Diff line
@@ -369,6 +369,15 @@ module LibItsPki_Templates {
    confirmedSubjectAttributes := p_confirmedSubjectAttributes
  } // End of template mw_authorizationValidationResponse_ok
  
  template (value) AuthorizationValidationResponse m_authorizationValidationResponse_ko(
                                                                                        in template (value) Oct16 p_requestHash,
                                                                                        in template (value) AuthorizationValidationResponseCode p_responseCode
                                                                                         ) := {
    requestHash                := p_requestHash,
    responseCode               := p_responseCode,
    confirmedSubjectAttributes := omit
  } // End of template m_authorizationValidationResponse_ko

  template (present) AuthorizationValidationResponse mw_authorizationValidationResponse_ko(
                                                                                           template (present) Oct16 p_requestHash := ?
                                                                                           ) := {
+1 −0
Original line number Diff line number Diff line
@@ -23,6 +23,7 @@ module LibItsSecurity_TypesAndValues {
        // Test Adapter certificates & private keys - Valid behavior
        const charstring cc_taCert_A  := "CERT_TS_A_AT";   /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */
        const charstring cc_taCert_A_AA := "CERT_TS_A_AA";
        const charstring cc_taCert_A_EA := "CERT_TS_A_EA";
        const charstring cc_taCert_A1 := "CERT_TS_A_A1_AT"; /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */
        const charstring cc_taCert_A2 := "CERT_TS_A_A2_AT"; /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */
        const charstring cc_taCert_A3 := "CERT_TS_A_A3_AT"; /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */