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

第 l1卷 第29期 2011年 10月 科 学 技 术 与 工 程 V0l_11 No．29 0ct．2011 1671— 1815(2Ol1)29—7145-05 ScienceTechnologyandEngineering @ 2011 Sci．Tech．Engng． 面向软件设计阶段的故障检测研究： 模型、算法和例证 刘 辉 ， 李 蕊 李 浪 汪新文 (湖南大学计算机与通信学院 ，长沙410082；衡阳师范学院计算机系 ，衡阳421002) 摘 要 软件在国民经济和社会生活中发挥着重要作用，目前对基于故障模型的软件故障检测的研究也越来越多。分析在 软件设计过程中容易发生的故障，建立故障模型；并通过分析常用的故障检测算法，总结算法存在的不足，同时提 出一种基于 状态变迁缩减的启发式搜索算法。此算法只需要检测系统中的部分状态变迁，就可 以提高对系统中故障的检测能力。实例 表 明：该算法对建立的扩展有限状态机故障模型是有效的。 关键词 软件故障 故障模型 故障检测 启发式算法 中图法分类号 TP311．11； 文献标志码 A 随着计算机技术的发展，各种结构复杂、功能 障模型的软件故障检测可以弥补其 中的不足。近 强大的计算机越来越多地使用在轨道交通、高速铁 年来，已有许多的故障检测模型被提出 。建立故 路、航空航天、核工业等安全苛求领域，软件系统的 障模型的好处是可以根据模型中给出的信息来设 安全性问题 日益成为人们关注的焦点。为了确保 计和编制算法。一个成熟的故障模型需要符合下 软件系统的安全，这类系统在投入使用之前必须进 面几个条件：该模型是符合实际的；模型下的故障 行安全性检测Llj。IEEE定义软件测试为：使用人工 个数是有限的；模型下的故障是可以测试的。因此 或 自动手段来运行或测试某个系统的过程，其 目的 我们设计的故障模型也遵循这几个原则。 在于检验它是否满足规定的需求或是弄清预期结 果与实际结果之间的差别L2J。另外，许多人引用 1 软件设计阶段的故障模型 GrenfordJ．Myers在 《TheArtofSoftwareTesting一 无论是通信协议、嵌入式软件还是面向对象的 书中的观点：软件测试是为了发现错误而执行程序 应用软件，分析和测试软件系统的正确性、完整性 的过程；测试是为了证明程序有错，而不是证明程 和一致性都是在软件的测试阶段来完成的。然而 序无错；一个好的测试用例在于它能发现至今未发 建立合理的故障模型，来保证软件设计阶段的正确 现的错误。这个观点可以提醒人们测试是要以查 性可以更好地做到 “早发现问题，早解决问题”。正 找错误为中心，而不是为了演示软件的正确功能。 确性就意味着在给定的条件下满足需求，完整性则 传统软件测试一般都不是基于故障模型的，只 要求能够完成所有要求的服务，而一致性则是设计 是对错误表象的检测，故也有一些不足。而基于故 的软件功能跟系统需求规约相一致。在本文中我 们考虑到在软件设计阶段和在运行阶段出现的几 2011年5月 16日收到 国家自然科学基金、 湖南省教育厅项 目(B22023)、湖南省教育厅项 目(09Cl182)、