ITU-T Z 500 SPANISH-1997 Framework on formal methods in conformance testing《一致性测试的正式方法框架 Z系列 方法 验证和测试的编程语言方法 10号研究组 49pp》.pdf

1、UNIN INTERNACIONAL DE TELECOMUNICACIONESUIT-T Z.500SECTOR DE NORMALIZACINDE LAS TELECOMUNICACIONESDE LA UIT(05/97)SERIE Z: LENGUAJES DE PROGRAMACINMtodos para validacin y pruebasMarco de los mtodos formales en las pruebasde conformidadRecomendacin UIT-T Z.500(Anteriormente Recomendacin del CCITT)REC

2、OMENDACIONES DE LA SERIE Z DEL UIT-TLENGUAJES DE PROGRAMACINPara ms informacin, vase la Lista de Recomendaciones del UIT-T.TCNICAS DE DESCRIPCIN FORMAL Z.100Z.199Lenguaje de especificacin y descripcin (SDL) Z.100Z.109Aplicacin de tcnicas de descripcin formal Z.110Z.119Grficos de secuencias de mensaj

3、es Z.120Z.129LENGUAJES DE PROGRAMACIN Z.200Z.299CHILL: el lenguaje de alto nivel del UIT-T Z.200Z.209LENGUAJE HOMBRE-MQUINA Z.300Z.499Principios generales Z.300Z.309Sintaxis bsica y procedimientos de dilogo Z.310Z.319LHM ampliado para terminales con pantalla de visualizacin Z.320Z.329Especificacin d

4、e la interfaz hombre-mquina Z.330Z.399CALIDAD DE SOPORTES LGICOS DE TELECOMUNICACIONES Z.400Z.499MTODOS PARA VALIDACIN Y PRUEBAS Z.500Z.599Recomendacin Z.500 (05/97) iRECOMENDACIN UIT-T Z.500MARCO DE LOS MTODOS FORMALESEN LAS PRUEBAS DE CONFORMIDADOrgenesLa Recomendacin UIT-T Z.500 ha sido preparada

5、 por la Comisin de Estudio 10 (1997-2000) del UIT-T y fueaprobada por el procedimiento de la Resolucin N. 1 de la CMNT el 6 de mayo de 1997.ii Recomendacin Z.500 (05/97)PREFACIOLa UIT (Unin Internacional de Telecomunicaciones) es el organismo especializado de las Naciones Unidas en el campode las te

6、lecomunicaciones. El UIT-T (Sector de Normalizacin de las Telecomunicaciones de la UIT) es un rganopermanente de la UIT. Este rgano estudia los aspectos tcnicos, de explotacin y tarifarios y publica Recomendacionessobre los mismos, con miras a la normalizacin de las telecomunicaciones en el plano mu

7、ndial.La Conferencia Mundial de Normalizacin de las Telecomunicaciones (CMNT), 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 Recomendacionessobre dichos temas.La aprobacin de Recomendaciones por los Miembros del UIT-

8、T es el objeto del procedimiento establecido en laResolucin N. 1 de la CMNT.En ciertos sectores de la tecnologa de la informacin que corresponden a la esfera de competencia del UIT-T, sepreparan las normas necesarias en colaboracin con la ISO y la CEI.NOTAEn esta Recomendacin, la expresin “Administr

9、acin“ se utiliza para designar, en forma abreviada, tanto unaadministracin de telecomunicaciones como una empresa de explotacin reconocida de telecomunicaciones.PROPIEDAD INTELECTUALLa UIT seala a la atencin la posibilidad de que la utilizacin o aplicacin de la presente Recomendacin suponga elempleo

10、 de un derecho de propiedad intelectual reivindicado. La UIT no adopta ninguna posicin en cuanto a lademostracin, validez o aplicabilidad de los derechos de propiedad intelectual reivindicados, ya sea por los miembros dela UIT o por terceros ajenos al proceso de elaboracin de Recomendaciones.En la f

