1
Alcance
2
Referencias
3 Abreviaturas, siglas o acrónimos
4 Descripción general
5 Conceptos de lenguaje GFT
6 Correspondencia entre GFT y el lenguaje núcleo TTCN‑3
7 Estructura del módulo
8 Símbolos del GFT
9 Diagrama GFT
9.1
Propiedades comunes
9.2
Diagrama de control
9.3
Diagrama de caso de
prueba
9.4
Diagrama de función
9.5
Diagrama de alternativas
10
Ejemplares en diagramas
GFT
10.1
Ejemplares de control
10.2
Ejemplares del
componente de prueba
10.3
Ejemplares de puerto
11
Elementos de los
diagramas GFT
11.1
Reglas de dibujo
generales
11.2 Invocación a diagramas GFT
11.3
Declaraciones
11.4
Enunciados de programa
básicos
11.5
Los enunciados de
comportamiento del programa
11.6
Tratamiento de valores
por defecto
11.7
Operaciones de configuración
11.8
Operaciones de
comunicación
11.9
Operaciones de
temporización
11.10
Las operaciones
veredicto de prueba
11.11
Acciones externas
11.12
Especificación de
atributos
Annex A
(normative) – GFT BNF
A.1
Meta-language
for GFT
A.2
Conventions
for the syntax description
A.3
The GFT
grammar
Annex B
(informative) – Reference guide for GFT
Annex C
(informative) – Mapping GFT to TTCN-3 Core Language
C.1
Approach
C.2 Modelling GFT graphical grammar in SML
Annex D
(informative) – Mapping TTCN-3 core language to GFT
D.1
Approach
D.2 Modelling GFT graphical grammar in SML
Annex
E (informative) – Examples
E.1
The restaurant example
E.2
The INRES example