期刊论文

A New Solution to Failure-detecting in Software-designing：Pattern,Algorithm and Practical Examples

中文

科学技术与工程

1671-1815

2011

11

29

7145-7149

10.3969/j.issn.1671-1815.2011.29.023

11004050:国家自然科学基金 B22023:教育厅项目 09C1182:教育厅项目 2009KG23:衡阳市科技局项目

本校为其他机构

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

As soft-wares play an important role in national economy and social life,there is an increasing number of studies on failure-pattern-based failure detecting approaches.However,the following attempts is make： establishing a pattern of failures likely to occur in the process of software designing;pointing out the defects of the existing failure-detecting algorithms;and bringing up a state-change-recuction-based heuristic searching algorithm that can strengthen the failure-detecting power simply by checking parts of the state-change.The practical...