EFSM可执行状态验证序列的生成

• 作者: 吴柏青 孟兆航 舒挺 魏仰苏
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 协议一致性测试 扩展有限状态机 状态验证 唯一输入输出序列
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 论文
• 页码范围: 84-88
• 页数: 5页
• 分类号: TP393
• 字数: 4550字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2007.02.020

摘要

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法. 新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性. 实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	舒挺	浙江理工大学信息电子学院	22	99	5.0	9.0
2	魏仰苏	浙江理工大学信息电子学院	8	63	4.0	7.0
3	孟兆航	浙江理工大学信息电子学院	5	51	4.0	5.0
4	吴柏青	浙江理工大学信息电子学院	4	28	2.0	4.0