基于分支界限搜索的EFSM协议测试序列生成算法

• 作者: 夏松 尤娟 李俊全
• 来源期刊: 计算机应用研究
• 关键词: 协议一致性测试 测试序列生成 扩展有限状态机 赋权值 互异代表系 分支界限法
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 1349-1352
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.05.017

摘要

针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法.该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题.该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尤娟		3	8	2.0	2.0
2	夏松		3	9	2.0	3.0
3	李俊全		7	13	2.0	2.0