SFMEA与SFTA逆向综合分析辅助方法技术

本发明专利技术是一种SFMEA与SFTA逆向综合分析辅助方法，属于软件可靠性与安全性分析领域。本方法的内容主要包括了功能结构图、数据流图、控制流程图对故障树的辅助构建和对SFMEA的辅助，其中对故障树构建的辅助是本发明专利技术的重点内容。获取功能结构图、数据流图和控制流程图，确定顶事件，分别或者综合利用功能结构图、数据流图和控制流程图辅助构建故障树，利用功能结构图和数据流图辅助SFMEA。本方法通过利用功能结构图、数据流图和控制流程图对SFMEA和SFTA逆向综合分析的辅助，能够有效地降低分析难度、理清分析脉络、使得分析更加充分。

【技术实现步骤摘要】
SFMEA与SFTA逆向综合分析辅助方法
本专利技术属于软件可靠性与安全性分析领域，涉及故障树分析技术，具体涉及一种对软件失效模式和影响分析(SoftwareFailureModeandEffectsAnalysis,简称SFMEA)与软件故障树分析(SoftwareFaultTreeAnalysis,简称SFTA)逆向综合分析进行辅助的方法。
技术介绍
目前在软件可靠性与安全性分析领域，SFMEA与SFTA是两种常见的软件可靠性分析方法，并且有相关的辅助工具的支持，可以通过一些自动化工具来实现，极大地加快了软件可靠性分析的速度，分析也更加全面，在工程中得到了广泛的应用。但是由于它们各自的一些特点，导致它们独自进行分析时存在不可避免的缺陷如顶事件的遗漏、失效原因间缺乏逻辑联系、定量分析困难等。这些问题在当今的软件可靠性及安全性分析过程中经常出现，导致了一些重大软件事故的出现。为解决这些问题，基于SFMEA与SFTA两种分析方法的特点，有人提出了将SFMEA与SFTA综合起来进行分析的方法，得到很多人的认可并在应用中发挥了明显的优势。基于SFMEA与SFTA各自优缺点，将SFMEA与S本文档来自技高网...

【技术保护点】
一种软件失效模式和影响分析(SFMEA)与软件故障树分析(SFTA)逆向综合分析辅助方法，用于逆向综合分析中故障树的辅助构建，其特征在于，该辅助方法包含了以下步骤：步骤1、获得软件的功能结构图，功能结构图由上到下逐层分解，直到分解至《软件需求规格说明书》中所示的最小的功能模块，对各个功能模块进行编号；步骤2、获得软件的数据流图，根据《软件需求规格说明书》，为功能结构图中的每一层的模块建立数据流关系，数据流图采用由上到下逐层分解的方式为功能结构图中的每一层模块建立数据流关系，直至最底层的模块；数据流图中的功能模块采用与功能结构图中相同的编号；步骤3、获得软件的控制流程图，根据《软件需求规格说明书...

【技术特征摘要】
1.一种软件失效模式和影响分析(SFMEA)与软件故障树分析(SFTA)逆向综合分析辅助方法，用于逆向综合分析中故障树的辅助构建，其特征在于，该辅助方法包含了以下步骤：步骤1、获得软件的功能结构图，功能结构图由上到下逐层分解，直到分解至《软件需求规格说明书》中所示的最小的功能模块，对各个功能模块进行编号；步骤2、获得软件的数据流图，根据《软件需求规格说明书》，为功能结构图中的每一层的模块建立数据流关系，数据流图采用由上到下逐层分解的方式为功能结构图中的每一层模块建立数据流关系，直至最底层的模块；数据流图中的功能模块采用与功能结构图中相同的编号；步骤3、获得软件的控制流程图，根据《软件需求规格说明书》为功能结构图中每一层模块建立控制流程关系，控制流程图采用由上到下逐层分解的方式为功能结构图中的每一层模块建立控制流程关系，直至最底层的模块；控制流程图中的功能模块采用与功能结构图相同的编号；步骤4、确定顶事件，分析与其相关的功能结构图、数据流图和控制流程图，准备建立故障树；步骤5、利用功能结构图、控制流程图和数据流图辅助构建故障树，包括步骤5.1～步骤5.3：步骤5.1：利用功能结构图对故障树的构建进行辅助，功能结构图为故障树构建提供分析线索与层次关系，具体是：对于顶事件，分析功能结构图中顶层的功能模块，识别出导致顶事件的功能模块故障，作为顶事件的直接原因事件；对于某一个中间事件，在功能结构图找到其所对应的功能模块，则该事件可能是由该功能模块的子模块故障造成的，...

【专利技术属性】
技术研发人员：张虹，赵金富，徐莉莉，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：北京;11