一种通信有限状态机的被动测试及其错误诊断  

Passive Testing and Fault Diagnosis for Communication Finite State Machines

作　　者：赵保华[1] 张炜[1] 林华辉[1] 李培龙[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系

出　　处：《西安交通大学学报》2007年第6期640-644,共5页Journal of Xi'an Jiaotong University

基　　金：国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60241004;60602016);国家重点基础研究发展规划资助项目(2003CB314801);华为基金资助项目(YJCB2006044TS)

摘　　要：针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题,提出了一种被动测试错误检测方法.该方法在外部通道放置观察者,并使用了全局状态描述系统的当前可能状态,利用了观察到的输入输出信息,同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法,首先记录被动检测过程中系统经历的转换轨迹,用变异分析方法生成候选诊断,然后通过被动观察来降低错误集合的规模,最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明,所提算法能够在有限观察步骤内检测出被测系统中的错误,并能有效定位检测错误,其回溯算法也可以显著缩短错误症状序列的长度.Focusing on the problem that the existing methods of passive testing can not accomplish the fault detection of embedded communication systems, a passive testing approach to fault detection is proposed, in which an observer is placed in external channel, global states are used to describe the possible states of the system, the observed input and output information is employed and combined with model conversion to presume the system state transitions. Based on the approach, a hierarchical method of fault diagnosis is further designed, in which the system conversion trace are recorded in passive testing, then mutant analysis method is utilized to generate fault candidates. The size of fault set can be reduced by passive observations, and distinguishing se- quence and cross verification are used to locate the fault. Experiments of a real protocol H. 245 shows that the proposed approach can detect the fault in embedded communication systems in limited steps and can locate the system fault effectively. Its backtracing algorithm can reduce the length of the fault symptom sequence significantly.

关 键 词：被动测试 错误定位 通信有限状态机 

分 类 号：TN915.04[电子电信—通信与信息系统]