ITU-T Z 143 SPANISH-2006 Testing and Test Control Notation version 3 (TTCN-3) Operational semantics《测试和测试控制符号版本3(TTCN-3) 操作语义 17号研究组》.pdf

《ITU-T Z 143 SPANISH-2006 Testing and Test Control Notation version 3 (TTCN-3) Operational semantics《测试和测试控制符号版本3(TTCN-3) 操作语义 17号研究组》.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 143 SPANISH-2006 Testing and Test Control Notation version 3 (TTCN-3) Operational semantics《测试和测试控制符号版本3(TTCN-3) 操作语义 17号研究组》.pdf（132页珍藏版）》请在麦多课文档分享上搜索。

1、 Unin Internacional de TelecomunicacionesUIT-T Z.143SECTOR DE NORMALIZACIN DE LAS TELECOMUNICACIONES DE LA UIT (03/2006) SERIE Z: LENGUAJES Y ASPECTOS GENERALES DE SOPORTE LGICO PARA SISTEMAS DE TELECOMUNICACIN Tcnicas de descripcin formal Notacin de prueba y de control de prueba Notacin de pruebas

2、y de control de pruebas versin 3: Semntica operacional Recomendacin UIT-T Z.143 RECOMENDACIONES UIT-T DE LA SERIE Z LENGUAJES Y ASPECTOS GENERALES DE SOPORTE LGICO PARA SISTEMAS DE TELECOMUNICACIN TCNICAS DE DESCRIPCIN FORMAL Lenguaje de especificacin y descripcin Z.100Z.109 Aplicacin de tcnicas de

3、descripcin formal Z.110Z.119 Grficos de secuencias de mensajes Z.120Z.129 Lenguaje ampliado de definicin de objetos Z.130Z.139 Notacin de prueba y de control de prueba Z.140Z.149 Notacin de requisitos de usuarios Z.150Z.159 LENGUAJES DE PROGRAMACIN CHILL: el lenguaje de alto nivel del UIT-T Z.200Z.2

4、09 LENGUAJE HOMBRE-MQUINA Principios generales Z.300Z.309 Sintaxis bsica y procedimientos de dilogo Z.310Z.319 LHM ampliado para terminales con pantalla de visualizacin Z.320Z.329 Especificacin de la interfaz hombre-mquina Z.330Z.349 Interfaces hombre-mquina orientadas a datos Z.350Z.359 Interfaces

5、hombre-mquina para la gestin de las redes de telecomunicaciones Z.360Z.379 CALIDAD Calidad de soportes lgicos de telecomunicaciones Z.400Z.409 Aspectos de la calidad de las Recomendaciones relativas a los protocolos Z.450Z.459 MTODOS Mtodos para validacin y pruebas Z.500Z.519 SOPORTE INTERMEDIO Ento

6、rno del procesamiento distribuido Z.600Z.609 Para ms informacin, vase la Lista de Recomendaciones del UIT-T. Rec. UIT-T Z.143 (03/2006) i Recomendacin UIT-T Z.143 Notacin de pruebas y de control de pruebas versin 3: Semntica operacional Resumen En esta nueva Recomendacin se define la semntica operac

7、ional de la notacin de pruebas y de control de pruebas 3 (TTCN-3). La semntica operacional es necesaria para interpretar inequvocamente las especificaciones hechas con TTCN-3. La presente Recomendacin utiliza el lenguaje ncleo definido en la Rec. UIT-T Z.140. Orgenes La Recomendacin UIT-T Z.143 fue

8、aprobada el 16 de marzo de 2006 por la Comisin de Estudio 17 (2005-2008) del UIT-T por el procedimiento de la Recomendacin UIT-T A.8. ii Rec. UIT-T Z.143 (03/2006) PREFACIO La UIT (Unin Internacional de Telecomunicaciones) es el organismo especializado de las Naciones Unidas en el campo de las telec

9、omunicaciones. El UIT-T (Sector de Normalizacin de las Telecomunicaciones de la UIT) es un rgano permanente de la UIT. Este rgano estudia los aspectos tcnicos, de explotacin y tarifarios y publica Recomendaciones sobre los mismos, con miras a la normalizacin de las telecomunica-ciones en el plano mu

10、ndial. La Asamblea Mundial de Normalizacin de las Telecomunicaciones (AMNT), que se celebra cada cuatro aos, establece los temas que han de estudiar las Comisiones de Estudio del UIT-T, que a su vez producen Recomendaciones sobre dichos temas. La aprobacin de Recomendaciones por los Miembros del UIT

