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

摘要：

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

关键词：扩展有限状态机、故障模型、故障检测

所属期刊栏目：26

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2009-07-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2583-2585,2589