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 Diagramas 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 – GFT BNF
A.1 Meta-Language for GFT
A.2 Conventions for the syntax
description
A.3 The GFT grammar
Annex B – Reference Guide for GFT
Annex C – Examples
C.1 The Restaurant example
C.2 The INRES example