基于EFSM用户自定义故障模型的测试集生成

• 作者: 张焱 李仁发 李永亮 李蕊
• 来源期刊: 计算机应用研究
• 关键词: 扩展有限状态机(EFSM) 用户自定义故障 一致性测试 测试生成
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3388-3391
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.09.053

摘要

提出了一种用户自定义故障的EFSM测试集生成方法.该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合.实验结果表明了新算法对生成最短EFSM测试集是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李仁发	湖南大学计算机与通信学院	468	4582	30.0	44.0
2	李蕊	湖南大学计算机与通信学院	26	259	6.0	16.0
3	李永亮	湖南大学计算机与通信学院	3	8	2.0	2.0
4	张焱	湖南大学计算机与通信学院	8	25	3.0	5.0