期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
一种有效的形式描述技术:GE-LOTOS
1
作者 赵玉兰 叶新铭 贾斌 《内蒙古大学学报(自然科学版)》 CAS CSCD 2000年第3期325-328,共4页
利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描... 利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 . 展开更多
关键词 GE-LOTOS 形式描述技术 路由协议测试 工具软件
下载PDF
Use of Global Behavior Tree for Conformance Testing of OSPF Protocol LSDB Synchronization
2
作者 李中杰 尹霞 吴建平 《Tsinghua Science and Technology》 SCIE EI CAS 2004年第1期9-16,共8页
Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open s... Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open shortest path first protocol link-state database (LSDB) synchronization process, the authors propose a formal model called global behavior tree, which describes global interactions among routers. The model is capable of representing distributed and concurrent behavior and allows for easy test derivation. The corresponding test notation and test derivation algorithm are studied. A simple test method is developed and a software tester is implemented. The results show that this model easily facilitates the testing process and allows a good test coverage. 展开更多
关键词 routing protocol testing open shortest path first (OSPF) distributed and concurrent systems
原文传递
基于XML的OSPFv3一致性测试研究 被引量:1
3
作者 李华 张涛 +3 位作者 叶新铭 郭怡静 李元平 白瑞峰 《计算机科学》 CSCD 北大核心 2007年第4期59-62,共4页
协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究,分析了OSPFv2和OSPFv3的不同,给出了用XML来描述OSPFv3测试套的测试模板,并对OSPFv3协议在Linux下的实现进行了一致性测试,列... 协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究,分析了OSPFv2和OSPFv3的不同,给出了用XML来描述OSPFv3测试套的测试模板,并对OSPFv3协议在Linux下的实现进行了一致性测试,列举了部分测试结果,对测试结果进行了分析,发现了被测实现存在与协议说明不一致的地方。 展开更多
关键词 路由协议 协议测试 测试方法 OSPFV3
下载PDF
高性能路由器组播协议实现技术研究
4
作者 曹继军 苏金树 《计算机工程与设计》 CSCD 北大核心 2008年第10期2431-2434,2438,共5页
网络流媒体等新型应用的快速发展对路由器具备组播功能提出了迫切需求。针对如何在基于网络处理器的路由器中高效地实现组播协议进行了研究。在路由器标准功能软件基础上实施扩展,提出了IGMP和PIM等组播协议实现的软件结构,利用网络处... 网络流媒体等新型应用的快速发展对路由器具备组播功能提出了迫切需求。针对如何在基于网络处理器的路由器中高效地实现组播协议进行了研究。在路由器标准功能软件基础上实施扩展,提出了IGMP和PIM等组播协议实现的软件结构,利用网络处理器灵活可编程性与高性能的优点,对其关键技术进行了设计和实现。协议测试结果表明,该路由器组播协议系统运行效果良好。最后,展望了IP组播技术发展。 展开更多
关键词 高性能路由器 网络处理器 组播路由协议 组成员管理协议 独立组播协议 协议测试
下载PDF
路由协议测试的窗口黑盒模型和多通道的测试方法 被引量:3
5
作者 赵邑新 韩博 +1 位作者 尹霞 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1446-1453,共8页
路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率... 路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率和测试覆盖率 .通过与被测模块交互的其它模块 ,增强了测试的控制观察能力 ,测试例的执行时间相比原有方式下降 5 0 % ;消除或减小了以往不能测试的范围和内容 ,相应测试例个数增加 3倍以上 ; 展开更多
关键词 路由协议测试 测试方法 窗口黑盒模型 通信协议
下载PDF
结合C-TTCN和全局行为分析的路由协议一致性测试
6
作者 李中杰 吴建平 王之梁 《高技术通讯》 EI CAS CSCD 2002年第11期5-11,共7页
以路由协议OSPF(OpenShortestPathFirst)的LSDB(LinkStateDataBase)同步过程为例 ,提出了一种测试架构 ,将C TTCN(ConcurrentTreeandTabularCombinedNo tation)测试模型和全局行为分析器融于一体 ,降低了C
关键词 C-TTCN 全局行为分析 路由协议 一致性测试 并发树表结合表示法 测试架构 网络协议
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部