摘要
针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合,再依据测试套上下文使用错误检测算法对该集合进行筛选,最后经连续观察或结合主动测试进行错误区分.实例验证结果表明,所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位.
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.
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2006年第6期626-629,共4页
Journal of Xi'an Jiaotong University
基金
国家自然科学基金重大研究计划资助项目(90104010)
国家自然科学基金资助项目(60241004)
国家重点基础研究发展计划资助项目(2003CB314801)
信息产业部国家242信息安全计划资助项目(2005C56)
关键词
被动测试
错误诊断
错误区分
passive test
fault diagnosis
fault discrimination
