基于Markov链模型的被动测试错误检测算法

被引:2
作者
赵保华
钱兰
屈玉贵
郭雄辉
机构
[1] 中国科学技术大学计算机科学技术系
关键词
被动测试; Markov链; 概率有限状态机;
D O I
暂无
中图分类号
TP393.04 [];
学科分类号
摘要
通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.
引用
收藏
页码:198 / 201
页数:4
相关论文
共 1 条
  • [1] Principles and methods of tes-ting finite state machines A survey. Lee D,Yannakakis M. Proc.of theIEEE . 1996