面向软件设计阶段的故障检测研究:模型、算法和例证

摘要：

软件在国民经济和社会生活中发挥着重要作用,目前对基于故障模型的软件故障检测的研究也越来越多.分析在软件设计过程中容易发生的故障,建立故障模型；并通过分析常用的故障检测算法,总结算法存在的不足,同时提出一种基于状态变迁缩减的启发式搜索算法.此算法只需要检测系统中的部分状态变迁,就可以提高对系统中故障的检测能力.实例表明:该算法对建立的扩展有限状态机故障模型是有效的.

关键词：软件故障、故障模型、故障检测、启发武算法

所属期刊栏目：11

分类号：TP311.11(计算技术、计算机技术)

资助基金：国家自然科学基金11004050;湖南省教育厅项目B22023;湖南省教育厅项目09C1182;衡阳市科技局项目2009KG23

在线出版日期：2012-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：7145-7149