11、echa 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 losusuarios que puede que esta informacin no se encuentre totalmente actualizada al re

12、specto, por lo que se les instaencarecidamente a consultar la base de datos sobre patentes de la TSB. UIT 1998Es propiedad. Ninguna parte de esta publicacin puede reproducirse o utilizarse, de ninguna forma o por ningn medio,sea ste electrnico o mecnico, de fotocopia o de microfilm, sin previa autor

13、izacin escrita por parte de la UIT.Recomendacin Z.500 (05/97) iiiNDICEPgina1 Alcance. 12 Referencias normativas 12.1 Pruebas de conformidad . 12.2 Tcnicas de descripcin formal 23 Definiciones . 23.1 Trminos tomados de otras normas conexas 23.2 Trminos definidos en esta Recomendacin.34 Abreviaturas .

14、 45 Conceptos matemticos y convenios de notacin 55.1 Conjuntos 55.2 Notaciones lgicas 55.3 Relaciones. 65.4 Funciones 66 Significado de la conformidad . 66.1 Introduccin 66.2 Especificaciones . 66.3 Implementaciones. 76.4 Conformidad de una implementacin con una especificacin formal 87 Conceptos de

15、pruebas. 107.1 Introduccin 107.2 Arquitectura de prueba . 107.3 Modelo formal de la arquitectura de prueba . 117.4 Ejecucin de pruebas 128 Pruebas de conformidad. 148.1 Introduccin 148.2 Definicin de pruebas de conformidad. 148.3 Generacin de pruebas 148.4 Reduccin del tamao de las sucesiones de pru

16、ebas 158.5 Cobertura de fallos 168.6 Coste de las sucesiones de pruebas. 169 Cumplimiento. 179.1 Introduccin 179.2 Cumplimiento con la clusula 6: Significado de la conformidad . 179.3 Cumplimiento con la clusula 7: Conceptos de pruebas. 189.4 Cumplimiento con la clusula 8: Pruebas de conformidad. 18

17、Anexo A 18A.1 Especificaciones . 18A.2 Opciones de implementacin y especificaciones instanciadas . 23A.3 Implementaciones y modelos de implementaciones. 28A.4 Conformidad mediante relaciones de implementacin. 30A.5 Conformidad mediante requisitos. 33A.6 Arquitectura de prueba . 34A.7 Especificacione

18、s de pruebas . 35A.8 Referencias . 42iv Recomendacin Z.500 (05/97)IntroduccinMuchas especificaciones de protocolos y servicios se describen actualmente en notaciones formales denominadastcnicas de descripcin formal (FDT, formal description technique). Son ejemplos de tcnicas de descripcin formal DL,

19、LOTOS, Estelle y ASN.1. Existe tambin una notacin formal para la especificacin de sucesiones de pruebas: TTCN.Las tcnicas de descripcin formal ofrecen las siguientes ventajas: describen los formatos y comportamientos sin ninguna ambigedad; proporcionan una base para una validacin rigurosa, incluidas

20、 pruebas de conformidad.La conformidad con una norma de protocolo o servicio de comunicacin es un requisito previo para la correctainteroperabilidad de sistemas abiertos. Las pruebas de conformidad, es decir, la determinacin, por medio de pruebas, dela conformidad de un producto con su especificacin

21、, son importantes para el desarrollo de los productos porquecontribuyen a aumentar el nivel de confianza en una interoperabilidad correcta.Esta Recomendacin “Marco para mtodos formales de pruebas de conformidad“ (FMCT, framework on formal methodsin conformance testing) define el significado de la co

22、nformidad cuando se utilizan mtodos formales para laespecificacin de un protocolo o servicio de comunicacin. Est tambin destinada a servir de gua para la generacin depruebas por medios informticos.La presente Recomendacin define un marco para el uso de mtodos formales en las pruebas de conformidad.

23、Sepretende que los implementadores, probadores y especificadores que intervienen en las pruebas de conformidad lautilicen como una gua para la definicin de la conformidad y el proceso de prueba de una implementacin, con respectoa una especificacin que se expresa como una descripcin formal.Recomendac

