1 Ámbito
2
Referencias normativas
3
Definiciones
3.1 Términos básicos extraídos de la Recomendación X.290
3.2 Términos de la Recomendación X.200
3.3 Términos de la Recomendación X.210
3.4 Términos de la
Recomendación X.680
3.5 Términos de la Recomendación X.690
3.6 Términos específicos de la TTCN
4
Abreviaturas
4.1 Abreviaturas definidas en la Recomendación X.290
4.2 Abreviaturas definidas en la Recomendación X.291
4.3 Otras abreviaturas
5
Formas de sintaxis de la TTCN
6
Cumplimiento
7
Convenios
7.1 Introducción
7.2 Metanotación sintáctica
7.3 Formularios de cuadro en TTCN.GR
7.4 Texto libre y texto libre limitado
8
Concurrencia en TTCN
8.1 Componentes de prueba
8.2 Configuraciones de componentes de prueba
9
Estructura de la sucesión de pruebas con TTCN
9.1 Introducción
9.2 Referencias de grupos de pruebas
9.3 Referencias de grupo de pasos de prueba
9.4 Referencias de grupo de valores por defecto
9.5 Partes de una sucesión de pruebas con TTCN
10 Visión general de la sucesión de
pruebas
10.1 Introducción
10.2 Estructura de la sucesión de pruebas
10.3 Índice de caso de prueba
10.4 Índice de paso de prueba
10.5 Índice de valores por defecto
10.6 Exportaciones de la sucesión de pruebas
10.7 Parte importación
11 Parte declaraciones
11.1 Introducción
11.2 Tipos de TTCN
11.3 Operadores de TTCN y operaciones de TTCN
11.4 Declaraciones de parámetros de sucesión de pruebas
11.5 Definiciones de expresión de selección de caso de prueba
11.6 Declaraciones de constantes de sucesiones de pruebas
11.7 Declaraciones de constantes de sucesiones de pruebas por
referencia
11.8 Variables de TTCN
11.9 Declaraciones de tipos de PCO
11.10 Declaraciones de PCO
11.11 Declaraciones de CP
11.12 Declaraciones de temporizador
11.13 Componentes de prueba y declaraciones de configuración
11.14 Definiciones de tipos de ASP
11.15 Definiciones de tipos de PDU
11.16 Información de codificación de sucesión de pruebas
11.17 Definiciones de tipos de CM
11.18 Especificaciones de longitud de cadena
11.19 Definiciones de ASP, PDU y CM para eventos SEND (enviar)
11.20 Definiciones de ASP, PDU y CM para eventos RECEIVE (recibir)
11.21 Definiciones de alias
12 Parte constricciones
12.1 Introducción
12.2 Principios generales
12.3 Parametrización de constricciones
12.4 Encadenamiento de constricciones
12.5 Constricciones para eventos SEND
12.6 Constricciones para eventos RECEIVE
13 Especificación de constricciones
mediante cuadros (o tablas)
13.1 Introducción
13.2 Declaraciones de constricciones de tipo estructurado
13.3 Declaraciones de constricciones de ASP
13.4 Declaraciones de constricciones de PDU
13.5 Parametrización de constricciones
13.6 Constricciones de base y constricciones modificadas
13.7 Listas de parámetros formales en las constricciones
modificadas
13.8 Declaraciones de constricciones de CM
14 Especificación de constricciones
mediante ASN.1
14.1 Introducción
14.2 Declaraciones de constricciones de tipo en ASN.1
14.3 Declaraciones de constricciones de ASP en ASN.1
14.4 Declaraciones de constricciones de PDU en ASN.1
14.5 Constricciones en ASN.1 parametrizadas
14.6 Constricciones en ASN.1 modificadas
14.7 Listas de parámetros formales en las constricciones en ASN.1
modificadas
14.8 Nombres de parámetro de ASP y campo de PDU en las
constricciones en ASN.1
14.9 Declaraciones de constricción de CM en ASN.1
15 Parte dinámica
15.1 Introducción
15.2 Comportamiento dinámico de caso de prueba
15.3 Comportamiento dinámico de paso de prueba
15.4 Comportamiento dinámico por defecto
15.5 Descripción de comportamiento
15.6 Notación arborescente
15.7 Nombres de árbol y lista de parámetros
15.8 Enunciados en TTCN
15.9 Eventos de prueba en TTCN
15.10 Expresiones
15.11 Seudoeventos
15.12 Gestión de temporizador
15.13 Constructivo ATTACH
15.14 Etiquetas y constructivo GOTO
15.15 Constructivo REPEAT
15.16 Referencia a constricciones
15.17 Veredictos
15.18 Significado de los valores por defecto
Anexo A – Sintaxis y semántica
estática de la TTCN
A.1 Introducción
A.2 Convenios para la descripción de sintaxis
A.3 Producciones de
sintaxis de TTCN.MP en BNF
A.4 Requisitos generales de semántica estática
A.5 Diferencias entre TTCN.GR y TTCN.MP
A.6 Lista de números de producción en BNF
Anexo B – Semántica operacional de la TTCN
B.1 Introducción
B.2 Precedencia
B.3 Procesamiento de errores de caso de prueba
B.4 Conversión de una sucesión de pruebas modularizada a una
sucesión de pruebas expandida equivalente
B.5 Semántica operacional de la TTCN
Anexo C – Módulos TTCN
C.1 Introducción
C.2 Parte visión general del módulo TTCN
C.3 Parte importación
Anexo D – Índice de sucesión de pruebas
D.1 Introducción
D.2 Índice de sucesión de pruebas
Anexo E – Formularios compactos
E.1 Introducción
E.2 Formularios compactos para constricciones
E.3 Formulario compacto para casos de prueba
Apéndice I – Ejemplos
I.1 Ejemplos de constricciones en forma de tabla
I.2 Ejemplos de constricciones en ASN.1
I.3 Constricciones de base y modificadas
I.4 Definición de tipo utilizando macros
I.5 Utilización de REPEAT
I.6 Operaciones de sucesiones de pruebas
I.7 Ejemplo de visión general de una sucesión de pruebas
I.8 Ejemplo de un caso de prueba en forma TTCN.MP
I.9 Utilización de referencia de componentes para la asignación de
valores de campo en constricciones
I.10 Pruebas multiparte
I.11 Multiplexación/demultiplexación
I.12 Partición y recombinación
I.13 Casos de prueba multiprotocolo
I.14 Ejemplo de TTCN modular
I.15 Ejemplo de CREATE y DONE
Apéndice II – Guía de estilo
II.1 Introducción
II.2 Estructura de caso de prueba
II.3 Utilización de la TTCN con diferentes métodos de prueba
abstracta
II.4 Utilización de valores por defecto
II.5 Limitación del tiempo de ejecución de un caso de prueba
II.6 Tipos estructurados
II.7 Abreviaturas
II.8 Descripciones de prueba
II.9 Asignación en caso de eventos SEND
II.10 PCO multiservicio
Apéndice III – Índice
III.1 Introducción
III.2 Índice