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

最新的消息轨迹图(MSC)标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245等协议一致性测试的TTCN测试套开发中.

同期刊论文项目
协议验证理论与方法的研究
期刊论文 38
形式化的协议理论
期刊论文 55 会议论文 5
同项目期刊论文
基于局部错误诊断的动态协议一致性测试方法
无线传感器网络中的组划分算法
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用户定位研究
基于构造类别代数的数据流和控制流相结合的协议测试
基于Tcl的路由协议一致性测试
传感器网络中的多重贪心路由算法
直扩编码并行序贯检测捕捉
无线传感器网络的动态树型结构
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用户定位研究
基于构造类别代数的数据流和控制流相结合的协议测试
基于Tcl的路由协议一致性测试
传感器网络中的多重贪心路由算法
直扩编码并行序贯检测捕捉
无线传感器网络的动态树型结构
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