OER encoding: functional tests

Signed-off-by: Viktor Tarasov <viktor.tarasov@gmail.com>

function_test/OER_EncDec/EtsiTs103097Module.asn

+EtsiTs103097Module
+{ itu-t(0) identified-organization(4) etsi(0) itsDomain(5) wg5(5) ts(103097) v1(0) }
+
+DEFINITIONS AUTOMATIC TAGS ::= BEGIN
+
+IMPORTS
+
+Ieee1609Dot2Data, ExplicitCertificate
+
+FROM
+
+IEEE1609dot2 {iso(1) identified-organization(3) ieee(111)
+standards-association-numbered-series-standards(2) wave-stds(1609)
+dot2(2) base (1) schema (1) major-version-2(2)};
+
+EtsiTs103097Certificate::= ExplicitCertificate (WITH COMPONENTS{...,
+	toBeSigned (WITH COMPONENTS{...,
+		id (WITH COMPONENTS{...,
+			linkageData ABSENT,
+			binaryId ABSENT
+		}),
+		certRequestPermissions ABSENT,
+		canRequestRollover ABSENT
+	})
+})
+
+SingleEtsiTs103097Certificate ::= SEQUENCE {
+	only EtsiTs103097Certificate
+}
+
+EtsiTs103097Data::=Ieee1609Dot2Data (WITH COMPONENTS {...,
+	content (WITH COMPONENTS {...,			-- 'Ieee1609Dot2Content'
+		signedData (WITH COMPONENTS {..., -- constraints on signed data headers  'SignedData'
+			tbsData (WITH COMPONENTS {	-- 'ToBeSignedData'
+				headerInfo (WITH COMPONENTS {...,	-- 'HeaderInfo'
+					generationTime PRESENT,
+					p2pcdLearningRequest ABSENT,
+					missingCrlIdentifier ABSENT
+				})
+			}),
+			signer (WITH COMPONENTS {..., --constraints on the certificate
+--				certificate (WITH COMPONENT (SingleEtsiTs103097Certificate))
+				certificate (WITH COMPONENT (EtsiTs103097Certificate))
+			})
+		}),
+		encryptedData (WITH COMPONENTS {..., -- constraints on encrypted data headers
+			recipients (WITH COMPONENT (
+				(WITH COMPONENTS {...,
+					symmRecipInfo ABSENT,
+					rekRecipInfo ABSENT
+				})
+			))
+		}),
+		signedCertificateRequest ABSENT
+	})
+})
+
+EtsiTs103097Data-Signed {ToBeSignedDataContent} ::= EtsiTs103097Data (WITH COMPONENTS {...,
+	content (WITH COMPONENTS {
+		signedData (WITH COMPONENTS {...,
+			tbsData (WITH COMPONENTS {
+				payload (WITH COMPONENTS {
+					data (WITH COMPONENTS {...,
+						content (WITH COMPONENTS {
+							unsecuredData (CONTAINING ToBeSignedDataContent)
+						})
+					}) PRESENT
+				})
+			})
+		})
+	})
+})
+
+EtsiTs103097Data-SignedExternalPayload ::= EtsiTs103097Data (WITH COMPONENTS {...,
+	content (WITH COMPONENTS {
+		signedData (WITH COMPONENTS {...,
+			tbsData (WITH COMPONENTS {
+				payload (WITH COMPONENTS {
+					extDataHash (WITH COMPONENTS {
+						sha256HashedData PRESENT
+					}) PRESENT
+				})
+			})
+		})
+	})
+})
+
+EtsiTs103097Data-Encrypted {ToBeEncryptedDataContent} ::= EtsiTs103097Data (WITH COMPONENTS {...,
+	content (WITH COMPONENTS {
+		encryptedData (WITH COMPONENTS {...,
+			ciphertext (WITH COMPONENTS {...,
+				aes128ccm (WITH COMPONENTS {...,
+					ccmCiphertext (CONSTRAINED BY {-- ccm encryption of -- ToBeEncryptedDataContent})
+				})
+			})
+		})
+	})
+})
+
+EtsiTs103097Data-SignedAndEncrypted {ToBesignedAndEncryptedDataContent} ::= EtsiTs103097DataEncrypted {EtsiTs103097Data-Signed {ToBesignedAndEncryptedDataContent}}
+
+END

function_test/OER_EncDec/IEEE1609dot2.asn

