1
Alcance
2
Referencias
3
Definiciones y abreviaturas
3.1 Definiciones
3.2 Definiciones de la Rec. UIT-T X.290 e ISO/CEI 9646-1
3.3 Definiciones de la Rec. UIT-T X.292 e ISO/CEI 9646-3
3.4 Abreviaturas
4 Introducción
4.1 El lenguaje núcleo y formatos de presentación
5 Elementos de lenguaje básicos
5.1 Definiciones, ejemplificaciones y declaraciones
5.2 Ordenación de elementos de lenguaje
5.2.1 Referencias hacia adelante
5.3 Parametrización
5.3.1 Introducción de parámetros por referencia y por valor
5.3.2 Listas de parámetros formales y reales
5.3.3 Lista de parámetros formales vacía
5.3.4 Listas de parámetros jerarquizados
5.4 Reglas de alcance
5.4.1 Alcance y reutilización de
identificadores
5.4.2 Alcance de parámetros formales
5.5 Identificadores y palabras clave
6 Tipos y valores
6.1 Tipos y valores básicos
6.1.1 Tipos y valores de cadena básicos
6.1.2 Acceso a elementos de cadena
6.2 Subtipos y valores definidos por el usuario
6.2.1 Lista de valores
6.2.2 Gamas
6.2.3 Restricciones de longitud de cadena
6.3 Tipos y valores estructurados
6.3.1 Tipos y valores de registro
6.3.2 Tipos y valores de conjuntos
6.3.3 Registros y conjuntos de tipos
6.3.4 Tipos y valores enumerados
6.3.5 Uniones
6.4 Matrices
6.5 Tipos recursivos
6.6 Parametrización de tipos
6.7 Compatibilidad de tipos
6.7.1 Conversión de tipos
7 Módulos
7.1 Denominación de
módulos
7.2 Parametrización de módulos
7.2.1 Valores por defecto para parámetros de módulo
7.3 Parte de definiciones del módulo
7.3.1 Grupos de definiciones
7.4 Parte de control del módulo
7.5 Importación de módulos
7.5.1 Reglas sobre la utilización de importación
7.5.2 Importación de definiciones individuales
7.5.3 Importación de todas las definiciones de un módulo
7.5.4 Importación de grupos
7.5.5 Importación de definiciones de la misma clase
7.5.6 Importación recursiva de definiciones complejas
7.5.7 Tratamiento de conflictos de
nombres en importación
7.5.8 Tratamiento de múltiples referencias a la misma definición
7.5.9 Importación de parámetros de módulo
7.5.10 Definiciones de importación de módulos no TTCN
8 Configuraciones de prueba
8.1 Modelo de comunicación de puertos
8.2 Interfaz de sistema de prueba abstracta
8.3 Definición de tipos de puertos de comunicación
8.3.1 Puertos mixtos
8.4 Definición de tipos de componentes
8.4.1 Declaración de variables y temporizadores locales en un componente
8.4.2 Definición de componentes con matrices de puertos
8.5 Direccionamiento de entidades dentro del SUT
8.6 Referencias de componentes
8.7 Definición de la interfaz del sistema de prueba
9 Declaración de constantes
10 Declaración de variables
11 Declaración de temporizadores
11.1 Temporizadores como parámetros
12 Declaración de mensajes
12.1 Campos de mensaje facultativos
13 Declaración de firmas de procedimiento
13.1 Omisión de parámetros reales
13.2 Especificación de excepciones
14 Declaración de plantillas
14.1 Declaración de plantillas de mensaje
14.1.1 Plantillas para enviar mensajes
14.1.2 Plantillas para recibir mensajes
14.2 Declaración de plantillas de firma
14.2.1 Plantillas para llamada de procedimientos
14.2.2 Plantillas para aceptar llamadas de procedimiento
14.3 Mecanismos de concordancia de plantillas
14.4 Parametrización de plantillas
14.4.1 Parametrización con atributos concordantes
14.5 Paso de plantillas como parámetros
14.6 Plantillas modificadas
14.6.1 Parametrización de plantillas modificadas
14.6.2 Plantillas modificadas en línea
14.7 Cambio de campos de plantilla
14.8 Operación Match
14.9 Operación Valueof
15 Operadores
15.1 Operadores aritméticos
15.2 Operadores de cadena
15.3 Operadores relacionales
15.4 Operadores lógicos
15.5 Operadores para bits
15.6 Operadores de cambio
15.7 Operadores de rotación
16 Funciones
16.1 Parametrización de funciones
16.2 Invocación de funciones
16.3 Funciones predefinidas
17 Casos de prueba
18 Enunciados de programa y operaciones
19 Enunciados de programa básicos
19.1 Expresiones
19.1.1 Expresiones booleanas
19.2 Asignaciones
19.3 El enunciado Log
19.4 El enunciado
Label
19.5 El enunciado
Goto
19.6 El enunciado If-else
19.7 El enunciado
For
19.8 El enunciado While
19.9 El enunciado Do-while
19.10 El enunciado
Stop execution
20 Enunciados de programa comportamentales
20.1 Comportamiento secuencial
20.2 Comportamiento
alternativo
20.2.1 Ejecución de comportamiento alternativo
20.2.2 Selección/deselección de una alternativa
20.2.3 Rama Else en alternativas
20.2.4 Declaración de alternativas denominadas
20.2.5 Expansión de alternativas con alternativas denominadas
20.2.6 Parametrización de alternativas denominadas
20.2.7 El enunciado Label en comportamiento
20.2.8 El enunciado Goto en comportamiento
20.3 Comportamiento entrelazado
20.4 Comportamiento
por defecto
20.4.1 Las operaciones Activate y Deactivate
20.5 El enunciado Return
21 Operaciones de
configuración
21.1 La operación Create
21.2 Las operaciones Connect y Map
21.2.1 Conexiones coherentes
21.3 Las operaciones Disconnect y Unmap
21.4 Las operaciones MTC, System y Self
21.5 La operación Start test component
21.6 La operación Stop test component
21.7 La operación
Running
21.8 La operación
Done
21.9 Utilización de matrices de componente
21.10 Utilización de Any y All con componentes
22 Operaciones de comunicación
22.1 Operaciones emisoras
22.1.1 Formato general de las operaciones
emisoras
22.1.2 La operación Send
22.1.3 La operación Call
22.1.4 La operación Reply
22.1.5 La operación Raise
22.2 Operaciones
receptoras
22.2.1 Formato general de las operaciones receptoras
22.2.2 La operación Receive
22.2.3 La operación Trigger
22.2.4 La operación Getcall
22.2.5 La operación Getreply
22.2.6 La operación Catch
22.2.7 La operación Check
22.3 Control de puertos de comunicación
22.3.1 La operación Clear port
22.3.2 La operación Start port
22.3.3 La operación Stop port
22.4 Utilización de Any y All con puertos
23 Operaciones de temporizador
23.1 La operación Start timer
23.2 La operación Stop timer
23.3 La operación Read timer
23.4 La operación Running timer
23.5 El evento Timeout
23.6 Utilización de any y all con temporizadores
24 Operaciones de veredicto de prueba
24.1 Veredicto de caso de prueba
24.2 Valores de veredicto y reglas de sobrescritura
24.2.1 Veredicto de error
25 Operaciones del SUT
26 Parte de control de
módulo
26.1 Ejecución de casos de prueba
26.2 Terminación de casos de prueba
26.3 Control de la ejecución de casos de prueba
26.4 Selección de casos de prueba
26.5 Utilización de temporizadores en control
27 Especificación de atributos
27.1 Atributos de visualización
27.2 Atributos de codificación
27.2.1 Codificaciones no válidas
27.3 Atributos de extensión
27.4 Alcance de atributos
27.5 Reglas de sobrescritura para atributos
27.6 Cambio de atributos de elementos de lenguaje importados
Anexo A -
Forma de Backus-Nauer y semántica estática
A.1 Forma de Backus-Nauer para TTCN‑3
A.1.1 Convenios para la descripción de la sintaxis
A.1.2 Símbolos de terminador de enunciado
A.1.3 Identificadores
A.1.4 Comentarios
A.1.5 Terminales de TTCN-3
A.1.6 Producciones BNF para sintaxis TTCN‑3
Anexo B -
Semántica operacional
B.1 Estructura de este anexo
B.2 Sustitución de notaciones abreviadas y llamadas de macro
B.2.1 Orden de pasos de sustitución
B.2.2 Adición de operaciones stop y return en descripciones de comportamiento
B.2.3 Sustitución de constantes globales y parámetros de módulo
B.2.4 Inserción de operaciones receptoras en enunciados alt
B.2.5 Expansión de macro
B.2.6 Sustitución de la construcción interleave
B.2.7 Expansión de comportamientos por defecto
B.2.8 Sustitución de operaciones Trigger
B.2.9 Sustitución de las palabras clave 'any' y 'all'
B.3 Semántica de gráficos de flujo de TTCN‑3
B.3.1 Flujogramas
B.3.2 Representación mediante flujogramas de descripciones de comportamiento
TTCN‑3
B.3.3 Definiciones de estados para módulos TTCN‑3
B.3.4 Mensajes, llamadas de procedimiento, respuestas y excepciones
B.3.5 Registros de llamada para funciones y casos de prueba
B.3.6 Procedimiento de evaluación para
un módulo TTCN‑3
B.3.7 Definiciones de segmentos de flujograma para construcciones TTCN‑3
B.3.8 Listas de componentes semánticos operacionales
Anexo C -
Concordancia de valores entrantes
C.1 Mecanismos de concordancia de plantillas
C.1.1 Concordancia de valores específicos
C.1.2 Mecanismos de concordancia de valores
C.1.3 Mecanismos de concordancia dentro
de valores
C.1.4 Concordancia de atributos de valores
C.1.5 Concordancia de patrones de caracteres
Anexo D -
Funciones TTCN‑3 predefinidas
D.1 Funciones TTCN‑3 predefinidas
D.1.1 Entero a carácter
D.1.2 Carácter a entero
D.1.3 Entero a carácter universal
D.1.4 Carácter universal a entero
D.1.5 Cadena de bits a entero
D.1.6 Cadena hexadecimal a entero
D.1.7 Cadena de octetos a entero
D.1.8 Cadena de caracteres a entero
D.1.9 Entero a cadena de bits
D.1.10 Entero a cadena hexadecimal
D.1.11 Entero a cadena de octetos
D.1.12 Entero a cadena de caracteres
D.1.13 Longitud de tipo de cadena
D.1.14 Número de elementos en un tipo estructurado
D.1.15 La función IsPresent
D.1.16 La función IsChosen
Anexo E -
Utilización de otros tipos de datos con TTCN‑3
E.1 Utilización de ASN.1 con TTCN-3
E.1.1 Equivalentes de tipos ASN.1 y TTCN-3
E.1.2 Tipos y valores de datos ASN.1
E.1.3 Parametrización en ASN.1
E.1.4 Definición de tipos de mensajes con ASN.1
E.1.5 Definición de plantillas de mensajes ASN.1
E.1.6 Información de codificación