中国科学技术大学学报
中國科學技術大學學報
중국과학기술대학학보
JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA
2006年
2期
198-201
,共4页
赵保华%钱兰%屈玉贵%郭雄辉
趙保華%錢蘭%屈玉貴%郭雄輝
조보화%전란%굴옥귀%곽웅휘
被动测试%Markov链%概率有限状态机
被動測試%Markov鏈%概率有限狀態機
피동측시%Markov련%개솔유한상태궤
通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.
通過分析如何將概率統計的思想應用到基于有限狀態機的協議被動測試上,在Markov鏈模型基礎上,提齣瞭一種新的被動測試錯誤檢測算法,併給齣瞭與已有算法的比較.從比較結果可知,新算法隻需要知道有限狀態機中轉換的概率分佈和最終觀察到的輸入/輸齣對的概率分佈,就可以解決已有算法存在的問題,因此適用範圍更廣,同時還探討瞭單箇錯誤定位問題.
통과분석여하장개솔통계적사상응용도기우유한상태궤적협의피동측시상,재Markov련모형기출상,제출료일충신적피동측시착오검측산법,병급출료여이유산법적비교.종비교결과가지,신산법지수요지도유한상태궤중전환적개솔분포화최종관찰도적수입/수출대적개솔분포,취가이해결이유산법존재적문제,인차괄용범위경엄,동시환탐토료단개착오정위문제.