位置：成果数据库 > 期刊 > 期刊详情页
基于Tcl的路由协议一致性测试
  • ISSN号：1007-5321
  • 期刊名称：《北京邮电大学学报》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 相关基金：自然科学基金重大研究计划项目资助(90104010);自然科学基金科学部主任基金项目资助(60241004);教育部博士点基金项目资助(2000035802);安徽省自然科学基金项目资助(01042208);国家"863计划"项目资助(2001AA112062和2001AA121016);中国科学院院长基金特别支持项目资助(院基计字905号).
作者： 余营志, 赵保华, 屈玉贵
关键词： 一致性测试, 路由协议, 测试系统, TCL
中文摘要：

针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.

同期刊论文项目
形式化的协议理论
期刊论文 55 会议论文 5
协议验证理论与方法的研究
期刊论文 38
同项目期刊论文
基于局部错误诊断的动态协议一致性测试方法
无线传感器网络中的组划分算法
Power consumption model in two-tiered wireless sensor networks
Fault diagnosis by passive testing
Placement algorithm for the wireless sensor network
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-hoc Networks
基于Markov链模型的被动测试错误检测算法
基于有向图的最小完全覆盖互操作测试序列生成
传感器网络中考虑响应时间的路由机制
一致性测试中的时间约束及测试用例生成算法
3-Dimensional Sensor model in the sensor network
基于TCL的原理图自动审查平台建设
被动测试中观察者放置问题
被动测试中的错误诊断
一种动态协议一致性测试方法
无线传感器网络WPCS覆盖策略
SDH测试平台的设计和实现
Ipv6协议测试系统研究和实现
双环网络G(N;1,s)的L形瓦仿真算法
基于圈的紧优双环网络G(N;1,s)求解算法
基于组件系统的可靠性分析
WSN随机调度覆盖算法的子集划分最优解
分布式网络攻击测试系统中的代理选择算法
无线传感器网络路由协议中的恶意节点发现和定位机制
一种新的动态无线传感器网络中的安全时钟同步算法
对Yahalom-Paulson协议的分析与改进
基于UIO测试序列的错误诊断算法
协议被动测试的错误标识
协议一致性冒烟测试系统的设计
一种SIP穿越NAT的解决方案
基于P2P的SIP用户定位研究
基于构造类别代数的数据流和控制流相结合的协议测试
优化消息轨迹图以提高TTCN测试套的开发效率
传感器网络中的多重贪心路由算法
直扩编码并行序贯检测捕捉
无线传感器网络的动态树型结构
Petri网展开图法的分析和应用
概率信息流安全属性分析
无等待流水车间调度问题的优化
基于有向图的最小完全覆盖互操作测试序列生成算法
被动测试中网络监测问题
基于有限状态机的错误诊断算法
基于MIMO的节能无线传感器网络
基于ABNF的高速硬件解码方法的研究
一种可变测试集的协议一致性测试方法
基于形式规范的协议一致性测试的可靠性分析
传感器网络中的节能参与度模型
一种面向ABNF模式匹配的处理器设计
Load-balanced broadcast routing in wireless Ad-hoc networks
基于TCL的DHCP协议冒烟测试
无线传感器网络的WPCS覆盖策略
SIP服务器性能测试系统的研究与实现
基于局部错误诊断的动态协议一致性测试方法
无线传感器网络中的组划分算法
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-hoc Networks
基于Markov链模型的被动测试错误检测算法
传感器网络中考虑响应时间的路由机制
WSN随机调度覆盖算法的子集划分最优解
无线传感器网络路由协议中的恶意节点发现和定位机制
DTN网络中PRoPHET路由协议的改进
一种新的动态无线传感器网络中的安全时钟同步算法
对Yahalom-Paulson协议的分析与改进
基于UIO测试序列的错误诊断算法
协议被动测试的错误标识
协议一致性冒烟测试系统的设计
一种SIP穿越NAT的解决方案
基于P2P的SIP用户定位研究
基于构造类别代数的数据流和控制流相结合的协议测试
优化消息轨迹图以提高TTCN测试套的开发效率
传感器网络中的多重贪心路由算法
直扩编码并行序贯检测捕捉
无线传感器网络的动态树型结构
Petri网展开图法的分析和应用
概率信息流安全属性分析
基于有向图的最小完全覆盖互操作测试序列生成算法
被动测试中网络监测问题
基于有限状态机的错误诊断算法
基于MIMO的节能无线传感器网络
基于ABNF的高速硬件解码方法的研究
一种基于簇的容迟网络的路由算法CB-NIMF
一种可变测试集的协议一致性测试方法
基于形式规范的协议一致性测试的可靠性分析
传感器网络中的节能参与度模型
Protocol for the application of cooperative MIMO based on clustering in sparse wireless sensor networks
一种面向ABNF模式匹配的处理器设计
Load-balanced broadcast routing in wireless Ad-hoc networks
基于TCL的DHCP协议冒烟测试
无线传感器网络的WPCS覆盖策略
SIP服务器性能测试系统的研究与实现
期刊信息
  • 《北京邮电大学学报》
  • 北大核心期刊（2011版）
  • 主管单位:教育部
  • 主办单位:北京邮电大学
  • 主编：刘杰
  • 地址：北京海淀区西土城路10号195信箱
  • 邮编：100876
  • 邮箱：byxb@bupt.edu.cn
  • 电话：010-62281995 62282742
  • 国际标准刊号：ISSN：1007-5321
  • 国内统一刊号：ISSN：11-3570/TN
  • 邮发代号:2-648
  • 获奖情况:
  • 美国工程信息公司（Ei）数据库收录期刊,1999年全国优秀高等学校自然科学学报及教育部优秀...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:7684