基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题，提出了一种逐步定位系统实现错误的层次递进的方法．先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合，再依据测试套上下文使用错误检测算法对该集合进行筛选，最后经连续观察或结合主动测试进行错误区分．实例验证结果表明，所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位．

Passive Test for Fault Diagnosis Based on Finite State Machine

Focusing on the problem that the passive test for fault diagnosis only generates a set of possible faults,and thus can not obtain the exact information about the fault location,a hierarchical progressing method to locate gradually the realization fault of the system was proposed, in which the initial diagnostic fault set was generated firstly based on the static information provided by test sequences and the assumed fault model,then filtration of the set was made through the context of the test suite by a continuous fault check algorithm.A consequent observation method combined with active testing is used to discriminate the faults that are determined by steps above. An application example is given to illustrate that the proposed approach can locate the faults for the most of FSM(finite state machine) models with a single realization fault.