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

Fault detection based on extended finite state machine model

作　　者：李蕊[1] 李永亮[1] 李仁发[1] 张焱[1] 

机构地区：[1]湖南大学计算机与通信学院,长沙410082

出　　处：《计算机应用研究》2009年第7期2583-2585,2589,共4页Application Research of Computers

摘　　要：提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。This paper presented the based on extended finite state machine＇ s fault detection model and detection algorithm. The model had described and defined the malfunction by formalization. Detection algorithm curtailed the state variance of the fault model. Part of the fault detection model＇ s state changed, which could effectively alleviate the state space would be too huge that caused by time and space efficiency, so as to find the malfunction in the system that had been under test maximally. Finally, the article gave a simple protocol to be analyzed and verified. The experiment proves that the algorithm can be located in software malfunction fast and accurately.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]