�NDICE

�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����