ItsPki_TestCases.ttcn

/**
 *  @author   ETSI / STF545
 *  @version  $URL$
 *            $Id$
 *  @desc     Testcases  file for Security Protocol
 *  @reference   ETSI TS 103 097 v1.2.1
 *  @copyright   ETSI Copyright Notification
 *               No part may be reproduced except as authorized by written permission.
 *               The copyright and the foregoing restriction extend to reproduction in all media.
 *               All rights reserved.
 */
module ItsPki_TestCases {
  // Libcommon
  import from LibCommon_Time all;
  import from LibCommon_VerdictControl all;
  import from LibCommon_Sync all;
  import from LibCommon_BasicTypesAndValues all;
    
  // LibIts
  import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
  import from IEEE1609dot2 language "ASN.1:1997" all;
  import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
  import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
  import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
  import from EtsiTs103097Module language "ASN.1:1997" all;
  import from ITS_Container language "ASN.1:1997" all;
  import from CAM_PDU_Descriptions language "ASN.1:1997" all;
    
  // LibItsCommon
  import from LibItsCommon_Functions all;
  import from LibItsCommon_ASN1_NamedNumbers all;
    
  // LibItsCam
  import from LibItsCam_TestSystem all;
  import from LibItsCam_Functions all;
  import from LibItsCam_Templates all;
  import from LibItsCam_TypesAndValues all;
  import from LibItsCam_Pics all;
    
  // LibItsSecurity
  import from LibItsSecurity_TypesAndValues all;
  import from LibItsSecurity_TestSystem all;
  import from LibItsSecurity_Templates all;
  import from LibItsSecurity_Functions all;
  import from LibItsSecurity_Pixits all;
  import from LibItsSecurity_Pics all;
    
  // LibItsHttp
  import from LibItsHttp_TypesAndValues all;
  import from LibItsHttp_Templates all;
  import from LibItsHttp_BinaryTemplates all;
  import from LibItsHttp_Functions all;
    
  // LibItsPki
  import from LibItsPki_Templates all;
  import from LibItsPki_TestSystem all;
    
  // AtsPki
  import from ItsPki_Functions all;

  /**
   * @desc Check that protocolVersion is set to 1 and messageID is 
   *       set to 2.
   * <pre>
   * Pics Selection: PICS_CAM_GENERATION
   * Initial conditions: 
   *     with {
   *         the IUT being in the "initial state"
   *     }
   * Expected behaviour:
   *     ensure that {
   *         when {
   *             a CAM is generated 
   *         }
   *         then {
   *             the IUT sends a valid CAM
   *                 containing ITS PDU header
   *                     containing protocolVersion
   *                         indicating value 1
   *                     and containing messageID
   *                         indicating value 2
   *         }
   *     }
   * </pre>
   * 
   * @see       ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/FMT/BV-01
   * @reference ETSI EN 302 637-2 v1.3.2, Annex B.1
   */
  testcase TC_SEC_PKI_SND_EA_01_BV() runs on ItsPki system ItsPkiSystem {
    
    // Local variables
    var EtsiTs103097Certificate v_certificate;
    var HeaderLines v_headers;
    var charstring vc_hashedId8ToBeUsed := "CERT_IUT_F_AT";
    
    // Test control
    if (not PICS_CAM_GENERATION or PICS_RSU) {
      log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
      setverdict(inconc);
      stop;
    }
    
    // Test component configuration
    vc_hashedId8ToBeUsed := "CERT_IUT_F_AT";
    f_cfUp(); // Initialise IUT with CERT_IUT_F_AT signed with CERT_IUT_F_AA
    
    // Test adapter configuration
    
    // Preamble
    f_prInitialState();
    f_readCertificate(vc_hashedId8ToBeUsed, v_certificate);
    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
    
    // Test Body
    f_init_default_headers_list(v_headers);
    httpPort.send(
                  m_http_request(
                                 m_http_request_post(
                                                     "/", 
                                                     v_headers, 
                                                     m_http_message_body_binary(
                                                                                m_binary_body_innerEcRequest(
                                                                                                             m_innerEcRequest(
                                                                                                                              "TODO",
                                                                                                                              m_publicKeys(
                                                                                                                                           v_certificate.toBeSigned.verifyKeyIndicator.verificationKey,
                                                                                                                                           v_certificate.toBeSigned.encryptionKey
                                                                                                                                           ),
                                                                                                                              m_certificateSubjectAttributes(
                                                                                                                                                             v_certificate.toBeSigned.appPermissions,
                                                                                                                                                             v_certificate.toBeSigned.validityPeriod,
                                                                                                                                                             v_certificate.toBeSigned.region,
                                                                                                                                                             v_certificate.toBeSigned.assuranceLevel
                                                                                                                                                             )))))));
    tc_ac.start;
    alt {
      [] httpPort.receive(
                          mw_http_response(
                                           mw_http_response_ok(
                                                               mw_http_message_body_binary(
                                                                                           mw_binary_body_innerEcResponse(
                                                                                                                          mw_innerEcResponse_ok
                                                                                                                          ))))) {
        tc_ac.stop;
        log("*** " & testcasename() & ": PASS: Security protocol version set to 3 ***");
        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
      }
      [] tc_ac.timeout {
        log("*** " & testcasename() & ": INCONC: Expected message not received ***");
        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
      }
    } // End of 'alt' statement
    
    // Postamble
    f_cfDown();
    
  } // End of testcase TC_SEC_ITSS_SND_MSG_01_BV
  
} // End of module ItsPki_TestCases