11、-T es el objeto del procedimiento establecido en la Resolucin 1 de la AMNT. En ciertos sectores de la tecnologa de la informacin que corresponden a la esfera de competencia del UIT-T, se preparan las normas necesarias en colaboracin con la ISO y la CEI. NOTA En esta Recomendacin, la expresin “Admini

12、stracin“ se utiliza para designar, en forma abreviada, tanto una administracin de telecomunicaciones como una empresa de explotacin reconocida de telecomunicaciones. La observancia de esta Recomendacin es voluntaria. Ahora bien, la Recomendacin puede contener ciertas disposiciones obligatorias (para

13、 asegurar, por ejemplo, la aplicabilidad o la interoperabilidad), por lo que la observancia se consigue con el cumplimiento exacto y puntual de todas las disposiciones obligatorias. La obligatoriedad de un elemento preceptivo o requisito se expresa mediante las frases “tener que, haber de, hay que +

14、 infinitivo“ o el verbo principal en tiempo futuro simple de mandato, en modo afirmativo o negativo. El hecho de que se utilice esta formulacin no entraa que la observancia se imponga a ninguna de las partes. PROPIEDAD INTELECTUAL La UIT seala a la atencin la posibilidad de que la utilizacin o aplic

15、acin de la presente Recomendacin suponga el empleo de un derecho de propiedad intelectual reivindicado. La UIT no adopta ninguna posicin en cuanto a la demostracin, validez o aplicabilidad de los derechos de propiedad intelectual reivindicados, ya sea por los miembros de la UIT o por terceros ajenos

16、 al proceso de elaboracin de Recomendaciones. En la fecha de aprobacin de la presente Recomendacin, la UIT no ha recibido notificacin de propiedad intelectual, protegida por patente, que puede ser necesaria para aplicar esta Recomendacin. Sin embargo, debe sealarse a los usuarios que puede que esta

17、informacin no se encuentre totalmente actualizada al respecto, por lo que se les insta encarecidamente a consultar la base de datos sobre patentes de la TSB en la direccin http:/www.itu.int/ITU-T/ipr/. UIT 2007 Reservados todos los derechos. Ninguna parte de esta publicacin puede reproducirse por ni

18、ngn procedimiento sin previa autorizacin escrita por parte de la UIT. Rec. UIT-T Z.143 (03/2006) iii NDICE Pgina 1 Alcance 1 2 Referencias . 1 3 Definiciones, abreviaturas, siglas o acrnimos 1 3.1 Definiciones. 1 3.2 Abreviaturas, siglas o acrnimos 1 4 Introduccin 1 5 Estructura de la presente Recom

19、endacin 2 6 Restricciones . 2 7 Sustitucin de las formas simplificadas. 2 7.1 Orden de los pasos de sustitucin . 3 7.2 Sustitucin de constantes globales y parmetros de mdulo. 3 7.3 Incorporacin de operaciones de recepcin individuales en instrucciones alt. 3 7.4 Incorporacin de solicitudes autnomas a

20、ltstep en instrucciones alt. 4 7.5 Sustitucin de instrucciones interleave 4 7.6 Sustitucin de operaciones de validacin . 18 8 Semntica de los diagramas de flujo de TTCN-3. 18 8.1 Diagramas de flujo 18 8.2 Representacin del comportamiento de TTCN-3 mediante diagramas de flujo. 23 8.3 Definiciones de

21、estado de los mdulos de TTCN-3 28 8.5 Registros de solicitud de funciones, altstep y casos de prueba 39 8.6 Procedimiento de evaluacin de los mdulos TTCN-3 40 9 Segmentos de diagrama de flujo para las construcciones de TTCN-3 41 9.1 Instruccin action 42 9.2 Instruccin activate 42 9.3 Instruccin alt.

22、 43 9.4 Solicitud de altstep 49 9.5 Instruccin assignment (de asignacin) 49 9.6 Operacin call (solicitud) 49 9.7 Operacin catch 55 9.8 Operacin check (verificar). 56 9.9 Operacin de puerto clear . 59 9.10 Operacin connect. 59 9.11 Definicin constant 60 9.12 Operacin create . 61 9.13 Instruccin deact

