CONTENTS

 1     Scope
 2     Normative references
 3     Definitions
        3.1     Basic terms from Recommendation X.290
        3.2     Terms from Recommendation X.200
        3.3     Terms from Recommendation X.210
        3.4     Terms from Recommendation X.680
        3.5     Terms from Recommendation X.690
        3.6     TTCN specific terms
 4     Abbreviations
        4.1     Abbreviations defined in Recommendation X.290
        4.2     Abbreviations defined in Recommendation X.291
        4.3     Other abbreviations
 5     Syntax forms of TTCN
 6     Compliance
 7     Conventions
        7.1     Introduction
        7.2     Syntactic metanotation
        7.3     TTCN.GR table proformas
        7.4     Free Text and Bounded Free Text
 8     Concurrency in TTCN
        8.1     Test Components
        8.2     Test Component Configurations
 9     TTCN Test Suite structure
        9.1     Introduction
        9.2     Test Group References
        9.3     Test Step Group References
        9.4     Default Group References
        9.5     Parts of a TTCN test suite
10     Test Suite Overview
       10.1     Introduction
       10.2     Test Suite Structure
       10.3     Test Case Index
       10.4     Test Step Index
       10.5     Default Index
       10.6     Test Suite Exports
       10.7     Import Part
11     Declarations Part
       11.1     Introduction
       11.2     TTCN types
       11.3     TTCN operators and TTCN operations
       11.4     Test Suite Parameter Declarations
       11.5     Test Case Selection Expression Definitions
       11.6     Test Suite Constant Declarations
       11.7     Test Suite Constant Declarations by Reference
       11.8     TTCN variables
       11.9     PCO Type Declaration
      11.10     PCO Declarations
      11.11     CP Declarations
      11.12     Timer Declarations
      11.13     Test Components and Configuration Declarations
      11.14     ASP Type Definitions
      11.15     PDU Type Definitions
      11.16     Test Suite Encoding Information
      11.17     CM Type Definitions
      11.18     String length specifications
      11.19     ASP, PDU and CM Definitions for SEND events
      11.20     ASP, PDU and CM Definitions for RECEIVE events
      11.21     Alias Definitions
12     Constraints Part
       12.1     Introduction
       12.2     General principles
       12.3     Parameterization of constraints
       12.4     Chaining of constraints
       12.5     Constraints for SEND events
       12.6     Constraints for RECEIVE events
13     Specification of constraints using tables
       13.1     Introduction
       13.2     Structured Type Constraint Declarations
       13.3     ASP Constraint Declarations
       13.4     PDU Constraint Declarations
       13.5     Parameterization of constraints
       13.6     Base constraints and modified constraints
       13.7     Formal parameter lists in modified constraints
       13.8     CM Constraint Declarations
14     Specification of constraints using ASN.1
       14.1     Introduction
       14.2     ASN.1 Type Constraint Declarations
       14.3     ASN.1 ASP Constraint Declarations
       14.4     ASN.1 PDU Constraint Declarations
       14.5     Parameterized ASN.1 constraints
       14.6     Modified ASN.1 constraints
       14.7     Formal parameter lists in modified ASN.1 constraints
       14.8     ASP Parameter and PDU field names within ASN.1 constraints
       14.9     ASN.1 CM Constraint Declarations
15     Dynamic Part
       15.1     Introduction
       15.2     Test Case dynamic behaviour
       15.3     Test Step dynamic behaviour
       15.4     Default dynamic behaviour
       15.5     Behaviour description
       15.6     Tree notation
       15.7     Tree names and parameter lists
       15.8     TTCN statements
       15.9     TTCN test events
      15.10     Expressions
      15.11     Pseudo-events
      15.12     Timer management
      15.13     ATTACH construct
      15.14     Labels and the GOTO construct
      15.15     REPEAT construct
      15.16     Constraints Reference
      15.17     Verdicts
      15.18     Meaning of Defaults
Annex     A – Syntax and static semantics of TTCN
        A.1     Introduction
        A.2     Conventions for the syntax description
        A.3     TTCN.MP syntax productions in BNF
        A.4     General static semantics requirements
        A.5     Differences between TTCN.GR and TTCN.MP
        A.6     List of BNF production numbers
Annex B – Operational Semantics of TTCN
        B.1     Introduction
        B.2     Precedence
        B.3     Processing of test case errors
        B.4     Converting a modularized test suite to an equivalent expanded test suite
        B.5     TTCN operational semantics
Annex C – TTCN Modules
        C.1     Introduction
        C.2     TTCN Module Overview Part
        C.3     Import Part
Annex D – Test Suite Index
        D.1     Introduction
        D.2     The Test Suite Index
Annex E – Compact proformas
        E.1     Introduction
        E.2     Compact proformas for constraints
        E.3     Compact proforma for Test Cases
Appendix I – Examples
        I.1     Examples of tabular constraints
        I.2     Examples of ASN1 constraints
        I.3     Base and modified constraints
        I.4     Type definition using macros
        I.5     Use of REPEAT
        I.6     Test suite operations
        I.7     Example of a Test Suite Overview
        I.8     Example of a Test Case in TTCN.MP Form
        I.9     Use of Component Reference for Field Value Assignment in Constraints
       I.10     Multi-Party Testing
       I.11     Multiplexing/Demultiplexing
       I.12     Splitting and Recombining
       I.13     Multi-Protocol Test Cases
       I.14     Example of Modular TTCN
       I.15     Example of CREATE and DONE
Appendix II – Style guide
       II.1     Introduction
       II.2     Test case structure
       II.3     Use of TTCN with different abstract test methods
       II.4     Use of Defaults
       II.5     Limiting the execution time of a Test Case
       II.6     Structured Types
       II.7     Abbreviations
       II.8     Test descriptions
       II.9     Assignments on SEND events
      II.10     Multi-service PCOs
Appendix III – Index
      III.1     Introduction
      III.2     The Index