西安交通大学学报
西安交通大學學報
서안교통대학학보
JOURNAL OF XI'AN JIAOTONG UNIVERSITY
2007年
6期
640-644
,共5页
赵保华%张炜%林华辉%李培龙
趙保華%張煒%林華輝%李培龍
조보화%장위%림화휘%리배룡
被动测试%错误定位%通信有限状态机
被動測試%錯誤定位%通信有限狀態機
피동측시%착오정위%통신유한상태궤
针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题,提出了一种被动测试错误检测方法.该方法在外部通道放置观察者,并使用了全局状态描述系统的当前可能状态,利用了观察到的输入输出信息,同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法,首先记录被动检测过程中系统经历的转换轨迹,用变异分析方法生成候选诊断,然后通过被动观察来降低错误集合的规模,最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明,所提算法能够在有限观察步骤内检测出被测系统中的错误,并能有效定位检测错误,其回溯算法也可以显著缩短错误症状序列的长度.
針對現有的被動測試方法無法解決嵌入式通信繫統的錯誤檢測問題,提齣瞭一種被動測試錯誤檢測方法.該方法在外部通道放置觀察者,併使用瞭全跼狀態描述繫統的噹前可能狀態,利用瞭觀察到的輸入輸齣信息,同時結閤瞭模型轉換推測齣繫統的狀態變遷.基于該檢測方法又設計齣一種層次化的錯誤診斷算法,首先記錄被動檢測過程中繫統經歷的轉換軌跡,用變異分析方法生成候選診斷,然後通過被動觀察來降低錯誤集閤的規模,最後使用區分序列和交扠判定進行錯誤定位.通過一箇實際的H.245通信協議的實驗錶明,所提算法能夠在有限觀察步驟內檢測齣被測繫統中的錯誤,併能有效定位檢測錯誤,其迴溯算法也可以顯著縮短錯誤癥狀序列的長度.
침대현유적피동측시방법무법해결감입식통신계통적착오검측문제,제출료일충피동측시착오검측방법.해방법재외부통도방치관찰자,병사용료전국상태묘술계통적당전가능상태,이용료관찰도적수입수출신식,동시결합료모형전환추측출계통적상태변천.기우해검측방법우설계출일충층차화적착오진단산법,수선기록피동검측과정중계통경력적전환궤적,용변이분석방법생성후선진단,연후통과피동관찰래강저착오집합적규모,최후사용구분서렬화교차판정진행착오정위.통과일개실제적H.245통신협의적실험표명,소제산법능구재유한관찰보취내검측출피측계통중적착오,병능유효정위검측착오,기회소산법야가이현저축단착오증상서렬적장도.