+IEEE1609dot2 {iso(1) identified-organization(3) ieee(111) 
+standards-association-numbered-series-standards(2) wave-stds(1609)  
+dot2(2) base(1) schema(1) major-version-2(2)}
+
+-- Minor version: 1
+
+--******************************************************************************
+-- 
+-- IEEE P1609.2 Data Types 
+-- 
+--******************************************************************************
+
+DEFINITIONS AUTOMATIC TAGS ::= BEGIN 
+ 
+EXPORTS ALL;
+
+IMPORTS 
+  CrlSeries,
+  EccP256CurvePoint,
+  EciesP256EncryptedKey,
+  EncryptionKey,
+  GeographicRegion,
+  GroupLinkageValue,
+  HashAlgorithm,
+  HashedId3,
+  HashedId8,
+  Hostname,
+  IValue,
+  LinkageValue,
+  Opaque,
+  Psid,
+  PsidSsp,
+  PsidSspRange,
+  PublicEncryptionKey,
+  PublicVerificationKey,
+  SequenceOfHashedId3,
+  SequenceOfPsidSsp,
+  SequenceOfPsidSspRange,
+  ServiceSpecificPermissions,
+  Signature,
+  SubjectAssurance,
+  SymmetricEncryptionKey,
+  ThreeDLocation,
+  Time64,
+  Uint3,
+  Uint8,
+  Uint16, 
+  Uint32,
+  ValidityPeriod
+FROM IEEE1609dot2BaseTypes {iso(1) identified-organization(3) ieee(111) 
+    standards-association-numbered-series-standards(2) wave-stds(1609)  
+    dot2(2) base(1) base-types(2) major-version-2 (2)}
+
+;
+
+-- 
+--********************************************************************* 
+-- 
+--  Structures for describing secured data
+-- 
+--*********************************************************************  
+
+-- Necessary to get certain tools to generate sample PDUs
+-- TestIeee1609Dot2Data ::= Ieee1609Dot2Data
+-- TestCertificate ::= Certificate
+
+-- this structure belongs later in the file but putting it here avoids
+-- compiler errors with certain tools
+SignedDataPayload ::= SEQUENCE  { 
+    data              Ieee1609Dot2Data OPTIONAL,
+    extDataHash       HashedData OPTIONAL,
+    ...
+}
+    (WITH COMPONENTS {..., data PRESENT} |
+     WITH COMPONENTS {..., extDataHash PRESENT})
+
+Ieee1609Dot2Data ::= SEQUENCE  {
+    protocolVersion    Uint8(3),
+    content            Ieee1609Dot2Content
+}
+
+Ieee1609Dot2Content ::=  CHOICE  { 
+    unsecuredData            Opaque, 
+    signedData               SignedData,
+    encryptedData            EncryptedData,
+    signedCertificateRequest Opaque,
+    ...
+}
+
+SignedData ::= SEQUENCE  { 
+    hashId          HashAlgorithm,
+    tbsData         ToBeSignedData,
+    signer          SignerIdentifier,
+    signature       Signature
+}
+
+SignerIdentifier ::= CHOICE  { 
+    digest          HashedId8,
+    certificate     SequenceOfCertificate,
+    self            NULL,
+    ...
+}
+
+ToBeSignedData ::= SEQUENCE  { 
+    payload         SignedDataPayload,
+    headerInfo      HeaderInfo
+}
+
+HashedData::= CHOICE  { 
+    sha256HashedData  OCTET STRING (SIZE(32)),
+    ...
+}
+
+HeaderInfo ::= SEQUENCE  { 
+    psid                   Psid,
+    generationTime         Time64 OPTIONAL,
+    expiryTime             Time64  OPTIONAL,
+    generationLocation     ThreeDLocation OPTIONAL,
+    p2pcdLearningRequest   HashedId3 OPTIONAL,
+    missingCrlIdentifier   MissingCrlIdentifier OPTIONAL,
+    encryptionKey          EncryptionKey OPTIONAL,
+    ...,
+    inlineP2pcdRequest     SequenceOfHashedId3 OPTIONAL,
+    requestedCertificate   Certificate OPTIONAL
+}
+
+MissingCrlIdentifier ::= SEQUENCE  {
+    cracaId         HashedId3,
+    crlSeries       CrlSeries,
+    ...
+}
+
+Countersignature ::= Ieee1609Dot2Data (WITH COMPONENTS {...,
+  content (WITH COMPONENTS {..., 
+    signedData  (WITH COMPONENTS {..., 
+      tbsData (WITH COMPONENTS {..., 
+        payload (WITH COMPONENTS {..., 
+          data ABSENT,
+          extDataHash PRESENT
+        }),
+        headerInfo(WITH COMPONENTS {..., 
+          generationTime PRESENT,
+          expiryTime ABSENT,
+          generationLocation ABSENT,
+          p2pcdLearningRequest ABSENT,
+          missingCrlIdentifier ABSENT,
+          encryptionKey ABSENT
+        })
+      })
+    })
+  })
+})
+
+--********************************************************************** 
+-- 
+--  Structures for describing encrypted data
+-- 
+--**********************************************************************  
+
+
+EncryptedData ::= SEQUENCE  {
+    recipients     SequenceOfRecipientInfo,
+    ciphertext     SymmetricCiphertext
+}
+RecipientInfo ::= CHOICE  {
+    pskRecipInfo        PreSharedKeyRecipientInfo,
+    symmRecipInfo       SymmRecipientInfo,
+    certRecipInfo       PKRecipientInfo, 
+    signedDataRecipInfo PKRecipientInfo, 
+    rekRecipInfo        PKRecipientInfo 
+}
+
+SequenceOfRecipientInfo ::= SEQUENCE OF RecipientInfo
+       
+PreSharedKeyRecipientInfo ::= HashedId8
+SymmRecipientInfo ::= SEQUENCE  { 
+    recipientId        HashedId8, 
+    encKey             SymmetricCiphertext
+}
+
+PKRecipientInfo ::= SEQUENCE  { 
+    recipientId        HashedId8, 
+    encKey             EncryptedDataEncryptionKey
+}
+
+EncryptedDataEncryptionKey ::= CHOICE  { 
+    eciesNistP256          EciesP256EncryptedKey,
+    eciesBrainpoolP256r1   EciesP256EncryptedKey,
+    ...
+}
+
+SymmetricCiphertext ::= CHOICE  {
+    aes128ccm           AesCcmCiphertext,
+    ...
+}
+
+AesCcmCiphertext ::= SEQUENCE  {
+    nonce           OCTET STRING (SIZE (12)),
+    ccmCiphertext   Opaque -- 16 bytes longer than plaintext
+}
+
+
+--********************************************************************** 
+-- 
+--  Certificates and other security management data structures
+-- 
+--********************************************************************** 
+
+-- Certificates are implicit (type = implicit, toBeSigned includes 
+-- reconstruction value, signature absent) or explicit (type = explicit,
+-- toBeSigned includes verification key, signature present).
+
+Certificate ::= CertificateBase (ImplicitCertificate | ExplicitCertificate)
+
+SingleCertificate ::= SEQUENCE (SIZE(1)) OF Certificate
+
+SequenceOfCertificate ::= SEQUENCE OF Certificate
+
+CertificateBase ::= SEQUENCE  {
+    version                 Uint8(3),
+    type                    CertificateType,
+    issuer                  IssuerIdentifier,
+    toBeSigned              ToBeSignedCertificate,
+    signature               Signature OPTIONAL
+}
+  
+CertificateType  ::= ENUMERATED  {
+    explicit,
+    implicit,
+    ...
+}
+
+ImplicitCertificate ::= CertificateBase (WITH COMPONENTS {...,
+    type(implicit),
+    toBeSigned(WITH COMPONENTS {..., 
+      verifyKeyIndicator(WITH COMPONENTS {reconstructionValue})
+    }), 
+    signature ABSENT
+})
+
+ExplicitCertificate ::= CertificateBase (WITH COMPONENTS {...,
+    type(explicit),
+    toBeSigned(WITH COMPONENTS {..., 
+        verifyKeyIndicator(WITH COMPONENTS {verificationKey})
+    }), 
+    signature PRESENT
+})
+
+IssuerIdentifier ::= CHOICE  { 
+    sha256AndDigest         HashedId8,
+    self                    HashAlgorithm,
+    ...,
+    sha384AndDigest         HashedId8
+}
+
+ToBeSignedCertificate ::= SEQUENCE  { 
+    id                     CertificateId,
+    cracaId                HashedId3,
+    crlSeries              CrlSeries,
+    validityPeriod         ValidityPeriod,
+    region                 GeographicRegion OPTIONAL,
+    assuranceLevel         SubjectAssurance OPTIONAL,
+    appPermissions         SequenceOfPsidSsp OPTIONAL,
+    certIssuePermissions   SequenceOfPsidGroupPermissions OPTIONAL,
+    certRequestPermissions SequenceOfPsidGroupPermissions OPTIONAL, 
+    canRequestRollover     NULL OPTIONAL,
+    encryptionKey          PublicEncryptionKey OPTIONAL,
+    verifyKeyIndicator     VerificationKeyIndicator,
+    ...
+}
+(WITH COMPONENTS { ..., appPermissions PRESENT} |
+ WITH COMPONENTS { ..., certIssuePermissions PRESENT} |
+ WITH COMPONENTS { ..., certRequestPermissions PRESENT})
+
+CertificateId ::= CHOICE  {
+    linkageData             LinkageData,
+    name                    Hostname,
+    binaryId                OCTET STRING(SIZE(1..64)),
+    none                    NULL,
+    ...
+}
+
+LinkageData ::= SEQUENCE  {
+    iCert                 IValue,
+    linkage-value         LinkageValue, 
+    group-linkage-value   GroupLinkageValue OPTIONAL
+}
+         
+EndEntityType ::= BIT STRING {app (0), enrol (1) } (SIZE (8)) (ALL EXCEPT {})
+
+PsidGroupPermissions ::= SEQUENCE  {
+    subjectPermissions SubjectPermissions,
+    minChainLength     INTEGER DEFAULT 1,
+    chainLengthRange   INTEGER DEFAULT 0, 
+    eeType             EndEntityType DEFAULT {app}
+}
+
+SequenceOfPsidGroupPermissions ::= SEQUENCE OF PsidGroupPermissions
+
+SubjectPermissions ::= CHOICE  {
+    explicit        SequenceOfPsidSspRange,
+    all             NULL,
+    ...
+}
+
+VerificationKeyIndicator ::= CHOICE  {
+    verificationKey         PublicVerificationKey,
+    reconstructionValue     EccP256CurvePoint,
+    ...
+}
+  
+END
+

