结合C—TTCN和全局行为分析的路由协议一致性测试

来源 :高技术通讯 | 被引量 : 0次 | 上传用户：liuaxing1314

【摘要】

：

以路由协议OSPF(Open Shortest Path First)的LSDB(Link State DataBase)同步过程为例,提出了一种测试架构,将C-TTCN(Concurrent Tree and Tabular Combined Notation)测试模

【作者】

：

李中杰吴建平王之梁

【机构】

：

清华大学计算机系网络所

【出处】

：

高技术通讯

【发表日期】

：

2002年11期

【关键词】

：

C-TTCN 全局行为分析路由协议一致性测试并发树表结合表示法测试架构网络协议 Concurrent TTCN (CTTCN) Routing pr

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

以路由协议OSPF(Open Shortest Path First)的LSDB(Link State DataBase)同步过程为例,提出了一种测试架构,将C-TTCN(Concurrent Tree and Tabular Combined Notation)测试模型和全局行为分析器融于一体,降低了C-TTCN测试例编写难度并提高了测试系统的错误检测能力.

其他文献

谈李大钊的“西北新邦”构想——《冰天雪地两少年》思想透视

作为中国最早的马克思主义者和中国共产党创始人之一的李大钊,早已名扬海外;作为诗人、学者的李大钊,也已人所熟谙;但是,作为小说作者的李大钊,却鲜为人知。当年蜚声“五·

期刊

李大钊少年五·四构想开发西北社会理想新民族主义国家模式中国共产党孙中山

《陈毅诗词选注》序言

【正】西南师范大学胡国强同志继《朱德诗选注》等书之后,又编撰了《陈毅诗词选注》,即将付梓。作者要我为之作序。这除了我为他的《朱德诗选注》作过序的原因外,大概更因为

期刊

诗词陈毅毛泽东同志中国革命无产阶级革命家共产党人游击战争党中央打油诗朱德

论西藏人民的人权

【正】近年来,国际敌对势力和流亡国外的分裂主义分子无视西藏人民的选择,歪曲历史事实,别有用心地频繁搬出所谓“西藏人权”问题,鼓吹“西藏独立”,直接影响到西藏的社会安

期刊

西藏独立基本人权资产阶级人权藏族人人权问题分裂主义生存权达赖喇嘛民主改革符合实际

直流脉冲电流对4043铝合金拉伸硬化的影响

低成本消除加工硬化，愈合损伤对轧制材料具有重要意义。本文将4043铝合金在介于其名义屈服强度和强度极限之间的某一应力下进行拉伸，造成拉伸硬化和损伤后，用直流脉冲电流处理。

期刊

脉冲电流4043铝合金拉伸硬化电阻electropulsing 4043 aluminum alloy tensile hardening re

密码子优化的牛精蛋白基因在大肠杆菌中的表达

以PCR的方法得到牛精蛋白基因组基因,去其内含子,得到牛精蛋白cDNA,克隆入原核表达载体pGEX-2T中,组装成表达载体pGEX-2T-PE.利用大肠杆菌偏好的编码精氨酸的密码子CGT将野生

期刊

密码子优化牛精蛋白大肠杆菌基因表达编码精氨酸非特异性结合Optimized-code Protamine Expression E.coli

面向并行工程的知识管理研究

知识经济和大规模定制等概念的提出,使得企业把知识财富作为获得竞争优势的战略要素来看待.企业知识管理由此受到学术界和企业界的共同关注.知识管理方法和工具集同并行工程

期刊

并行工程知识管理企业管理技术管理信息技术Concurrent engineering Knowledge management

《水浒》:绿林世界的乌托邦

【正】《水浒》是一部百科全书式的古典现实主义巨著,它所反映的广阔社会生活以及它所蕴含的丰富思想内容,足以“八面受敌”,让学者们世世代代讨论下去.真可谓“横看成岭侧

期刊

乌托邦梁山泊古典现实主义金圣叹多侧面侦探小说思想内容百科全书式社会小说政治小说

Si衬底上横向外延GaN材料的微结构和光学性质的研究

用氢化物气相外延(HVPE)方法在Si(III)衬底上成功横向外延生长出晶体质量较好的GaN薄膜材料.透射电子显微镜(TEM)的研究结果表明,横向外延区域GaN的位错密度明显减小.由于SiO

期刊

微结构光学性质HVPE横向外延GaNSi(Ⅲ)衬底硅衬底氮化镓薄膜材料Microstrcture and optical properties

浅谈数学难点与难点教学

确切地确定并成功地突破教学难点是提高教学质量的关键。那么，如何确定又怎样突破教学难点呢？我认为，这不仅是一个方法问题，还是一个教学思想问题。中职数学教学中，有不少知识使学生学起来感到困难。一般地说，这些困难是由于在学生已有的认知结构和新知识的要求之间存在着一定的差距引起的。解决难点的过程，就是缩小和消灭差距的认知过程。本文浅析形成难点的原因，从而提出解决难点的方法。　　一、形成难点的几种主要因素　

期刊

教学质量数学教学教学难点方法问题思想问题中职学生

中国国有金融控股公司的宏观效应探讨

国有商业银行向金融控股公司模式发展,将使社会金融资源进一步向国家聚集,国家可以通过国有金融控股公司实现对资本市场与货币市场的全面垄断。一般而言,市场垄断会造成效率

期刊

国有商业银行金融控股公司宏观效应市场集中化

结合C—TTCN和全局行为分析的路由协议一致性测试

与本文相关的学术论文