1 Alcance
2 Referencias
normativas
2.1 Recomendaciones | Normas
Internacionales idénticas
2.2 Pares de Recomendaciones
| Normas Internacionales cuyo contenido técnico es equivalente
2.3 Referencias adicionales
3 Definiciones
3.1 Términos básicos
extraídos de la Rec. UIT-T X.290
3.2 Términos de la Rec. UIT-T X.200
3.3 Términos de la Rec. UIT-T X.210
3.4 Términos de la Rec. UIT-T X.680
3.5 Términos de la Rec. UIT-T X.690
3.6 Términos específicos de
la TTCN
4 Abreviaturas
4.1 Abreviaturas definidas
en la Rec. UIT-T X.290
4.2 Abreviaturas definidas
en la Rec. UIT-T X.291
4.3 Otras abreviaturas
5 Las 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.3.1 Introducción
7.3.2 Cuadro para
objeto TTCN único
7.3.3 Cuadro de objeto TTCN múltiple
7.3.4 Cuadros compactos alternativos
7.3.5 Especificación de formularios
7.4 Texto libre y texto libre
limitado
8 Concurrencia en
la TTCN
8.1 Componentes de prueba
8.2 Configuraciones de
componentes de prueba
9 Estructura de la
serie de pruebas con TTCN
9.1 Introducción
9.2 Referencias de grupos de
prueba
9.3 Referencias de grupo de
pasos de prueba
9.4 Referencias de grupo de
valores por defecto
9.5 Partes de una serie de
pruebas TTCN
10 Visión general de la serie de pruebas
10.1 Introducción
10.2 Índice de series de pruebas
10.3 Estructura de la serie
de pruebas
10.4 Índice de casos de
prueba
10.5 Índice de pasos de
prueba
10.6 Índice de valores por
defecto
10.7 Exportaciones de serie
de pruebas
10.8 La parte Importación
10.8.1 Introducción
10.8.2 Importaciones
11 La parte Declaraciones
11.1 Introducción
11.2 Tipos de TTCN
11.2.1 Introducción
11.2.2 Tipos TTCN predefinidos
11.2.3 Definiciones de tipos de series de pruebas
11.3 Operadores de TTCN y
operaciones de TTCN
11.3.1 Introducción
11.3.2 Operadores de TTCN
11.3.3 Operaciones predefinidas
11.3.4 Definiciones y descripciones de operaciones serie
de pruebas
11.4 Declaraciones de
parámetros de serie de pruebas
11.5 Definiciones de
expresión de selección de caso de prueba
11.6 Declaraciones de
constantes de series de pruebas
11.7 Declaraciones de
constantes de series de pruebas por referencia
11.8 Variables de TTCN
11.8.1 Declaraciones de variables de series de pruebas
11.8.2 Acotación de variables de series de pruebas
11.8.3 Declaraciones de variables de casos de prueba
11.8.4 Acotación de variables de casos de prueba
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.13.1 Componentes de
prueba
11.13.2 Declaraciones de configuraciones de componentes de
prueba
11.14 Definiciones de tipos de
ASP
11.14.1 Introducción
11.14.2 Definiciones de tipos de ASP mediante cuadros
11.14.3 Utilización de tipos estructurados en las
definiciones de tipo de ASP
11.14.4 Definiciones de tipos de ASP con ASN.1
11.14.5 Definiciones de tipos de ASP en ASN.1 por
referencia
11.15 Definiciones de tipos de
PDU
11.15.1 Introducción
11.15.2 Definición de tipos de PDU mediante cuadros
11.15.3 Utilización de tipos estructurados dentro de las
definiciones de PDU
11.15.4 Definiciones de tipo de PDU con ASN.1
11.15.5 Definiciones de tipo de PDU en ASN.1 por
referencia
11.16 Información de
codificación de serie de pruebas
11.16.1 Definiciones de codificación
11.16.2 Variaciones de codificación
11.16.3 Definiciones de codificación de campo no válidas
11.16.4 Aplicación de las reglas de codificación
11.17 Definiciones de tipos de
CM
11.17.1 Introducción
11.17.2 Definiciones de tipos de CM mediante cuadros
11.17.3 Definiciones de tipos de CM con ASN.1
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
11.21.1 Introducción
11.21.2 Expansión 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
12.6.1 Valores de concordancia
12.6.2 Mecanismos de concordancia
12.6.3 Specific Value (valor específico)
12.6.4 Instead of value (valor en vez de)
12.6.5 Inside Values (valores interiores)
12.6.6 Atributes of values (atributos de valores)
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 ASP
y campo de PDU en las constricciones en ASN.1
14.9 Declaraciones de
constricción de CM en ASN.1
15 La parte dinámica
15.1 Introducción
15.2 Comportamiento dinámico
de caso de prueba
15.2.1 Especificación del cuadro de comportamiento
dinámico de caso de prueba
15.2.2 El formulario de
comportamiento dinámico de caso de prueba
15.2.3 Estructura del comportamiento de caso de prueba
15.2.4 Descripción del comportamiento de caso de prueba
concurrente
15.2.5 Numeración y
continuación de líneas
15.3 Comportamiento dinámico
de paso de prueba
15.3.1 Especificación del cuadro de comportamiento
dinámico de los pasos de prueba
15.3.2 El formulario de comportamiento dinámico de paso
de prueba
15.4 Comportamiento dinámico
por defecto
15.4.1 Comportamiento por defecto
15.4.2 Especificación del cuadro de comportamiento
dinámico por defecto
15.4.3 El formulario de comportamiento dinámico por
defecto
15.5 La descripción de
comportamiento
15.6 La notación arborescente
15.7 Nombres de árbol y lista
de parámetros
15.7.1 Introducción
15.7.2 Árboles con parámetros
15.8 Enunciados en TTCN
15.9 Eventos de prueba en
TTCN
15.9.1 Eventos de enviar y recibir
15.9.2 Eventos de recibir
15.9.3 Eventos de enviar
15.9.4 Tiempo de vida de los eventos
15.9.5 Ejecución del árbol de comportamiento
15.9.6 El evento IMPLICIT SEND
15.9.7 El evento OTHERWISE
15.9.8 El evento OTHERWISE y la TTCN concurrente
15.9.9 El evento TIMEOUT
15.9.10 Eventos y constructivos en la TTCN concurrente
15.10 Expresiones en TTCN
15.10.1
Introducción
15.10.2 Referencias a objetos de datos definidos en ASN.1
15.10.3 Referencias para objetos de datos definidos con
cuadros
15.10.4 Asignaciones
15.10.5 Calificadores
15.10.6 Líneas de evento con asignaciones y calificadores
15.11 Seudoeventos
15.12 Gestión de temporizador
15.12.1 Introducción
15.12.2 La operación START
15.12.3 La operación CANCEL
15.12.4 La operación READTIMER
15.13 El constructivo ATTACH
15.13.1 Introducción
15.13.2 Ámbito de la adjunción de árbol
15.13.3 Aspectos básicos de la adjunción de árbol
15.13.4 El significado de adjunción de árbol
15.13.5 Paso de constricciones parametrizadas
15.13.6 Adjunción recursiva de árbol
15.13.7 Adjunción de árboles y valores por defecto
15.14 Etiquetas y constructivo
GOTO
15.15 El constructivo REPEAT
15.16 La referencia a
constricciones
15.16.1 Finalidad de la columna referencia a
constricciones
15.16.2 Paso de
parámetros en referencias a constricciones
15.16.3 Constricciones y calificadores y asignaciones
15.17 Veredictos
15.17.1 Introducción
15.17.2 Resultados preliminares
15.17.3 Veredicto final
15.17.4 Veredictos y OTHERWISE
15.17.5 Asignación de veredicto en la TTCN concurrente
15.18 El significado de
valores por defecto
15.18.1 Introducción
15.18.2 Referencias de valores por defecto
15.18.3 El enunciado RETURN (devolución)
15.18.4 El enunciado ACTIVATE
15.18.5 Valores por defecto y adjunción de árbol
15.18.6 Adjunción de árboles, valores por defecto,
Activate y Return
15.18.7 Valores por defecto y CREATE
15.18.8 Valores por defecto y mensajes CM
16 Continuación de página
Anexo
A – Sintaxis y semántica estática de la TTCN
A.1 Introducción
A.2 Convenciones de la
descripción de sintaxis
A.2.1 Metanotación sintáctica
A.2.2 Definiciones de sintaxis de TTCN.MP
A.3 Las producciones de
sintaxis TTCN.MP en BNF
A.3.1 Especificación de TTCN
A.3.2 Módulo de TTCN
A.3.3 Serie de pruebas
A.4 Requisitos generales de
semántica estática
A.4.1 Introducción
A.4.2 Exclusividad de los identificadores
A.5 Diferencias entre
TTCN.GR y TTCN.MP
A.5.1 Diferencias de sintaxis
A.5.2 Semántica estática adicional en la 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 serie
de pruebas modularizada a una serie de pruebas expandida equivalente
B.5 Semántica operacional de
la TTCN
B.5.1 Introducción
B.5.2 Notación de seudocódigo
B.5.3 Ejecución de un caso de prueba
B.5.4 Ejecución de un caso de prueba
B.5.5 Expansión de un conjunto de alternativas
B.5.6 Evaluación de una línea de evento
B.5.7 Funciones para eventos de TTCN
B.5.8 Ejecución del evento SEND
B.5.9 Ejecución del evento RECEIVE
B.5.10 Ejecución del evento OTHERWISE
B.5.11 Ejecución del evento TIMEOUT
B.5.12 Ejecución del
evento DONE
B.5.13 Ejecución del evento IMPLICIT SEND
B.5.14 Ejecución de un pseudo-event
B.5.15 Ejecución de expresiones BOOLEAN
B.5.16
Ejecución de
asignaciones
B.5.17 Ejecución de operaciones TIMER
B.5.18 Funciones para constructivos de TTCN
B.5.19 Ejecución del constructivo ACTIVATE
B.5.20 Ejecución del constructivo CREATE
B.5.21 Ejecución del constructivo GOTO
B.5.22 Ejecución del constructivo RETURN
B.5.23 Veredicto
B.5.24 Registro cronológico de conformidad
B.5.25 Funciones y
procedimientos de tratamiento del árbol
B.5.26 Funciones diversas utilizadas por el seudocódigo
Anexo C – Módulos TTCN
C.1 Introducción
C.2 Parte visión general del
módulo TTCN
C.2.1 Introducción
C.2.2 Exportaciones del módulo TTCN
C.2.3 Estructura del módulo TTCN
C.2.4 Índice de casos de prueba
C.2.5 Índice de pasos de prueba
C.2.6 Índice de valores por defecto
C.3 Parte importación
C.3.1 Introducción
C.3.2 Externos
C.3.3 Importación
Anexo
D – Índice de serie de pruebas
Anexo E – Formularios
compactos
E.1 Introducción
E.2 Formularios compactos
para constricciones
E.2.1 Requisitos
E.2.2 Formularios compactos para las constricciones de
ASP
E.2.3 Formularios compactos para constricciones de PDU
E.2.4 Formularios compactos para constricciones de tipo
estructurado
E.2.5 Formularios compactos para constricciones en ASN.1
E.3 Formulario compacto para
casos de prueba
E.3.1 Requisitos
E.3.2 Formulario compacto para comportamiento dinámico
de casos de prueba
Página
Anexo F – Ejemplos
F.1 Ejemplos de
constricciones en forma de cuadro
F.1.1 Definiciones de
ASP y PDU
F.1.2 Constricciones de ASP/PDU
F.2 Ejemplos de
constricciones en ASN.1
F.2.1 Definiciones de ASP y PDU
F.2.2 Constricciones de ASP/PDU en ASN.1
F.2.3 Otros ejemplos de constricciones en ASN.1
F.3 Constricciones de base y
modificadas
F.4 Definición de tipo con
macros
F.5 Utilización de REPEAT
F.6 Operaciones series de
pruebas
F.7 Ejemplo de visión
general de una serie de pruebas
F.8 Ejemplo de un caso de
prueba en forma TTCN.MP
F.9 Utilización de
referencia a componentes para la asignación de valores de campo en
constricciones
F.10 Pruebas multiparte
F.11 Multiplexación/demultiplexación
F.12 Partición y
recombinación
F.13 Casos de prueba
multiprotocolo
F.14 Ejemplo de TTCN modular
Anexo
G – Guía de estilo
G.1 Introducción
G.2 Estructura de caso de
prueba
G.3 Utilización de la TTCN
con diferentes métodos de prueba abstracta
G.3.1 Introducción
G.3.2 La TTCN y el método de prueba LS
G.3.3 La TTCN y el método de prueba DS
G.3.4 La TTCN y el método de prueba CS
G.3.5 La TTCN y el método de prueba RS
G.4 Utilización de valores
por defecto
G.5 Limitación del tiempo de
ejecución de un caso de prueba
G.6 Tipos estructurados
G.7 Abreviaturas
G.8 Descripciones de prueba
G.9 Asignación en caso de
eventos SEND
G.10 PCO multiservicio
Anexo H – Índice
H.1 Introducción
H.2 Índice