互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于扩展有限状态机模型的故障检测


□ 李 蕊 李永亮 李仁发 张 焱

  摘要:提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。
  关键词:扩展有限状态机;故障模型;故障检测
  中图分类号:TP311.5 文献标志码:A 文章编号:1001-3695(2009)07-2583-03


  注:请下载安装 Acrobat Reader 软件后点击下面的链接阅读。

阅读PDF原文: 1 2 3 4 




......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017