Intellectual Property Rights
Foreword
Introduction
1 Scope
2 References
3 Abbreviations
4 Overview
5 GFT language concepts
6 Mapping between GFT and TTCN-3 Core Notation
7 Module structure
8 GFT symbols
9 GFT diagrams
9.1 Common properties
9.1.1 Diagram area
9.1.2 Diagram heading
9.1.3 Paging
9.2 Control diagram
9.3 Test case diagram
9.4 Function diagram
9.5 Altstep diagram
10 Instances in GFT diagrams
10.1 Control instance
10.2 Test component instances
10.3 Port instances
11 Elements of GFT diagrams
11.1 General drawing rules
11.1.1 Usage of semicolons
11.1.2 Usage of action symbols
11.1.3 Comments
11.2 Invoking GFT diagrams
11.2.1 Execution of test cases
11.2.2 Invocation of functions
11.2.3 Invocation of altsteps
11.3 Declarations
11.3.1 Declaration of timers, constants and variables
in action symbols
11.3.2 Declaration of constants and variables within
inline expression symbols
11.3.3 Declaration of constants and variables within
create symbols
11.3.4 Declaration of constants and variables within
default symbols
11.3.5 Declaration of constants and variables within
reference symbols
11.3.6 Declaration of constants and variables within
execute test case symbols
11.4 Basic program statements
11.4.1 The Log statement
11.4.2 The Label statement
11.4.3 The Goto statement
11.4.4 The If-else statement
11.4.5 The For statement
11.4.6 The While statement
11.4.7 The Do-while statement
11.5 Behavioural Program Statements
11.5.1 Sequential behaviour
11.5.2 Alternative Behaviour
11.5.2.1 Selecting/Deselecting an Alternative
11.5.2.2 Else branch in alternatives
11.5.3 The Repeat statement
11.5.4 Interleaved Behaviour
11.5.5 The Return statement
11.6 Default handling
11.6.1 Default references
11.6.2 The activate operation
11.6.3 The deactivate operation
11.7 Configuration operations
11.7.1 The Create operation
11.7.2 The Connect and Map operations
11.7.3 The Disconnect and Unmap operations
11.7.4 The Start test component operation
11.7.5 The Stop execution and Stop test component
operations
11.7.6 The Done operation
11.8 Communication operation
11.8.1 General format of the sending operations
11.8.2 General format of the receiving operations
11.8.3 Message-based communication
11.8.3.1 The Send operation
11.8.3.2 The Receive operation
11.8.3.3 The Trigger operation
11.8.4 Procedure-based communication
11.8.4.1 The Call operation
11.8.4.2 The Getcall operation
11.8.4.3 The Reply operation
11.8.4.4 The Getreply operation
11.8.4.5 The Raise operation
11.8.4.6 The Catch operation
11.8.5 The Check operation
11.8.5.1 The Check any operation
11.8.5.2 Check on any port
11.8.6 Controlling communication ports
11.8.6.1 The Clear port operation
11.8.6.2 The Start port operation
11.8.6.3 The Stop port operation
11.8.6.4 Use of any and all with ports
11.9 Timer operations
11.9.1 The Start timer operation
11.9.2 The Stop timer operation
11.9.3 The Timeout operation
11.9.4 The Read timer operation
11.9.5 Use of any and all with timers
11.10 Test verdict operations
11.11 External actions
11.12 Specifying attributes
Annex A: GFT BNF
A.1 Meta-Language for GFT
A.2 Conventions for the syntax description
A.3 The GFT Grammar
A.3.1 Diagrams
A.3.2 Instances
A.3.3 Timer
A.3.4 Action
A.3.5 Invocation
A.3.6 Activation/Deactivation of Defaults
A.3.7 Test Components
A.3.8 Inline Expressions
A.3.9 Condition
A.3.10 Message-based Communication
A.3.11 Signature-based Communication
A.3.12 Trigger and Check
A.3.13 Handling of Communication from Any Port
A.3.14 Labelling
Annex B: Reference Guide for GFT
Annex C: Mapping GFT to TTCN-3 core notation
C.1 Approach
C.1.1 Void
C.1.2 Overview of SML/NJ
C.2 Modelling GFT graphical grammar in SML
C.2.1 SML modules
C.2.2 Function naming and references
C.2.3 Given functions
C.2.4 GFT and core SML types
C.2.5 GFT to CN mapping functions
Annex D: Mapping TTCN-3 core notation to GFT
D.1 Approach
D.1.1 Void
D.1.2 Overview of SML/NJ
D.2 Modelling GFT graphical grammar in SML
D.2.1 SML modules
D.2.2 Function naming and references
D.2.3 Given functions
D.2.4 Core and GFT SML types
D.2.5 Core to GFT mapping functions
Annex E: Examples
E.1 The Restaurant example
E.2 The INRES Example
History