function_test/OER_EncDec/IEEE1609dot2BaseTypes.asn

+IEEE1609dot2BaseTypes {iso(1) identified-organization(3) ieee(111) 
+standards-association-numbered-series-standards(2) wave-stds(1609)  
+dot2(2) base(1) base-types(2) major-version-2(2)}
+
+-- Minor version: 1
+
+-- 
+--********************************************************************
+--  IEEE P1609.2 Base Data Types 
+-- 
+--******************************************************************** 
+
+DEFINITIONS AUTOMATIC TAGS ::= BEGIN 
+ 
+EXPORTS ALL;
+
+
+-- ------------------------------------------------------------------
+-- 
+-- Integers
+--
+-- ------------------------------------------------------------------
+
+IMPORTS;
+
+Uint3  ::= INTEGER (0..7)                    -- (hex)                      07
+Uint8  ::= INTEGER (0..255)                  -- (hex)                      ff
+Uint16 ::= INTEGER (0..65535)                -- (hex)                   ff ff
+Uint32 ::= INTEGER (0..4294967295)--<LONGLONG>-- -- (hex)             ff ff ff ff
+Uint64 ::= INTEGER (0..18446744073709551615) -- (hex) ff ff ff ff ff ff ff ff
+
+SequenceOfUint8  ::= SEQUENCE OF Uint8
+SequenceOfUint16 ::= SEQUENCE OF Uint16
+
+-- ------------------------------------------------------------------
+-- 
+-- OCTET STRING types
+--
+-- ------------------------------------------------------------------
+
+
+Opaque ::= OCTET STRING
+
+  
+HashedId10 ::= OCTET STRING (SIZE(10))
+HashedId8  ::= OCTET STRING (SIZE(8))
+HashedId3  ::= OCTET STRING (SIZE(3))
+SequenceOfHashedId3 ::= SEQUENCE OF HashedId3
+
+
+-- ------------------------------------------------------------------
+-- 
+-- Time
+--
+-- ------------------------------------------------------------------
+
+Time32 ::= Uint32
+Time64 ::= Uint64
+
+ValidityPeriod ::= SEQUENCE  {
+    start          Time32,
+    duration       Duration
+}
+
+Duration ::= CHOICE  {
+    microseconds     Uint16,
+    milliseconds     Uint16,
+    seconds          Uint16,
+    minutes          Uint16,
+    hours            Uint16,
+    sixtyHours       Uint16,
+    years            Uint16
+} 
+
+-- ------------------------------------------------------------------
+-- 
+-- Location
+--
+-- ------------------------------------------------------------------
+
+
+GeographicRegion ::= CHOICE  {
+    circularRegion      CircularRegion,
+    rectangularRegion   SequenceOfRectangularRegion,
+    polygonalRegion     PolygonalRegion,
+    identifiedRegion    SequenceOfIdentifiedRegion,
+    ...
+}
+
+CircularRegion ::= SEQUENCE  {
+    center          TwoDLocation,
+    radius          Uint16
+}
+
+RectangularRegion ::= SEQUENCE  {
+    northWest       TwoDLocation,
+    southEast       TwoDLocation
+}
+
+SequenceOfRectangularRegion ::= SEQUENCE OF RectangularRegion
+
+PolygonalRegion ::= SEQUENCE SIZE(3..MAX) OF TwoDLocation
+
+TwoDLocation ::= SEQUENCE  {
+    latitude      Latitude,
+    longitude     Longitude
+}
+
+IdentifiedRegion ::= CHOICE  {
+    countryOnly           CountryOnly,
+    countryAndRegions     CountryAndRegions,
+    countryAndSubregions   CountryAndSubregions,
+    ...
+}
+
+SequenceOfIdentifiedRegion ::= SEQUENCE OF IdentifiedRegion
+
+CountryOnly ::= Uint16
+
+CountryAndRegions ::= SEQUENCE  {
+    countryOnly    CountryOnly,
+    regions        SequenceOfUint8
+}
+
+CountryAndSubregions ::= SEQUENCE  {
+    country             CountryOnly,
+    regionAndSubregions  SequenceOfRegionAndSubregions
+}
+
+RegionAndSubregions ::= SEQUENCE  {
+    region             Uint8,
+    subregions         SequenceOfUint16
+}
+
+SequenceOfRegionAndSubregions ::= SEQUENCE OF RegionAndSubregions
+
+ThreeDLocation ::= SEQUENCE  {
+    latitude        Latitude,
+    longitude       Longitude,
+    elevation       Elevation
+}
+
+Latitude ::= NinetyDegreeInt
+Longitude ::= OneEightyDegreeInt
+Elevation ::= ElevInt
+
+NinetyDegreeInt ::= INTEGER  {
+    min 		(-900000000),
+    max 		(900000000),
+    unknown 	(900000001)
+} (-900000000..900000001)
+
+KnownLatitude ::= NinetyDegreeInt (min..max) -- Minus 90deg to +90deg in microdegree intervals
+UnknownLatitude ::= NinetyDegreeInt (unknown)
+  
+OneEightyDegreeInt ::= INTEGER  {
+    min      	(-1799999999),
+    max      	(1800000000),
+    unknown  	(1800000001)
+} (-1799999999..1800000001)
+
+KnownLongitude ::= OneEightyDegreeInt (min..max)
+UnknownLongitude ::= OneEightyDegreeInt (unknown)
+  
+ElevInt ::= Uint16 -- Range is from -4096 to 61439 in units of one-tenth of a meter
+
+-- ------------------------------------------------------------------
+-- 
+-- Crypto
+--
+-- ------------------------------------------------------------------
+
+Signature ::= CHOICE  {
+    ecdsaNistP256Signature        EcdsaP256Signature,
+    ecdsaBrainpoolP256r1Signature EcdsaP256Signature,
+    ...,
+    ecdsaBrainpoolP384r1Signature EcdsaP384Signature
+}
+
+EcdsaP256Signature ::= SEQUENCE  {
+    rSig     EccP256CurvePoint,
+    sSig     OCTET STRING (SIZE (32))
+}
+
+EcdsaP384Signature ::= SEQUENCE  {
+    rSig     EccP384CurvePoint,
+    sSig     OCTET STRING (SIZE (48))
+}
+
+EccP256CurvePoint ::= CHOICE  {
+    x-only           OCTET STRING (SIZE (32)),
+    fill             NULL,  -- consistency with 1363 / X9.62
+    compressed-y-0   OCTET STRING (SIZE (32)),
+    compressed-y-1   OCTET STRING (SIZE (32)),
+    uncompressedP256 SEQUENCE  {
+        x OCTET STRING (SIZE (32)),
+        y OCTET STRING (SIZE (32))
+    }
+}
+
+EccP384CurvePoint::= CHOICE  {
+    x-only           OCTET STRING (SIZE (48)),
+    fill             NULL, -- consistency w 1363 / X9.62
+    compressed-y-0   OCTET STRING (SIZE (48)),
+    compressed-y-1   OCTET STRING (SIZE (48)),
+    uncompressedP384 SEQUENCE  {
+        x OCTET STRING (SIZE (48)),
+        y OCTET STRING (SIZE (48))
+    }
+}
+
+
+SymmAlgorithm ::= ENUMERATED  { 
+    aes128Ccm,
+    ...
+}
+
+HashAlgorithm ::= ENUMERATED  { 
+    sha256,
+    ...,
+    sha384
+}
+
+EciesP256EncryptedKey ::= SEQUENCE  {
+    v               EccP256CurvePoint,
+    c               OCTET STRING (SIZE (16)),
+    t               OCTET STRING (SIZE (16))
+}
+
+EncryptionKey ::= CHOICE  {
+    public               PublicEncryptionKey,
+    symmetric            SymmetricEncryptionKey 
+}
+
+PublicEncryptionKey ::= SEQUENCE  { 
+    supportedSymmAlg      SymmAlgorithm,
+    publicKey             BasePublicEncryptionKey
+}
+
+BasePublicEncryptionKey ::= CHOICE  { 
+    eciesNistP256             EccP256CurvePoint,
+    eciesBrainpoolP256r1      EccP256CurvePoint,
+    ...
+}
+
+PublicVerificationKey ::= CHOICE  { 
+    ecdsaNistP256             EccP256CurvePoint,
+    ecdsaBrainpoolP256r1      EccP256CurvePoint,
+    ...,
+    ecdsaBrainpoolP384r1      EccP384CurvePoint
+}
+
+SymmetricEncryptionKey ::= CHOICE  {
+    aes128Ccm     OCTET STRING(SIZE(16)),
+    ...
+}
+
+-- ------------------------------------------------------------------
+-- 
+-- PSID / ITS-AID
+--
+-- ------------------------------------------------------------------
+
+
+PsidSsp ::= SEQUENCE  {
+    psid                  Psid,
+    ssp                   ServiceSpecificPermissions OPTIONAL
+}
+
+SequenceOfPsidSsp ::= SEQUENCE OF PsidSsp
+
+Psid ::= INTEGER (0..MAX)
+
+SequenceOfPsid ::= SEQUENCE OF Psid
+
+ServiceSpecificPermissions ::= CHOICE  {
+--    opaque              OCTET STRING (SIZE(0..MAX)),
+    opaque              OCTET STRING,
+    ...,
+    bitmapSsp           BitmapSsp
+}
+
+BitmapSsp ::= OCTET STRING (SIZE(0..31))
+
+PsidSspRange ::= SEQUENCE  {
+    psid                Psid,
+    sspRange            SspRange OPTIONAL
+}
+
+SequenceOfPsidSspRange ::= SEQUENCE OF PsidSspRange
+
+SspRange ::= CHOICE  {
+    opaque              SequenceOfOctetString,
+    all                 NULL,
+    ... ,
+    bitmapSspRange      BitmapSspRange
+}
+   
+BitmapSspRange ::= SEQUENCE  {
+    sspValue            OCTET STRING (SIZE(1..32)),
+    sspBitmask          OCTET STRING (SIZE(1..32))
+}
+
+-- SequenceOfOctetString ::= SEQUENCE (SIZE (0..MAX)) OF 
+--    OCTET STRING (SIZE(0..MAX))
+
+SequenceOfOctetString ::= SEQUENCE OF OCTET STRING
+
+-- ------------------------------------------------------------------
+-- 
+-- Goes in certs
+--
+-- ------------------------------------------------------------------
+
+SubjectAssurance ::= OCTET STRING (SIZE(1))
+
+CrlSeries ::= Uint16
+  
+
+-- ------------------------------------------------------------------
+-- 
+-- Pseudonym Linkage
+--
+-- ------------------------------------------------------------------
+
+IValue ::= Uint16
+Hostname ::= UTF8String (SIZE(0..255))
+LinkageValue ::= OCTET STRING (SIZE(9))
+GroupLinkageValue ::= SEQUENCE  {
+    jValue  OCTET STRING (SIZE(4)),
+    value   OCTET STRING (SIZE(9))
+}
+  
+LaId ::= OCTET STRING (SIZE(2)) 
+LinkageSeed ::= OCTET STRING (SIZE(16))
+
+END
+

