软件失效模式和影响分析(FMEA)主要是在软件开发阶段,通过识别软件失效模式,研究分析各种失效模式产生的原因及其造成的后果,以尽早发现潜在的问题,从而提高软件的可靠性和安全性。软件FMEA通常分为系统级软件FMEA和详细级软件FMEA。本文重点研究详细级软件FMEA。软件FMEA存在的主要问题在于缺乏在工程实践中针对特定领域的、具有较好可行性和较高效率的FMEA辅助分析工具。传统的详细级软件FMEA辅助分析工具是建立在变量映射表和软件线索的基础之上的,主要依靠于大量的人工操作,因此该方法具有不准确、自动化程度低等缺陷。针对这些问题,本文提出了基于程序依赖关系和切片思想的详细级软件FMEA方法,并设计了一个针对ANSI C程序语言的详细级软件FMEA辅助分析工具。首先,论文提出了基于程序依赖关系的详细级软件FMEA方法。通过构建系统依赖图的方式直观、准确的描述代码间存在的复杂数据依赖和控制依赖关系,为详细级软件FMEA提供了分析依据,进而给出了基于切片思想的详细级软件失效原因及影响分析方法。其次,论文对详细级软件FMEA辅助分析工具进行了需求分析。然后,在此基础上给出了辅助工具的详细设计和实现过程。为了方便开发人员进行失效分析,我们还对用户界面进行了设计和实现。该工具对代码进行失效模式的原因和影响分析的过程是自动完成的,提高了详细级软件FMEA的自动化程度和工作效率。最后,通过对实例进行验证以及对辅助工具进行的性能测试,表明了工具的可行性。