23、ivate 61 9.14 Operacin disconnect. 63 9.15 Instruccin do-while 64 9.16 Operacin de componente done . 64 9.17 Instruccin execute 65 9.18 Expresiones . 68 9.18b Segmento de diagrama de flujo 70 9.19 Segmento de diagrama de flujo 72 9.20 Segmento de diagrama de flujo 72 9.21 Segmento de diagrama de flu

24、jo . 72 9.22 Segmento de diagrama de flujo (Bloque de instrucciones) . 73 9.23 Instruccin for 74 9.24 Solicitudes de funciones . 75 9.25 Operacin getcall 79 9.26 Operacin getreply 79 9.27 Operacin getverdict 80 9.28 Instruccin goto 80 9.29 Instruccin if-else 81 iv Rec. UIT-T Z.143 (03/2006) Pgina 9.

25、30 Instruccin label (etiqueta) 81 9.31 Instruccin log 82 9.32 Operacin map . 82 9.33 Operacin mtc 83 9.34 Declaracin de puertos. 83 9.35 Operacin raise. 84 9.36 Operacin de temporizador read. 86 9.37 Operacin receive . 87 9.38 Instruccin repeat 90 9.39 Operacin reply 90 9.40 Instruccin return 93 9.4

26、1 Operacin de componente running 96 9.42 Operacin de temporizador running 99 9.43 Operacin self 100 9.44 Operacin send. 100 9.45 Operacin setverdict 102 9.46 Operacin de componente start 103 9.47 Operacin de puerto start 105 9.48 Operacin de temporizador start. 105 9.49 Operacin de componente stop 1

27、07 9.50 Instruccin de ejecucin stop. 111 9.51 Operacin de puerto stop 113 9.52 Operacin de temporizador stop. 113 9.53 Operacin system 114 9.54 Declaracin timer 114 9.55 Operacin de temporizador timeout 116 9.56 Operacin unmap 116 9.57 Declaracin de variable 117 9.58 Instruccin while 119 10 Listas d

28、e componentes de la semntica operacional . 119 10.1 Funciones y estados. 119 10.2 Palabras clave especiales 122 10.3 Diagramas de flujo de descripciones de comportamiento de TTCN-3 122 10.4 Segmentos de diagrama de flujo. 122 Rec. UIT-T Z.143 (03/2006) 1 Recomendacin UIT-T Z.143 Notacin de pruebas y

29、 de control de pruebas versin 3: Semntica operacional 1 Alcance En esta Recomendacin se define la semntica operacional de TTCN-3. La Recomendacin utiliza el lenguaje ncleo definido en la Recomendacin UIT-T Z.140 1. 2 Referencias Las siguientes Recomendaciones del UIT-T y otras referencias contienen

30、disposiciones que, mediante su referencia en este texto, constituyen disposiciones de la presente Recomendacin. Al efectuar esta publicacin, estaban en vigor las ediciones indicadas. Todas las Recomendaciones y otras referencias son objeto de revisiones por lo que se preconiza que los usuarios de es

31、ta Recomendacin investiguen la posibilidad de aplicar las ediciones ms recientes de las Recomendaciones y otras referencias citadas a continuacin. Se publica peridicamente una lista de las Recomendaciones UIT-T actualmente vigentes. En esta Recomendacin, la referencia a un documento, en tanto que au

32、tnomo, no le otorga el rango de una Recomendacin. 1 Recomendacin UIT-T Z.140 (2006), Notacin de pruebas y de control de pruebas versin 3: Lenguaje ncleo. 3 Definiciones, abreviaturas, siglas o acrnimos 3.1 Definiciones A los efectos de esta Recomendacin, se aplican los trminos y las definiciones de

33、la Rec. UIT-T Z.140 1. 3.2 Abreviaturas, siglas o acrnimos En esta Recomendacin se utilizan las siguientes abreviaturas, siglas o acrnimos. ASN.1 Notacin de sintaxis abstracta uno (abstract syntax notation one) BNF Forma Backus-Nauer (Backus-Nauer form) IDL Lenguaje de definicin de interfaz (interfa

34、ce definition language) MTC Componente de prueba principal (main test component) SUT Sistema sometido a prueba (system under test) TTCN Notacin de pruebas y de control de pruebas (testing and test control notation) 4 Introduccin En esta clusula se define intuitiva e inequvocamente el significado del

