一种基于EFSM的一致性测试序列生成方法

• 作者: 李丽芬 王晓月 邸剑
• 来源期刊: 电子制作
• 关键词: 一致性测试 测试序列生成 转换可执行分析 逆向判定性
• 年，卷（期）: 2013,（21）
• 所属期刊栏目: 实验研究 Experimental Research
• 页码范围: 31-31
• 页数: 1页
• 字数: 1601字
• 语种: 中文

摘要

协议的一致性测试是用来检验协议实现是否符合协议规范，其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机EFSM的全面的可执行的测试序列生成方法。该方法使用UIOE方法对控制流进行分析，使用al-du-path 标准对数据流进行分析。通过使用改进的转换可执行分析TEA和逆向判定性，用深度优先搜索的方法扩展出一棵转换可执行分析树，然后生成包含控制流和数据流的可执行测试序列。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李丽芬	华北电力大学控制与计算机工程学院	15	129	7.0	11.0
2	邸剑	华北电力大学控制与计算机工程学院	29	721	13.0	26.0
3	王晓月	华北电力大学控制与计算机工程学院	1	0	0.0	0.0