欢迎来到麦多课文档分享! | 帮助中心 海量文档,免费浏览,给你所需,享你所想!
麦多课文档分享
全部分类
  • 标准规范>
  • 教学课件>
  • 考试资料>
  • 办公文档>
  • 学术论文>
  • 行业资料>
  • 易语言源码>
  • ImageVerifierCode 换一换
    首页 麦多课文档分享 > 资源分类 > PDF文档下载
    分享到微信 分享到微博 分享到QQ空间

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

    • 资源ID:806717       资源大小:324.23KB        全文页数:49页
    • 资源格式: PDF        下载积分:10000积分
    快捷下载 游客一键下载
    账号登录下载
    微信登录下载
    二维码
    微信扫一扫登录
    下载资源需要10000积分(如需开发票,请勿充值!)
    邮箱/手机:
    温馨提示:
    如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
    如需开发票,请勿充值!如填写123,账号就是123,密码也是123。
    支付方式: 支付宝扫码支付    微信扫码支付   
    验证码:   换一换

    加入VIP,交流精品资源
     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    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


    注意事项

    本文(ITU-T Z 500 SPANISH-1997 Framework on formal methods in conformance testing《一致性测试的正式方法框架 Z系列 方法 验证和测试的编程语言方法 10号研究组 49pp》.pdf)为本站会员(progressking105)主动上传,麦多课文档分享仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文档分享(点击联系客服),我们立即给予删除!




    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

    copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
    备案/许可证编号:苏ICP备17064731号-1 

    收起
    展开