Resumen

En esta Recomendaci�n se define el TFT, el formato tabular para la notaci�n de pruebas y de control de pruebas versi�n 3 (TTCN-3). El TFT es el formato de presentaci�n tabular del lenguaje n�cleo de notaci�n de pruebas y de control de pruebas versi�n 3 (TTCN‑3, testing and test control notation 3) que se define en la Rec. UIT‑T Z.140. Es similar en apariencia y funcionalidad al TTCN‑2 definido en la Rec. UIT‑T X.292 para la realizaci�n de las pruebas de conformidad. El formato tabular es una manera alternativa de visualizar el lenguaje n�cleo que, al mismo tiempo, enfatiza los aspectos espec�ficos de las sucesiones de pruebas de conformidad normalizadas.

Si bien el lenguaje n�cleo puede utilizarse independientemente del formato de presentaci�n tabular, este �ltimo no puede utilizarse sin el lenguaje n�cleo. La utilizaci�n y aplicaci�n del formato de presentaci�n tabular se har� sobre la base del lenguaje n�cleo.

Esta Recomendaci�n define las proformas, las correspondencias de sintaxis, la sem�ntica est�tica adicional, las restricciones de la sem�ntica operacional, la visualizaci�n y otros atributos que, en conjunto, constituyen el formato de presentaci�n tabular.

El TFT ha heredado todas las propiedades esenciales del lenguaje n�cleo y est� previsto para ser utilizado en las especificaciones de sucesiones de pruebas independientes de las plataformas, m�todos de pruebas, capas de protocolos y protocolos. El TTCN‑3 puede utilizarse para especificar todo tipo de pruebas de sistemas reactivas en diversos puertos de comunicaciones. Las esferas de aplicaci�n t�picas son las pruebas de protocolos (incluidos los protocolos m�viles e Internet), las pruebas de servicio (incluidos los servicios suplementarios), las pruebas de m�dulo, las pruebas de plataformas CORBA y API. Queda fuera del alcance de esta Recomendaci�n la especificaci�n de sucesiones de pruebas para los protocolos de capa f�sica.

Desde la primera publicaci�n de las Recs. UIT-T Z.140 y Z.141 en julio de 2001, se han aportado actualizaciones significativas al lenguaje n�cleo de TTCN‑3, que se reflejan en el TFT. En esta Recomendaci�n se incluyen los siguientes cambios:

1)�� correcciones a los ejemplos y otras correcciones formales;

2)�� reestructuraci�n del documento para una mejor comprensi�n;

3)�� el anexo B, Sem�ntica operativa, es ahora un documento independiente;

4)�� se han ampliado las funciones definidas por el usuario;

5)�� se han corregido los errores de la BNF, a la que tambi�n se han aportado las modificaciones resultantes de las actualizaciones;

6)�� se han a�adido mecanismos de correspondencia de modelos;

7)�� se ha mejorado el sistema de tipos (incluida una mejor definici�n de la equivalencia de tipos) y se ha a�adido un nuevo tipo de car�cter;

8)�� se ha mejorado el mecanismo de importaci�n; y

9)�� los alts nombrados se han eliminado y han sido sustituidos por altsteps, con una sem�ntica mejorada.