论文部分内容阅读
FMEA(失效模式及影响分析)方法作为一种传统的可靠性和安全性分析方法已广泛的应用于硬件的可靠性工程中。随着数字化革命的兴起,软件FMEA方法被提出并逐渐应用于软件产品的设计与实现的过程中,有效地提高了安全关键软件的可靠性。但是传统的软件FMEA方法存在精确性低、客观性差、缺乏自动化分析工具等缺陷;同时,由于软件FMEA在安全关键软件的可靠性与安全性分析中起到了非常重要的作用,并取得了良好的效果,因此我们考虑将其推广到通用的软件开发过程中,针对已广泛运用的面向对象软件设计方法,寻找一种基于面向对象软件的FMEA方法。针对以上存在的问题及需求,本文分析面向对象软件的特点,提取面向对象软件特有的失效模式,并尝试给出一种基于依赖关系的面向对象软件FMEA分析方法,该方法跟踪软件开发的全过程,可有效的提高软件的可靠性,并为设计计算机辅助工具提供依据。首先,文章提出基于UML模型的系统级软件FMEA方法。在软件开发的早期,即需求分析和概要设计阶段,利用UML模型产生对系统的理解,通过定义并构建UML依赖关系模型,全面展示目标系统,并以模型为依据提出基于图的可达性结点计算的失效原因及影响分析方法。其次,文章提出基于程序依赖关系的详细级软件FMEA方法。在详细设计及代码实现阶段,通过定义并构建Java系统依赖图展现代码间存在的复杂的依赖关系,为详细级软件FMEA提供分析依据,并给出基于切片思想的详细级软件失效原因及影响分析方法。在以上的分析过程中,失效模式的提取是关键和基础,本文提出了基于启发式规则的失效模式收集方法,这些启发规则包括基于面向对象软件经典的失效模式库的失效模式提取、基于各种UML模型的失效模式提取以及基于目标系统的特定需求与规约的失效模式提取。在此基础上,给出系统级软件FMEA与详细级软件FMEA综合分析方法,使两个分析过程紧密结合。最后,以理论分析为基础,设计并实现了软件FMEA辅助分析工具原型。并通过具体实例,验证面向对象软件FMEA方法的可行性以及辅助工具的正确性。