期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
通信协议一致性测试序列自动生成算法研究
被引量：
9
1
作者
魏仰苏
孟兆航
舒挺
《计算机工程与设计》
CSCD
北大核心
2007年第10期2312-2315,共4页
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程...
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。
展开更多
关键词
一致性
测试
控制流测试
惟一输入输出序列
可达性分析
有限状态机
在线阅读
下载PDF
职称材料
题名
通信协议一致性测试序列自动生成算法研究
被引量：
9
1
作者
魏仰苏
孟兆航
舒挺
机构
浙江水利水电专科学校计算机系
浙江理工大学计算机应用研究所
出处
《计算机工程与设计》
CSCD
北大核心
2007年第10期2312-2315,共4页
基金
浙江省自然科学基金项目(M603145)
浙江省科技计划基金项目(2005C21027)
文摘
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。
关键词
一致性
测试
控制流测试
惟一输入输出序列
可达性分析
有限状态机
Keywords
conformance test
control flow test
UIO
reachability analysis
FSM
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
通信协议一致性测试序列自动生成算法研究
魏仰苏
孟兆航
舒挺
《计算机工程与设计》
CSCD
北大核心
2007
9
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
