中文摘要：

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

英文摘要：

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 application proves the above-mentioned new algorithm＇s validity in setting up a failure pattern for state-limited computers.