24、in Z.500 (05/97) 1Recomendacin Z.500Recomendacin Z.500 (05/97)MARCO DE LOS MTODOS FORMALESEN LAS PRUEBAS DE CONFORMIDAD(Ginebra, 1997)1 AlcanceEsta Recomendacin es aplicable cuando existe una especificacin formal de un protocolo o servicio de comunicacin, apartir de la cual deber desarrollarse una s

25、erie de pruebas de conformidad. Puede servir de gua tanto para el procesomanual, como para el desarrollo de herramientas destinadas a la generacin de sucesiones de pruebas por mediosinformticos.La Recomendacin define un marco y no prescribe ningn mtodo particular de generacin de casos de prueba, nit

26、ampoco una determinada relacin de conformidad entre una especificacin formal y una implementacin. Essuplementaria a la Recomendacin UIT-T/ISO “Metodologa y marco para las pruebas de conformidad“(CTMF, conformance testing methodology and framework) ISO/CEI 9646, que es aplicable a una amplia gama dep

27、roductos y especificaciones, incluidas especificaciones en lenguaje natural. FMCT interpreta conceptos de prueba deconformidad en un contexto formal.2 Referencias normativasLas siguientes Recomendaciones del UIT-T y otras referencias contienen disposiciones que, mediante su referencia eneste texto,

28、constituyen disposiciones de la presente Recomendacin. Al efectuar esta publicacin, estaban en vigor lasediciones indicadas. Todas las Recomendaciones y otras referencias son objeto de revisiones por lo que se preconiza quelos usuarios de esta Recomendacin investiguen la posibilidad de aplicar las e

29、diciones ms recientes de lasRecomendaciones y otras referencias citadas a continuacin. Se publica peridicamente una lista de lasRecomendaciones UIT-T actualmente vigentes.2.1 Pruebas de conformidadNOTA En lo sucesivo, en la presente Recomendacin, el siguiente conjunto de referencias se designar por

30、CTMF. Recomendacin UIT-T X.290 (1995) (equivalente a ISO/CEI 9646-1:1994), Metodologa y marco de laspruebas de conformidad para interconexin de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del UIT-T Conceptos generales. Recomendacin UIT-T X.291 (1995) (equivalente a

31、 ISO/CEI 9646-2:1994), Metodologa y marco de laspruebas de conformidad para interconexin de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del UIT-T Especificacin de sucesiones de pruebas abstractas. Recomendacin UIT-T X.292 del CCITT (1992) (equivalente a ISO/CEI 964

32、6-3:1992), Metodologa y marcode las pruebas de conformidad para interconexin de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del CCITT Notacin combinada arborescente y tabular. Recomendacin UIT-T X.293 (1995) (equivalente a ISO/CEI 9646-4: 1994), Metodologa y marco

33、de laspruebas de conformidad para interconexin de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del UIT-T Realizacin de las pruebas. Recomendacin UIT-T X.294 (1995) (equivalente a ISO/CEI 9646-5:1994), Metodologa y marco de laspruebas de conformidad para interconexin

34、 de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del UIT-T Requisitos que debern cumplir los laboratorios de pruebas y losclientes en el proceso de evaluacin de conformidad. Recomendacin UIT-T X.295 (1995) (equivalente a ISO/CEI 9646-6:1994), Metodologa y marco de l

35、aspruebas de conformidad para interconexin de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del UIT-T Especificacin de pruebas de perfil de protocolo. Recomendacin UIT-T X.296 (1995) (equivalente a ISO/CEI 9646-7:1995), Metodologa y marco de laspruebas de conformidad

36、 para interconexin de sistemas abiertos de las Recomendaciones sobre losprotocolos para aplicaciones del UIT-T Declaraciones de conformidad de implementacin.2 Recomendacin Z.500 (05/97)2.2 Tcnicas de descripcin formal Recomendacin UIT-T Z.100 (1993), Lenguaje de especificacin y descripcin del CCITT.

