LibItsPki_TestSystem.ttcn 3.92 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
/**
 *    @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 {
Yann Garcia's avatar
Yann Garcia committed
13
14
15
16
17
18
19
20
21
  
  // 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;
22
23
24
  import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all; 
  import from EtsiTs102941TypesAuthorization language "ASN.1:1997" all;
  import from EtsiTs102941TypesAuthorizationValidation language "ASN.1:1997" all;
25
  import from EtsiTs102941MessagesCa language "ASN.1:1997" all;
Yann Garcia's avatar
Yann Garcia committed
26
27
  import from EtsiTs103097Module language "ASN.1:1997" all;
  
28
29
30
  // LibItsCommon
  import from LibItsCommon_TestSystem all;
  import from LibItsCommon_TypesAndValues all;
Yann Garcia's avatar
Yann Garcia committed
31
  
garciay's avatar
garciay committed
32
33
34
  // LibItsPki
  import from LibItsPki_TypesAndValues all;
  
35
36
  // LibItsGeoNetworking
  import from LibItsGeoNetworking_TestSystem all;
garciay's avatar
garciay committed
37
  
38
39
  // LibItsSecurity
  import from LibItsSecurity_TestSystem all;
Yann Garcia's avatar
Yann Garcia committed
40
  
41
42
  // LibItsHttp
  import from LibItsHttp_TestSystem all;
Yann Garcia's avatar
Yann Garcia committed
43
  
44
45
46
47
48
  group portDefinitions {
    
    /**
     * @desc Upper Tester port
     */
garciay's avatar
garciay committed
49
    type port UpperTesterPkiPort message {
50
51
52
53
54
55
56
57
      out UtPkiInitialize, UtPkiTrigger;
      in UtPkiResults;
    } // End of UpperTesterPort
    
  } // End of group portDefinitions

  group componentDefinitions {
    
Yann Garcia's avatar
Yann Garcia committed
58
59
60
    /**
     * @desc System component
     */
61
    type component ItsPkiHttpSystem extends HttpTestAdapter{
Yann Garcia's avatar
Yann Garcia committed
62
63
64
65
                                              /** 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 */ 
66
67
    } // End of component ItsPkiHttpSystem
    
Yann Garcia's avatar
Yann Garcia committed
68
69
70
71
    /**
     * @desc Test component for PKI entities execpt ITS-S
     */
    type component ItsPkiHttp extends ItsSecurityBaseComponent, HttpComponent {
Yann Garcia's avatar
Yann Garcia committed
72
73
74
75
                                              /** 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 */ 
Yann Garcia's avatar
Yann Garcia committed
76
77
78
      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 */
Yann Garcia's avatar
Yann Garcia committed
79
      var octetstring vc_eaWholeHash;         /** Test Adapter EA whole-hash for signature check */
Yann Garcia's avatar
Yann Garcia committed
80
      var HashedId8   vc_eaHashedId8;         /** Test Adapter EA HashedId8 for decryption of IUT's response */
Yann Garcia's avatar
Yann Garcia committed
81
82
      var octetstring vc_aaPrivateKey;        /** Test Adapter AA private key for signature */
      var octetstring vc_aaPrivateEncKey;     /** Test Adapter AA private key for encryption */
83
      var HashedId8   vc_aaHashedId8;         /** Test Adapter AA HashedId8 for decryption of IUT's response */
Yann Garcia's avatar
Yann Garcia committed
84
      var octetstring vc_aaWholeHash;         /** Test Adapter AA whole-hash for signature check */
Yann Garcia's avatar
Yann Garcia committed
85
86
87
88
89
90
    } // End of component ItsPki
    
    /**
     * @desc Test component for ITS-S entity
     */
    type component ItsPkiItss extends ItsPkiHttp {
garciay's avatar
garciay committed
91
      port UpperTesterPkiPort utPort;
92
      port GeoNetworkingPort geoNetworkingPort;
Yann Garcia's avatar
Yann Garcia committed
93
    } // End of component ItsPkiItss
94
95
    
  } // End of group componentDefinitions
Yann Garcia's avatar
Yann Garcia committed
96
  
97
} // End of module LibItsPki_TestSystem