基于扩展有限状态机模型的故障检测

• 作者: 张焱 李仁发 李永亮 李蕊
• 来源期刊: 计算机应用研究
• 关键词: 扩展有限状态机 故障模型 故障检测
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2583-2585,2589
• 页数: 4页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.07.051

摘要

提出了基于扩展有限状态机的故障检测模型和检测算法.该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证.实验表明,该算法可以快速准确地定位软件中故障发生的位置.

作者信息

序号	姓名	单位	发文数	被引次数	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