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.
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
下载文档到电脑,查找使用更方便
10000 积分 0人已下载
下载 | 加入VIP,交流精品资源 |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- ITUTZ143SPANISH2006TESTINGANDTESTCONTROLNOTATIONVERSION3TTCN3OPERATIONALSEMANTICS 测试 控制 符号 版本 TTCN3 操作

链接地址:http://www.mydoc123.com/p-806588.html