基于形式化技术的帧中继信令协议一致性测试研究

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：martelfeng

【摘要】

：

帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限.本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试.针对帧中继

【作者】

：

韩博姬雷生尹霞

【机构】

：

清华大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2002年12期

【关键词】

：

形式化技术帧中继信令协议一致性测试帧中继信令协议协议集成测试系统计算机网络 protocol conformance testing frame r

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限.本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试.针对帧中继信令协议的特点,采用远程测试法设计生成了基于形式化技术的一致性测试集,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中.

其他文献

战略稳定及其与核、外空和网络的关系

<正>作为一个新的战略领域,网络空间与核领域、与空间领域有什么关系?它们在未来的全球战略稳定构建过程中又将如何相互影响?这是一个边界和目标都不太确定的问题,因此也是一

期刊

战略稳定网络威慑核威慑美苏冷战力量平衡

k元n—立方体网络的死锁特征剖析

研究死锁形成几率随网络参数的变化规律,对于选择合适的寻径算法、改良网络设计方案都具有重要意义.环形等多种网络都是k元n-立方体网络系列的拓扑同构体.因此,k元n-立方体网

期刊

k元n-立方体网络寻径自由度寻径适应性死锁循环密度死锁特征计算机网络kary ncube network routing freedom routi

美国教师怎么看中国小学生减负

最近,国内出台了《小学生减负十条规定》(征求意见稿),引起了大家对小学生减负的一些讨论。趁着周末放学,一些中小学老师朋友在一起喝啤酒聊天,我跟大家聊起了中国希望小学生

期刊

公立教育

三星项目的波折对西安推进国际化的思索

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

内陆城市三星电子沿海城市核武器

浅谈小学英语教学中的游戏设计

游戏教学结合了儿童发育的身心特点,在英语教学中起着重要作用,本文探讨了小学英语教学过程中游戏设计的重要原则,为如何合理设计游戏从而完成教学过程提供了有益思路,指明了

期刊

小学英语教学游戏设计原则

保定红色文化在高校思想政治教育中的应用研究

保定红色文化是具有鲜明的价值引领和深厚的文化根基,具有感染力和说服力的健康、先进的文化。保定红色文化为高校思想政治教育提供了优质资源,深入挖掘保定红色文化资源的价

期刊

保定红色文化高校思想政治教育应用研究

基于软件重用的报表构件生成系统的研究与实现

针对IS(信息系统)中报表的处理过于烦琐,本文在基于软件重用的基础上,对各类报表进行分析,提出了一个报表构件模型,使得用可重用的构件组装报表成为可能.并且根据此思想,建立

期刊

软件重用报表构件生成系统软件开发报表模板数据库软件工程软件构件software reuse component report template r

阿育魏实挥发油成分的GC-MS分析

采用水蒸气蒸馏的方法提取了阿育魏实挥发油,并利用气相色谱-质谱联用技术对其化学成分做了分析,共鉴定出麝香草酚、p-伞花烃、萜品烯、α-崖柏烯、β-月桂烯和香芹酚等53个

期刊

挥发油成分阿育魏实气相色谱-质谱

基于形式化技术的帧中继信令协议一致性测试研究

其他学术论文