35、 comportamiento de TTCN-3. No se pretende que la semntica operacional sea formal, y por lo tanto la posibilidad de efectuar pruebas matemticas utilizando esta semntica est limitada. Esta semntica operacional proporciona una panormica de los estados de ejecucin de los mdulos de TTCN. Se presentan div

36、ersos tipos de estado y se describe el significado de las diferentes construcciones de TTCN-3: 1) utilizando la informacin del estado para definir las condiciones necesarias previas a la ejecucin de la construccin; y 2) definiendo la forma en que cambia el estado como resultado de la ejecucin de una

37、 construccin. La semntica operacional se limita al significado del comportamiento en TTCN-3, es decir, a funciones, alternativas de operaciones (altsteps), casos de prueba, control del mdulo y construcciones del lenguaje para definir el comportamiento de prueba, como por ejemplo, las operaciones sen

38、d y receive y las instrucciones if-else- o while-. Se explica el significado de algunas de las construcciones de TTCN-3 sustituyndolas por construcciones de otros lenguajes. Por ejemplo, como las instrucciones interleave son formas simplificadas de una secuencia de 2 Rec. UIT-T Z.143 (03/2006) instr

39、ucciones alt anidadas, se explica el significado de casa instruccin interleave sustituyndola por la secuencia correspondiente de instrucciones alt anidadas. En la mayora de los casos, la definicin de la semntica del lenguaje utiliza rboles de la sintaxis abstracta del cdigo que ha de describirse. La

40、 presente semntica no utiliza rboles de sintaxis abstracta, sino representaciones grficas de descripciones de comportamiento de TTCN-3 en la forma de diagramas de flujo. Los diagramas de flujo describen el flujo del control en una funcin, un altstep, un caso de prueba, o el control del mdulo. La cor

41、respondencia de las descripciones de comportamiento de la TTCN-3 a diagramas de flujo es directa. NOTA La correspondencia de instrucciones TTCN-3 con diagramas de flujo es un paso informal y no est definida en la Rec. UIT-T Z.140 1 usando reglas de la BNF. Esto se debe a que las reglas de la BNF no

42、son ptimas para aplicar correspondencia intuitiva, pues varias de las reglas semnticas estticas se codifican en reglas BNF a fin de permitir verificaciones de semntica esttica durante la verificacin de la semntica. 5 Estructura de la presente Recomendacin Esta Recomendacin est compuesta por cuatro p

43、artes: 1) En la primera parte (vase la clusula 6) se describen las restricciones de la semntica operacional, es decir, los aspectos relacionados con la semntica, que no se tratan en la presente Recomendacin. 2) En la segunda parte (vase la clusula 7) se define el significado de notaciones macro y no

44、taciones simplificadas de la TTCN-3, mediante su reemplazo por otras construcciones de lenguaje de la TTCN-3. Se puede considerar que estos reemplazos en un mdulo TTCN-3 son un paso obligatorio previo a la interpretacin del mdulo conforme a la descripcin de la semntica operacional del paso siguiente

45、. 3) En la tercera parte (vase la clusula 8) se describe la semntica operacional de TTCN-3 mediante la interpretacin de los diagramas de flujo y la modificacin del estado. 4) En la cuarta parte (vase la clusula 9) se especifica la traduccin de las diversas instrucciones TTCN-3 a segmentos de diagram

46、as de flujo, que son los componentes fundamentales para los diagramas de flujo que representan funciones, etapas alternativas (altsteps), casos de prueba y control del mdulo. 6 Restricciones La semntica operacional cubre nicamente los aspectos comportamentales de TTCN-3, es decir, describe el signif

47、icado de las instrucciones y de las operaciones. No proporciona: a) Una semntica para los aspectos relacionados con los datos de la TTCN-3, incluidos aspectos como la codificacin, la decodificacin y el uso de datos importados de especificaciones diferentes a la TTCN-3. b) Una semntica para el mecani

48、smo de agrupamiento. El agrupamiento tiene que ver con la parte de definiciones en un mdulo TTCN-3 y no conlleva aspectos comportamentales. c) Una semntica para la instruccin import. La importacin de definiciones debe llevarse a cabo en la parte de definiciones de los mdulos TTCN-3. La semntica operacional trata las definiciones importadas como si estas se definiesen en el mdulo de importacin. d) Una semntica para la parametrizacin de puertos. 7 Sustitucin de las formas simplificadas Antes de que pueda utilizarse esta semntica operacional para explicar el comportamiento de