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.