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

作     者：赵保华 张炜 林华辉 李培龙 Zhao Baohua;Zhang Wei;Lin Huahui;Li Peilong

作者机构：中国科学技术大学计算机科学与技术系 

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

出 版 物：《西安交通大学学报》 (Journal of Xi'an Jiaotong University)

年 卷 期：2007年第41卷第6期

页      码：640-644页

摘      要：针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题,提出了一种被动测试错误检测方法.该方法在外部通道放置观察者,并使用了全局状态描述系统的当前可能状态,利用了观察到的输入输出信息,同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法,首先记录被动检测过程中系统经历的转换轨迹,用变异分析方法生成候选诊断,然后通过被动观察来降低错误集合的规模,最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明,所提算法能够在有限观察步骤内检测出被测系统中的错误,并能有效定位检测错误,其回溯算法也可以显著缩短错误症状序列的长度.

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

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 081001[081001] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:0253-987X.2007.06.003

馆 藏 号：203840118...