位置：成果数据库 > 期刊 > 期刊详情页
基于MSC测试目的的协议互操作性测试生成
  • ISSN号：1007-5321
  • 期刊名称：《北京邮电大学学报》
  • 时间：0
  • 分类：TP393.04[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]清华大学计算机科学与技术系, [2]清华大学信息网络工程研究中心
  • 相关基金：国家“973”重点基础研究发展计划项目(2003CB314801);国家自然科学基金项目(90104002,60572082/F010110)
作者： 王之梁[1], 吴建平[1], 尹霞[1], 施新刚[2]
关键词： 协议测试, 互操作性测试, 消息序列图, 移动IPV6
中文摘要：

提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.

同期刊论文项目
下一代互联网络体系结构及其协议理论研究
期刊论文 26
基于形式化方法的实时系统互操作性测试研究
期刊论文 6
同项目期刊论文
AFDX端系统关键技术的研究与实现
AFDX冗余管理机制的仿真
邻居发现协议在五款IPv6路由器中的一致性测试比较
移动IPv6协议的测试研究
虚拟延迟矢量核心无状态调度策略VCSVC
域间流量工程研究综述
边界网关协议BGP4路由收敛问题研究进展
异构带宽约束的动态层次组播路由
基于通信多端口有限状态机的协议互操作性测试生成研究
校园网信息资源搜索引擎的研究与实现
GRep：一个改良的对等网络信誉模型
基于线性时态逻辑的Petri网模型检测
非马尔可夫随机Petri网的分析方法及应用
广域Web集群的随机高级Petri网模型及性能分析
航空全双工交换以太网冗余管理机制研究
一种新的端到端的网络服务质量模型
IPSec和IP Filter在路由器中部署策略的研究
异构带宽约束的动态源组播路由
基于快速组播切换的分层移动组播体系结构
PIM-SM协议的建模与改进
自相似业务下资源分配研究
一类可由基本模型嵌套组成的工作流系统的性能分析方法
Research on Next-Generation Internet Architecture
应用层组播用户的自私性研究
XML Based X.509 Authorization in CERNET Grid
基于通信多端口有限状态机的协议互操作性测试生成研究
MED欺骗与域间出口选择
网络路由收敛性能测试研究
基于TTCN-3的LDP一致性测试研究
SIP Conformance Testing Based on TTCN-2
期刊信息
  • 《北京邮电大学学报》
  • 北大核心期刊（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