function_test/OER_EncDec/ISOIEC-8825-7-2015-AnnexA-PersonnelRecord.script

+.******************************************************************************
+.* Copyright (c) 2000-2018 Ericsson Telecom AB
+.* All rights reserved. This program and the accompanying materials
+.* are made available under the terms of the Eclipse Public License v2.0
+.* which accompanies this distribution, and is available at
+.* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
+.*
+.* Contributors:
+.*   Balasko, Jeno
+.*   Beres, Szabolcs
+.*   Delic, Adam
+.*   Kovacs, Ferenc
+.*   Szabados, Kristof
+.*   Tarasov, Victor
+.*
+.******************************************************************************/
+:text.
+:lang eng.
+.*
+:docname.Test Description
+:docno.8/152 91-CRL 113 200/5 Uen
+:rev.C
+:date.2015-04-27
+.*
+:prep.ETH/XZR Kristof Szabados (+36 1 437 7256)
+:appr.ETH/XZ (Roland Gecse)
+:checked.ETHBAAT
+.*
+:title.Test Description - OER coder
+:contents level=3.
+.*---------------------------------------------------------------------*
+:h1.PREREQUISITES AND PREPARATIONS
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h2.Scope of the Test Object
+.*---------------------------------------------------------------------*
+:xmp tab=1 nokeep.
+
+This TD contains unified test case related to TTCN3 Executor's OER coder function.
+Test case implement the OER codings example from specification ISO/IEC 8825-7:2015 
+(https://www.itu.int/rec/T-REC-X.696-201508-I)
+:exmp.
+
+:p.:us.Revision Information:eus.
+
+:xmp nokeep.
+:us.History:eus.
+
+REV   DATE         PREPARED   CHANGE
+===   ==========   ========   ======
+A     2003-10-31   ETHEKR     New document
+B     2007-03-06   EDMDELI    Implicit message encoding
+C     2007-03-21   EJNOSZA    Bugfix in a testcase for implicit msg. enc.
+D     2008-10-01   EFERKOV    Big integers
+E     2010-01-18   EKRISZA    Updated for TITAN R8C
+F     2011-06-18   EKRISZA    Added tests for errors
+A     2011-12-12   EKRISZA     Updated for release
+PB1   2011-01-30   ETHBAAT    Editorial changes
+A
+
+:exmp.
+
+
+.*---------------------------------------------------------------------*
+:h2.Test Tools
+.*---------------------------------------------------------------------*
+:p.:us.Software Tools:eus.
+:xmp tab=2 nokeep.
+
+	SAtester
+
+:exmp.
+:np.
+.*---------------------------------------------------------------------*
+:h1.REQUIREMENT-BASED TESTS
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h2.Testing OER encodings
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h3. Example of OER encodings from ISO/IEC 8825-7:2015 Annex A
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - ISO/IEC 8825-7:2015 Annex A – Example of OER encodings>
+
+<STATIC:ASN>
+
+TempA
+
+DEFINITIONS ::=
+
+BEGIN
+
+  IMPORTS;
+
+  Date ::= [APPLICATION 3] IMPLICIT VisibleString -- YYYYMMDD
+  EmployeeNumber ::= [APPLICATION 2] IMPLICIT INTEGER
+  Name ::= [APPLICATION 1] IMPLICIT SEQUENCE   {
+	givenName VisibleString,
+	initial VisibleString,
+	familyName VisibleString }
+  ChildInformation ::= SET {
+	name Name,
+	dateOfBirth [0] Date}
+  Record ::= [APPLICATION 0] IMPLICIT SET {
+	name Name,
+	title [0] VisibleString,
+	number EmployeeNumber,
+	dateOfHire [1] Date,
+	nameOfSpouse [2] Name,
+	children [3] IMPLICIT SEQUENCE OF ChildInformation DEFAULT {} }
+END
+
+<STATIC>
+
+
+type component Test_CT {}
+
+<TTCN_TC:PURE_EXEC>
+
+import from TempA all;
+
+external function enc_OER_Date(in Date pdu) return octetstring with { extension "prototype(convert) encode(OER)" }
+external function dec_OER_Date(in octetstring stream) return Date with { extension "prototype(convert) decode(OER)" }
+
+external function enc_OER_EmployeeNumber(in EmployeeNumber pdu) return octetstring with { extension "prototype(convert) encode(OER)" }
+external function dec_OER_EmployeeNumber(in octetstring stream) return EmployeeNumber with { extension "prototype(convert) decode(OER)" }
+
+external function enc_OER_Name(in Name pdu) return octetstring with { extension "prototype(convert) encode(OER)" }
+external function dec_OER_Name(in octetstring stream) return Name with { extension "prototype(convert) decode(OER)" }
+
+external function enc_OER_ChildInformation(in ChildInformation pdu) return octetstring with { extension "prototype(convert) encode(OER)" }
+external function dec_OER_ChildInformation(in octetstring stream) return ChildInformation with { extension "prototype(convert) decode(OER)" }
+
+external function enc_OER_Record(in Record pdu) return octetstring with { extension "prototype(convert) encode(OER)" }
+external function dec_OER_Record(in octetstring stream) return Record with { extension "prototype(convert) decode(OER)" }
+
+//*********************************************
+// TESTCASES
+//*********************************************
+
+testcase tc_OER_encoding_of_Date() runs on Test_CT {
+  const Date date :=  "19710917"
+  const octetstring raw_encoded := '083139373130393137'O; 
+
+  if (enc_OER_Date(date) == raw_encoded) {setverdict(pass);} else {setverdict(fail);}
+  if (dec_OER_Date(raw_encoded) == date) {setverdict(pass);} else {setverdict(fail);}
+}
+
+testcase tc_OER_encoding_of_EmployeeNumber() runs on Test_CT {
+  const EmployeeNumber empl_num :=  51
+  if (enc_OER_EmployeeNumber(empl_num) == '0133'O) {setverdict(pass);} else {setverdict(fail);}
+}
+
+testcase tc_OER_encoding_of_Name() runs on Test_CT {
+  const Name name :=  {
+	givenName := "John",
+	initial := "P",
+	familyName := "Smith"
+  }
+  const octetstring raw_encoded := '044A6F686E015005536D697468'O; 
+
+  if (enc_OER_Name(name) == raw_encoded) {setverdict(pass);} else {setverdict(fail);}
+  if (dec_OER_Name(raw_encoded) == name) {setverdict(pass);} else {setverdict(fail);}
+}
+
+testcase tc_OER_ChildInformation() runs on Test_CT {
+  const ChildInformation child := {
+	name := {
+		givenName := "Ralph",
+		initial := "T",
+		familyName := "Smith"
+	},
+	dateOfBirth := "19571111"
+  }
+  const octetstring raw_encoded := '0552616C7068015405536D697468083139353731313131'O;
+
+  if (enc_OER_ChildInformation(child) == raw_encoded) {setverdict(pass);} else {setverdict(fail);}
+  if (dec_OER_ChildInformation(raw_encoded) == child) {setverdict(pass);} else {setverdict(fail);}
+}
+
+testcase tc_OER_Record() runs on Test_CT {
+  const octetstring raw_encoded := 
+	'80044A6F686E015005536D6974680133084469726563746F72083139373130393137044D617279015405536D69746801020552616C7068015405536D69746808313935373131313105537573616E0142054A6F6E6573083139353930373137'O;
+  const Record rec := {
+	name := {
+		givenName := "John",
+		initial := "P",
+		familyName := "Smith"},
+	title := "Director",
+	number := 51,
+	dateOfHire := "19710917",
+	nameOfSpouse := {
+		givenName := "Mary",
+		initial := "T",
+		familyName := "Smith"},
+	children := {
+		{ name := {
+			givenName := "Ralph",
+			initial := "T",
+			familyName := "Smith"},
+		dateOfBirth := "19571111" },
+		{ name := {
+			givenName := "Susan",
+			initial := "B",
+			familyName := "Jones"},
+		dateOfBirth := "19590717"}
+	}
+  }
+
+  if (enc_OER_Record(rec) == raw_encoded) {setverdict(pass);} else {setverdict(fail);}
+  if (dec_OER_Record(raw_encoded) == rec) {setverdict(pass);} else {setverdict(fail);}
+}
+
+//*********************************************
+// CONTROL PART
+//*********************************************
+
+control {
+  execute(tc_OER_encoding_of_Date());
+  execute(tc_OER_encoding_of_EmployeeNumber());
+  execute(tc_OER_encoding_of_Name());
+  execute(tc_OER_ChildInformation());
+  execute(tc_OER_Record());
+}
+
+<RESULT>
+
+Overall verdict: pass
+
+<END_TC>
+

function_test/OER_EncDec/Makefile

+##############################################################################
+# Copyright (c) 2000-2018 Ericsson Telecom AB
+# All rights reserved. This program and the accompanying materials
+# are made available under the terms of the Eclipse Public License v2.0
+# which accompanies this distribution, and is available at
+# https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
+#
+# Contributors:
+#   
+#   Balasko, Jeno
+#   Delic, Adam
+#   Hanko, Matyas
+#   Kovacs, Ferenc
+#   Lovassy, Arpad
+#   Ormandi, Matyas
+#   Raduly, Csaba
+#   Szabados, Kristof
+#   Szabo, Janos Zoltan – initial implementation
+#   Tarasov, Victor
+#
+##############################################################################
+# uncomment this line to use alternative runtime (TITAN_RUNTIME_2)
+# RT2 = yes
+
+# This Makefile was generated by the compiler
+# of the TTCN-3 Test Executor version 1.4.pl5
+# for Matyas Hanko (ethmhk@duna61) on Mon Oct  6 16:26:18 2003
+
+# The following make commands are available:
+# - make, make all       Builds the executable test suite.
+# - make compile         Translates TTCN-3 and ASN.1 modules to C++.
+# - make clean           Removes all generated files.
+# - make dep             Creates/updates dependency list.
+# - make archive         Archives all source files.
+
+#
+# Set these variables...
+#
+
+TOP := ../../
+include   $(TOP)/Makefile.cfg
+
+
+# The path of your TTCN-3 Test Executor installation:
+# Uncomment this line to override the environment variable.
+# TTCN3_DIR =
+
+# Your platform: (SOLARIS, LINUX, FREEBSD or WIN32)
+ifndef PLATFORM
+PLATFORM = SOLARIS
+endif
+
+# Your C++ compiler:
+#CXX = g++
+
+# Flags for the C++ preprocessor (and makedepend as well):
+CPPFLAGS = -D$(PLATFORM) -I$(TTCN3_DIR)/include -I$(XMLDIR)/include/libxml2
+ifdef RT2
+CPPFLAGS += -DTITAN_RUNTIME_2
+endif
+ifeq ($(DEBUG), yes)
+CPPFLAGS += -DMEMORY_DEBUG
+endif
+
+# Flags for the C++ compiler:
+CXXFLAGS = -Wall
+
+# Flags for the linker:
+LDFLAGS =
+
+# Flags for the TTCN-3 and ASN.1 compiler:
+COMPILER_FLAGS = -L
+ifdef RT2
+COMPILER_FLAGS += -R
+endif
+
+# Execution mode: (either ttcn3 or ttcn3-parallel)
+ifndef RT2
+TTCN3_LIB = ttcn3
+else
+TTCN3_LIB = ttcn3-rt2
+endif
+
+
+# The path of your OpenSSL installation:
+# If you do not have your own one, leave it unchanged.
+OPENSSL_DIR = $(TTCN3_DIR)
+
+# Directory to store the archived source files:
+# Note: you can set any directory except ./archive
+ARCHIVE_DIR = ./backup
+
+#
+# You may change these variables. Add your files if necessary...
+#
+
+# The TTCN-3 modules needed for this project:
+TTCN3_MODULES = Temp.ttcn
+
+# The ASN.1 modules needed for this project:
+ASN1_MODULES = TempA.asn IEEE1609dot2BaseTypes.asn IEEE1609dot2.asn EtsiTs103097Module.asn
+
+# C++ source & header files generated by TTCN-3 & ASN.1 compilers:
+GENERATED_SOURCES = Temp.cc $(ASN1_MODULES:.asn=.cc)
+GENERATED_HEADERS = Temp.hh $(ASN1_MODULES:.asn=.hh)
+
+# Source & header files of Test Ports and your other modules:
+USER_SOURCES =
+USER_HEADERS =
+
+# All object files needed for the executable test suite:
+# OBJECTS = Temp.o TempA.o IEEE1609dot2BaseTypes.o IEEE1609dot2.o
+OBJECTS = $(GENERATED_SOURCES:.cc=.o)
+
+# The name of the executable test suite:
+TARGET = Temp
+
+ifdef COVERAGE
+CPPFLAGS += -fprofile-arcs -ftest-coverage -g
+CXXFLAGS += -fprofile-arcs -ftest-coverage -g
+LDFLAGS += -fprofile-arcs -ftest-coverage -g -lgcov
+endif
+
+#
+# Do not modify these unless you know what you are doing...
+#
+SOLARIS_LIBS = -lxnet -L$(XMLDIR)/lib -lxml2 -lresolv -lcurses
+SOLARIS8_LIBS = -lxnet -L$(XMLDIR)/lib -lxml2 -lresolv -lnsl -lsocket -lcurses
+LINUX_LIBS = -L$(XMLDIR)/lib -lxml2 -lpthread -lrt -lncurses
+FREEBSD_LIBS = -L$(XMLDIR)/lib -lxml2 -lncurses
+WIN32_LIBS = -L$(XMLDIR)/lib -lxml2 -lncurses
+
+#
+# Rules for building the executable...
+#
+all: $(TARGET) ;
+
+$(TARGET): $(OBJECTS)
+	$(CXX) $(LDFLAGS) -o $@ $(OBJECTS) -L$(TTCN3_DIR)/lib -l$(TTCN3_LIB) \
+	-L$(OPENSSL_DIR)/lib -lcrypto $($(PLATFORM)_LIBS)
+
+.cc.o .c.o:
+	$(CXX) -c $(CPPFLAGS) $(CXXFLAGS) $<
+
+$(GENERATED_SOURCES) $(GENERATED_HEADERS): compile
+	@if [ ! -f $@ ]; then $(RM) compile; $(MAKE) compile; fi
+
+compile: $(TTCN3_MODULES) $(ASN1_MODULES)
+	$(TTCN3_DIR)/bin/compiler $(COMPILER_FLAGS) $(TTCN3_MODULES) \
+	$(ASN1_MODULES) $(ASN1_STATIC_MODULES) - $?
+	touch $@
+
+clean:
+	-$(RM) $(TARGET) $(OBJECTS) $(GENERATED_HEADERS) \
+	$(GENERATED_SOURCES) compile *.log *.gcda *.gcno
+
+dep: $(GENERATED_SOURCES)
+	makedepend $(CPPFLAGS) $(USER_SOURCES) $(GENERATED_SOURCES)
+
+archive:
+	mkdir -p $(ARCHIVE_DIR)
+	tar -cvhf - $(TTCN3_MODULES) $(ASN1_MODULES) \
+	$(USER_HEADERS) $(USER_SOURCES) Makefile \
+	| gzip >$(ARCHIVE_DIR)/$(TARGET)-`date '+%y%m%d-%H%M'`.tgz
+

function_test/OER_EncDec/OER_EncDec_ETSI_TS_103_097_v131.script

+.******************************************************************************
+.* Copyright (c) 2000-2018 Ericsson Telecom AB
+.* All rights reserved. This program and the accompanying materials
+.* are made available under the terms of the Eclipse Public License v2.0
+.* which accompanies this distribution, and is available at
+.* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
+.*
+.* Contributors:
+.*   Balasko, Jeno
+.*   Beres, Szabolcs
+.*   Delic, Adam
+.*   Kovacs, Ferenc
+.*   Szabados, Kristof
+.*
+.******************************************************************************/
+:text.
+:lang eng.
+.*
+:docname.Test Description
+:docno.8/152 91-CRL 113 200/5 Uen
+:rev.C
+:date.2015-04-27
+.*
+:prep.ETH/XZR Kristof Szabados (+36 1 437 7256)
+:appr.ETH/XZ (Roland Gecse)
+:checked.ETHBAAT
+.*
+:title.Test Description - OER coder
+:contents level=3.
+.*---------------------------------------------------------------------*
+:h1.PREREQUISITES AND PREPARATIONS
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h2.Scope of the Test Object
+.*---------------------------------------------------------------------*
+:xmp tab=1 nokeep.
+
+This TD contains unified test cases related to TTCN3 Executor's OER coder function.
+
+The target of these test cases are the basic data types from specification
+'ISO/IEC 8825-7:2015 -- Information technology – ASN.1 encoding rules:
+Specification of Octet Encoding Rules'
+
+The target data types are used in the following technical specification:
+ 'ETSI TS 103 097 V1.3.1 (2017-10)'
+Intelligent Transport Systems (ITS); Security;
+Security header and certificate formats and certificate formats 
+
+ 'IEEE Std 1609.2-2016 IEEE Standard'
+Wireless Access in Vehicular Environments—Security Services for
+Applications and Management Messages
+
+:exmp.
+
+:p.:us.Revision Information:eus.
+
+:xmp nokeep.
+:us.History:eus.
+
+REV   DATE         PREPARED   CHANGE
+===   ==========   ========   ======
+A     2003-10-31   ETHEKR     New document
+B     2007-03-06   EDMDELI    Implicit message encoding
+C     2007-03-21   EJNOSZA    Bugfix in a testcase for implicit msg. enc.
+D     2008-10-01   EFERKOV    Big integers
+E     2010-01-18   EKRISZA    Updated for TITAN R8C
+F     2011-06-18   EKRISZA    Added tests for errors
+A     2011-12-12   EKRISZA     Updated for release
+PB1   2011-01-30   ETHBAAT    Editorial changes
+
+:exmp.
+
+
+.*---------------------------------------------------------------------*
+:h2.Test Tools
+.*---------------------------------------------------------------------*
+:p.:us.Software Tools:eus.
+:xmp tab=2 nokeep.
+
+	SAtester
+
+:exmp.
+:np.
+.*---------------------------------------------------------------------*
+:h1.REQUIREMENT-BASED TESTS
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h2.Testing OER encoding of the basic types
+.*---------------------------------------------------------------------*
+.*---------------------------------------------------------------------*
+:h3. OER encoding
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - OER encoding (unified tests)>
+
+<STATIC:ASN>
+
+TempA
+
+DEFINITIONS ::=
+
+BEGIN
+
+IMPORTS
+  Certificate, Ieee1609Dot2Data FROM IEEE1609dot2 {
+    iso(1) identified-organization(3) ieee(111)
+    standards-association-numbered-series-standards(2) wave-stds(1609)
+    dot2(2) base(1) schema(1) major-version-2(2)
+  };
+
+  TestIeee1609Dot2Data ::= Ieee1609Dot2Data
+  TestCertificate ::= Certificate
+
+END
+
+<STATIC>
+
+
+type component Test_CT {}
+
+<TTCN_TC:PURE_EXEC>
+
+import from TempA all;
+
+external function enc_Ieee1609Dot2Data(in TestIeee1609Dot2Data pdu) return octetstring with { extension "prototype(convert) encode(OER)" }
+external function dec_Ieee1609Dot2Data(in octetstring stream) return TestIeee1609Dot2Data with { extension "prototype(convert) decode(OER)" }
+
+//*********************************************
+// TESTCASES
+//*********************************************
+
+//D.5.1 “Basic safety message” with dummy payload, signed with a digest
+testcase tc_Ieee1609Dot2Data_SignedWithDigest() runs on Test_CT {
+  const octetstring encoded := 
+'0381004003800F5468697320697320612042534D0D0A4001201112131415161718802122232425262728808231323334353637383132333435363738313233343536373831323334353637384142434445464748414243444546474841424344454647484142434445464748'O;
+  const TestIeee1609Dot2Data data := {
+    protocolVersion := 3,
+    content := {
+      signedData := {
+        hashId := sha256,
+        tbsData := {
+          payload := {
+            data := {
+              protocolVersion := 3,
+              content := { unsecuredData := '5468697320697320612042534D0D0A'O} 
+            }
+          },
+          headerInfo := {
+            psid := 32,
+            generationTime := 1230066625199609624
+          } 
+        },
+        signer := {digest := '2122232425262728'O},
+        signature_ := {
+          ecdsaNistP256Signature := {
+            rSig := { compressed_y_0 := '3132333435363738313233343536373831323334353637383132333435363738'O },
+            sSig := '4142434445464748414243444546474841424344454647484142434445464748'O
+          }
+        }
+      }
+    } 
+  };
+
+  const TestIeee1609Dot2Data decoded := {
+    protocolVersion := 3,
+    content := {
+      signedData := {
+        hashId := sha256,
+        tbsData := {
+          payload := {
+            data := {
+              protocolVersion := 3,
+              content := { unsecuredData := '5468697320697320612042534D0D0A'O} 
+            },
+            extDataHash := omit
+          },
+          headerInfo := {
+            psid := 32,
+            generationTime := 1230066625199609624,
+            expiryTime := omit,
+            generationLocation := omit,
+            p2pcdLearningRequest := omit,
+            missingCrlIdentifier := omit,
+            encryptionKey := omit,
+            inlineP2pcdRequest := omit,
+            requestedCertificate := omit
+          } 
+        },
+        signer := {digest := '2122232425262728'O},
+        signature_ := {
+          ecdsaNistP256Signature := {
+            rSig := { compressed_y_0 := '3132333435363738313233343536373831323334353637383132333435363738'O },
+            sSig := '4142434445464748414243444546474841424344454647484142434445464748'O
+          }
+        }
+      }
+    } 
+  };
+
+  if (enc_Ieee1609Dot2Data(data) == encoded) {setverdict(pass);} else {setverdict(fail);}
+  if (dec_Ieee1609Dot2Data(encoded) == decoded) {setverdict(pass);} else {setverdict(fail);}
+}
+
+// D.5.2 “Basic safety message” with dummy pay load, signed with a certificate
+testcase tc_Ieee1609Dot2Data_SignedWithCertificate() runs on Test_CT {
+  const octetstring encoded :=
+    '0381004003800F5468697320697320612042534D0D0A4001201112131415161718810101000301802122232425262728508080006431323334353637383941424344515253545556575859616263004604E09A208400A983010380007C8001E4800348010200012000012681829192939495969798919293949596979891929394959697989192939495969798808231323334353637383132333435363738313233343536373831323334353637384142434445464748414243444546474841424344454647484142434445464748'O;
+
+  const TestIeee1609Dot2Data data := {
+    protocolVersion := 3,
+    content := {
+      signedData := {
+        hashId := sha256,
+        tbsData := {
+          payload := {
+            data := {
+              protocolVersion := 3,
+              content := { unsecuredData := '5468697320697320612042534D0D0A'O }
+            }
+          },
+          headerInfo := { psid := 32, generationTime := 1230066625199609624 }
+        },
+        signer := {
+          certificate := {
+            {
+              version := 3,
+              type_ := implicit,
+                issuer := { sha256AndDigest := '2122232425262728'O },
+                toBeSigned := {
+                  id := {
+                    linkageData := {
+                      iCert := 100,
+                      linkage_value := '313233343536373839'O,
+                      group_linkage_value := { jValue := '41424344'O, value_ := '515253545556575859'O }
+                    }
+                  },
+                  cracaId := '616263'O,
+                  crlSeries := 70,
+                  validityPeriod := { start_ := 81828384, duration := { hours := 169 } },
+                  region := { identifiedRegion := { { countryOnly := 124 }, { countryOnly := 484 }, { countryOnly := 840 } } },
+                  appPermissions := { { psid := 32}, { psid := 38} },
+                  verifyKeyIndicator := { reconstructionValue := { compressed_y_0 := '9192939495969798919293949596979891929394959697989192939495969798'O } }
+                }
+              }
+            }
+          },
+          signature_ := {
+            ecdsaNistP256Signature := {
+              rSig := { compressed_y_0 := '3132333435363738313233343536373831323334353637383132333435363738'O},
+              sSig := '4142434445464748414243444546474841424344454647484142434445464748'O
+            }
+          }
+        }
+      }
+    };
+
+  const TestIeee1609Dot2Data decoded := {
+    protocolVersion := 3,
+    content := {
+      signedData := {
+        hashId := sha256,
+        tbsData := {
+          payload := {
+            data := {
+              protocolVersion := 3,
+              content := { unsecuredData := '5468697320697320612042534D0D0A'O }
+            },
+            extDataHash := omit
+          },
+          headerInfo := {
+            psid := 32,
+            generationTime := 1230066625199609624,
+            expiryTime := omit,
+            generationLocation := omit,
+            p2pcdLearningRequest := omit,
+            missingCrlIdentifier := omit,
+            encryptionKey := omit,
+            inlineP2pcdRequest := omit,
+            requestedCertificate := omit
+          }
+        },
+        signer := {
+          certificate := {
+            {
+              version := 3,
+              type_ := implicit,
+                issuer := { sha256AndDigest := '2122232425262728'O },
+                toBeSigned := {
+                  id := {
+                    linkageData := {
+                      iCert := 100,
+                      linkage_value := '313233343536373839'O,
+                      group_linkage_value := {
+                        jValue := '41424344'O,
+                        value_ := '515253545556575859'O
+                      }
+                    }
+                  },
+                  cracaId := '616263'O,
+                  crlSeries := 70,
+                  validityPeriod := {
+                    start_ := 81828384,
+                    duration := { hours := 169 }
+                  },
+                  region := {
+                    identifiedRegion := {
+                      { countryOnly := 124 },
+                      { countryOnly := 484 },
+                      { countryOnly := 840 }
+                    }
+                  },
+                  assuranceLevel := omit,
+                  appPermissions := {
+                    { psid := 32, ssp := omit },
+                    { psid := 38, ssp := omit }
+                  },
+                  certIssuePermissions := omit,
+                  certRequestPermissions := omit,
+                  canRequestRollover := omit,
+                  encryptionKey := omit,
+                  verifyKeyIndicator := {
+                    reconstructionValue := { compressed_y_0 := '9192939495969798919293949596979891929394959697989192939495969798'O }
+                  }
+                },
+                signature_ := omit
+              }
+            }
+          },
+          signature_ := {
+            ecdsaNistP256Signature := {
+              rSig := { compressed_y_0 := '3132333435363738313233343536373831323334353637383132333435363738'O},
+              sSig := '4142434445464748414243444546474841424344454647484142434445464748'O
+            }
+          }
+        }
+      }
+    };
+
+  if (enc_Ieee1609Dot2Data(data) == encoded) {setverdict(pass);} else {setverdict(fail);}
+  if (dec_Ieee1609Dot2Data(encoded) == decoded) {setverdict(pass);} else {setverdict(fail);}
+}
+//*********************************************
+// CONTROL PART
+//*********************************************
+
+control {
+  execute(tc_Ieee1609Dot2Data_SignedWithDigest());
+  execute(tc_Ieee1609Dot2Data_SignedWithCertificate());
+}
+
+<RESULT>
+
+Overall verdict: pass
+
+<END_TC>
+

function_test/OER_EncDec/Temp.cfg

+###############################################################################
+# Copyright (c) 2000-2018 Ericsson Telecom AB
+# All rights reserved. This program and the accompanying materials
+# are made available under the terms of the Eclipse Public License v2.0
+# which accompanies this distribution, and is available at
+# https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
+#
+# Contributors:
+#   Balasko, Jeno
+#   Hanko, Matyas
+#
+###############################################################################
+[MODULE_PARAMETERS]
+[LOGGING]
+LogSourceInfo := Yes
+Logfile := "Temp.log"
+FileMask := LOG_ALL
+ConsoleMask := TTCN_WARNING | TTCN_ERROR | TTCN_TESTCASE | TTCN_STATISTICS | DEBUG_ENCDEC
+[EXECUTE]
+Temp

function_test/OER_EncDec/run_test_itspki

+#!/bin/sh
+
+# Script parameters are coming from ../Makefile.
+../Tools/SAtester $* ./OER_EncDec_ITSPKI.script
+rm Temp.ttcn
+rm TempA.asn

function_test/OER_EncDec/run_test_personnel_record

+#!/bin/sh
+
+# Script parameters are coming from ../Makefile.
+../Tools/SAtester $* ./ISOIEC-8825-7-2015-AnnexA-PersonnelRecord.script
+rm Temp.ttcn
+rm TempA.asn