LibItsPki_TestSystem.ttcn

/**
 *    @author     ETSI / STF545
 *    @version     $URL$
 *                $Id$
 *    @desc        Test System module for ITS PKI
 *    @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 LibItsPki_TestSystem {
  
  // LibCommon
  import from LibCommon_Sync all;
  import from LibCommon_Time 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 EtsiTs102941TypesAuthorization language "ASN.1:1997" all;
  import from EtsiTs102941TypesAuthorizationValidation language "ASN.1:1997" all;
  import from EtsiTs102941MessagesCa language "ASN.1:1997" all;
  import from EtsiTs103097Module language "ASN.1:1997" all;
  
  // LibItsCommon
  import from LibItsCommon_TestSystem all;
  import from LibItsCommon_TypesAndValues all;
  
  // LibItsPki
  import from LibItsPki_TypesAndValues all;
  
  // LibItsGeoNetworking
  import from LibItsGeoNetworking_TestSystem all;
  
  // LibItsSecurity
  import from LibItsSecurity_TestSystem all;
  
  // LibItsHttp
  import from LibItsHttp_TestSystem all;
  
  group portDefinitions {
    
    /**
     * @desc Upper Tester port
     */
    type port UpperTesterPkiPort message {
      out UtPkiInitialize, UtPkiTrigger;
      in UtPkiResults;
    } // End of UpperTesterPort
    
  } // End of group portDefinitions

  group componentDefinitions {
    
    /**
     * @desc System component
     */
    type component ItsPkiHttpSystem extends HttpTestAdapter{
                                              /** Use httPort when EC and AT are served by the same end point */
      port HttpPort httpEcPort;               /** Enrolment end point */
      port HttpPort httpAtVPort;              /** Authorization Validation end point */
      port HttpPort httpAtPort;               /** Authorization end point */ 
    } // End of component ItsPkiHttpSystem
    
    /**
     * @desc Test component for PKI entities execpt ITS-S
     */
    type component ItsPkiHttp extends ItsSecurityBaseComponent, HttpComponent {
                                              /** Use httPort when EC and AT are served by the same end point */
      port HttpPort httpEcPort;               /** Enrolment end point */
      port HttpPort httpAtVPort;              /** Authorization Validation end point */
      port HttpPort httpAtPort;               /** Authorization end point */ 
      var Certificate vc_eaCertificate;       /** Test Adapter EA certificate */
      var octetstring vc_eaPrivateKey;        /** Test Adapter EA private key for signature */
      var octetstring vc_eaPrivateEncKey;     /** Test Adapter EA private key for encryption */
      var octetstring vc_eaWholeHash;         /** Test Adapter EA whole-hash for signature check */
      var HashedId8   vc_eaHashedId8;         /** Test Adapter EA HashedId8 for decryption of IUT's response */
      var octetstring vc_aaPrivateKey;        /** Test Adapter AA private key for signature */
      var octetstring vc_aaPrivateEncKey;     /** Test Adapter AA private key for encryption */
      var HashedId8   vc_aaHashedId8;         /** Test Adapter AA HashedId8 for decryption of IUT's response */
      var octetstring vc_aaWholeHash;         /** Test Adapter AA whole-hash for signature check */
    } // End of component ItsPki
    
    /**
     * @desc Test component for ITS-S entity
     */
    type component ItsPkiItss extends ItsPkiHttp {
      port UpperTesterPkiPort utPort;
      port GeoNetworkingPort geoNetworkingPort;
    } // End of component ItsPkiItss
    
  } // End of group componentDefinitions
  
} // End of module LibItsPki_TestSystem