期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
自适应EFSM可执行测试序列生成
被引量：
3
1
作者
舒挺
刘良桂
+1 位作者
徐伟强
李文书
《计算机研究与发展》
EI
CSCD
北大核心
2012年第6期1211-1219,共9页
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变...
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.
展开更多
关键词
自适应搜索
扩展有限
状态
机
状态
格局
可达性分析
测试序列
下载PDF
职称材料
启发式探索的协议测试序列生成
2
作者
舒挺
孙守迁
+2 位作者
王海宁
徐伟强
李文书
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2009年第6期120-124,共5页
为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法.该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生...
为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法.该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题.实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.
展开更多
关键词
协议一致性测试
权值扩展有限
状态
机
状态
格局
可达性分析
下载PDF
职称材料
题名
自适应EFSM可执行测试序列生成
被引量：
3
1
作者
舒挺
刘良桂
徐伟强
李文书
机构
浙江理工大学信息学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第6期1211-1219,共9页
基金
国家自然科学基金项目(61101111
61002016
+2 种基金
60702081)
浙江省自然科学基金项目(Y1090980)
浙江理工大学科研启动基金项目(Y1090980)
文摘
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.
关键词
自适应搜索
扩展有限
状态
机
状态
格局
可达性分析
测试序列
Keywords
adaptive exploration extend finite state machine （EFSM） state configuration teachability analysis test sequence
分类号
TP393.06 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
启发式探索的协议测试序列生成
2
作者
舒挺
孙守迁
王海宁
徐伟强
李文书
机构
浙江大学计算机科学与技术学院
浙江理工大学信息电子学院
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2009年第6期120-124,共5页
基金
国家自然科学基金项目(60702081)
浙江省自然科学基金项目(Y1080851)
文摘
为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法.该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题.实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.
关键词
协议一致性测试
权值扩展有限
状态
机
状态
格局
可达性分析
Keywords
protocol conformance test
weight extend finite state machine
state configuration
reachability analysis
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
自适应EFSM可执行测试序列生成
舒挺
刘良桂
徐伟强
李文书
《计算机研究与发展》
EI
CSCD
北大核心
2012
3
下载PDF
职称材料
2
启发式探索的协议测试序列生成
舒挺
孙守迁
王海宁
徐伟强
李文书
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
