【摘 要】
：
SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底、更正确、更全面的测试,本文将在对SDH形式
论文部分内容阅读
SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底、更正确、更全面的测试,本文将在对SDH形式化模型进行正确性验证的基础上,利用开发的测试系统工具对逻辑仿真的SDH收/发器进行测试,最终完成对SDH协议的测试工作.形式化模型采用了直观高效的EFSM模型和Petri网模型,并以这两种模型为例,提出了基于模型转换的正确性验证方法,对SDH形式化模型进行了验证,随后依据一致性测试理论,本文提供了采用UIO方法生成SDH测试序列的途径,并为补充测试序列完备性增加了相应的测试用例.利用TCL/TK开发的SDH测试系统采用管道-过滤器技术设计,并使用缓冲区管理机制对管道进行了扩展;同时系统平台还提供了TCL扩展接口,测试者可以通过测控软件的人机交互接口直接对SDH测试过程进行动态控制.对SDH协议进行形式化建模,是贯穿此项协议工程始末的核心技术,对SDH形式化模型进行正确性验证,是进行协议测试的保障,我们开发的SDH测试系统,又为SDH这种新型的传输机制提供了一个有效的测试工具.基于正确性验证的SDH协议测试,从理论的高度为协议测试拓展了一条新颖的思路,而后续开展的测试实践又直观地展示了此项研究最终能达到的效果.本文主要完成了利用EFSM模型以及Petri网模型为SDH协议进行形式化建模的示例;随后研究模型间相互转换的理论,提出了基于模型互换的正确性验证方法,并利用此法对SDH的形式化描述进行了验证;在正确性验证的保证下,分析SDH协议一致性测试中不完备的部分,针对发现的协议错误补充测试用例,生成更完备测试序列集合;最终利用开发的SDH测试系统工具,对SDH的被测实现进行测试并分析了测试结果.
其他文献
射频MEMS技术是近年来发展迅速的高新技术，它具有微型化、低损耗、可集成、成本低等特点，用它实现相关射频器件或系统可为无线通信技术带来新的变化。本论文受重庆市教育委员会
随着信息科学技术的迅猛发展，Web标准不断的完善，用户对产品体验要求攀升，导致Web应用交互日趋复杂，前端技术也倍受企业重视，Web开发理念越来越推向架构发展方向，Web前端也迎来了高
随着多媒体技术、网络技术的迅速发展，图像信息的应用日益广泛，对规模越来越大的图像数据库、可视信息进行有效的管理成为迫切需要解决的问题，基于内容的图像检索是解决这一问题
在日常护理工作中发现,用输液器包装袋,制作小剂量玻璃液体瓶(如:20%甘露醇注射液250 ml、甲硝唑注射液100 ml等)输液网的妙用.具体方法如下:
随着海洋事业的发展，各国都大力发展水下探测技术。成像声纳以直观、实时的图像显示探测区域的信息，在水下探测中的应用越来越广泛，因此成像声纳技术成为当前一个研究热点。声纳
目的 46,XX男性综合的临床表现及误诊原因分析,探讨男性性别决定及分子遗传学基础。方法分析一例46,XX男性综合征(SRY阳性)患者的临床表现及实验室、细胞及分子遗传学检查结
肾脏疾病是临床上一种常见的疾病,各种原因导致的肾功能损害是进展为终末性肾病及心血管疾病的危险因素.惟一能阻止肾脏疾病恶化的方法就是早诊断、早治疗.临床评价肾脏疾病
急性肺损伤(Acute lung injury,ALI)是指机体遭受严重感染、创伤、辐射、休克等打击后,出现的以弥漫性肺泡上皮细胞和肺泡毛细血管内皮细胞膜损伤为病理特点的综合征.ALI常常
粘着斑激酶(focal adhesion kinase,FAK) 是一种非受体酪氨酸激酶,它广泛分布于成纤维细胞、血小板、表皮细胞、内皮细胞、TC、BC、中性粒细胞、单核细胞和滋养层细胞等的细
互联网的迅猛发展和普及为流媒体业务发展提供了强大的市场动力，流媒体业务正变得日益流行。?流媒体技术广泛用于多媒体新闻发布、网络广告、电子商务、视频点播、远程教育、