Fault detection based on extended finite state machine model
基于扩展有限状态机模型的故障检测

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 gav...