�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