位置:成果数据库 > 期刊 > 期刊详情页
基于Markov链模型的被动测试错误检测算法
  • 期刊名称:中国科学技术大学学报
  • 时间:0
  • 作者或编辑:3448
  • 第一作者所属机构:中国科学技术大学
  • 页码:198-201
  • 语言:中文
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]中国科学技术大学计算机科学技术系,安徽合肥230027
  • 相关基金:国家自然科学基金(90104010,60241004),国家“973”计划(2003CB314801)和信息产业部项目(2005C56)资助.
  • 相关项目:形式化的协议理论
中文摘要:

通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.

英文摘要:

A method for applying statistical observations in passive testing based on finite state machine (FSM) was introduced. Based on the Markov chain model, a new fault detection algorithm was proposed and a single fault diagnostic was discussed. Compared with those existed algorithms, the new approach only requires knowledge of the probability distribution of the transitions and the observed input/output pairs, and it can potentially be used in testing/monitoring distributed systems.

同期刊论文项目
期刊论文 55 会议论文 5
同项目期刊论文