37、 Recomendacin UIT-T Z.120 (1996), Grficos de secuencias de mensajes. ISO/CEI 8807:1989, Information processing systems Open Systems Interconnection LOTOS A formaldescription technique based on the temporal ordering of observational behaviour. ISO/CEI 9074:1989, Information processing systems Open Sy

38、stems Interconnection Estelle: A formaldescription technique based on an extended state transition model.3 Definiciones3.1 Trminos tomados de otras normas conexasNOTA Aunque las siguientes definiciones figuran en la Recomendacin UIT-T X.290 e ISO/CEI 9646-1, se reproducen en lapresente Recomendacin

39、porque el significado de estos trminos es importante para las interpretaciones formales en la presenteRecomendacin.3.1.1 mtodo de prueba abstracta: La definicin de la manera de probar una implementacin sometida a prueba,formulada en un nivel de abstraccin apropiado para que la descripcin sea indepen

40、diente de toda realizacin particularde un medio de prueba, pero lo suficientemente detallada para permitir la especificacin de pruebas para este mtodo deprueba.3.1.2 sucesin de pruebas de conformidad: Un conjunto completo de casos de prueba, posiblemente combinadosen grupos de pruebas contenidos uno

41、s en otros, que se selecciona para realizar pruebas de conformidad dinmica parauno o ms protocolos.3.1.3 prueba(s) de conformidad: Prueba de la medida en que una implementacin sometida a prueba es unaimplementacin conforme.3.1.4 implementacin conforme: Una implementacin sometida a prueba que satisfa

42、ce los requisitos deconformidad esttica y de conformidad dinmica, de acuerdo con las capacidades enunciadas en el (los) enunciado(s) deconformidad de implementacin.3.1.5 requisito de conformidad dinmica: El conjunto de requisitos (y opciones) que determinan elcomportamiento observable permitido por

43、la especificacin o especificaciones pertinentes en casos de comunicacin.3.1.6 fracaso (veredicto de): Veredicto relativo a la prueba que se obtiene cuando el resultado observado de laprueba, o bien demuestra la no conformidad con respecto a (por lo menos) uno de los requisitos de conformidad en ques

44、e basa el propsito del caso de prueba, o bien contiene por lo menos un evento de prueba que no es vlido, con respectoa la especificacin o especificaciones pertinentes.3.1.7 enunciado de conformidad de implementacin (ICS, implementation conformance statement): Unenunciado formulado por el suministrad

45、or de una implementacin o sistema que pretende que dicha implementacin osistema es conforme con una determinada especificacin, y que indica las capacidades que han sido implementadas. Elenunciado de conformidad de implementacin (ICS) puede adoptar varias formas: ICS de protocolo, ICS de perfil, ICSe

46、specfico de protocolo, e ICS de objeto de informacin.3.1.8 implementacin sometida a prueba (IUT, implementation under test): Una implementacin de uno o msprotocolos en una relacin de usuario/proveedor adyacentes, que es la parte del sistema abierto real que se estudiamediante la prueba.3.1.9 informa

47、cin suplementaria de implementacin para pruebas (IXIT, implementation extra informationfor testing): Un enunciado formulado por el suministrador o implementador de una IUT que contiene o hace referencia atodas las informaciones (adems de la proporcionada en el ICS) relacionadas con la IUT y su entor

48、no de prueba, y quepermite al laboratorio de pruebas realizar una sucesin de pruebas apropiadas sobre la IUT. La IXIT puede adoptarvarias formas: IXIT de protocolo, IXIT de perfil, IXIT especfica de perfil, e IXIT de objeto de informacin, enunciadode implementacin TMP.3.1.10 medio de pruebas (MOT, means of testing): La combinacin de equipos y procedimientos que puedeefectuar la derivacin, seleccin, parametrizacin y ejecucin de casos de prueba, de acuerdo con una serie de pruebasabstractas normalizada de referencia, y que puede producir un registro cronolgico de conf