摘要
提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。
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.
出处
《计算机应用研究》
CSCD
北大核心
2009年第7期2583-2585,2589,共4页
Application Research of Computers
关键词
扩展有限状态机
故障模型
故障检测
extended finite state machine
fault model
fault detection
