基于SFTA的桥接模式安全性分析 被引量：1

1

作者 李国旗 陆民燕 刘斌 《计算机工程》 CAS CSCD 北大核心 2009年第24期108-110,113,共4页

采用软件故障树分析法,通过一个应用桥接模式的实例研究在软件设计中引入设计模式对软件安全性的影响。结果表明,单纯引入桥接模式,软件的安全性约降低50%,但引入设计模式使得软件模块之间解耦合,通过加入双余量设计,可以使软件安全性提... 采用软件故障树分析法,通过一个应用桥接模式的实例研究在软件设计中引入设计模式对软件安全性的影响。结果表明,单纯引入桥接模式,软件的安全性约降低50%,但引入设计模式使得软件模块之间解耦合,通过加入双余量设计,可以使软件安全性提高2个数量级。该结论对安全关键软件面向对象的设计具有指导作用。 展开更多

关键词 软件故障树分析 设计模式 软件安全性

在线阅读 下载PDF 职称材料

大型集成概率安全分析软件系统的研究与发展 被引量：35

2

作者 吴宜灿 刘萍 +10 位作者 胡丽琴 张士杰 王海涛 李亚洲 聂淼 麻晓敏 袁润 李媛媛 汪建业 王世鹏 陈海燕 《核科学与工程》 CSCD 北大核心 2007年第3期270-276,共7页

FDS团队在广泛调研和深入分析国际现有概率安全分析软件及其关键技术的基础上,研发了具有自主知识产权的大型概率安全分析软件系统RiskA。该软件提供了系统建模、故障树分析、事件树分析、不确定性分析、可靠性数据管理与分析、敏感性... FDS团队在广泛调研和深入分析国际现有概率安全分析软件及其关键技术的基础上,研发了具有自主知识产权的大型概率安全分析软件系统RiskA。该软件提供了系统建模、故障树分析、事件树分析、不确定性分析、可靠性数据管理与分析、敏感性分析和重要度分析等概率安全分析所需的基本功能。介绍RiskA的设计思想、总体结构、主要功能、技术特点和相关测试与应用等。 展开更多

关键词 概率安全分析 故障树分析 事件树分析 PSA软件

在线阅读 下载PDF 职称材料

形式化故障树分析建模和软件安全性测试 被引量：28

3

作者 徐中伟 吴芳美 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第11期1299-1302,共4页

阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论 .

关键词 软件测试 形式化故障树 安全软件 软件工程 动态扩展安全性测试 自动生成算法

在线阅读 下载PDF 职称材料

定量化故障树分析技术在空间相机软件开发中的应用 被引量：10

4

作者 李杨 徐抒岩 +2 位作者 韩诚山 于涛 邢忠宝 《光学精密工程》 EI CAS CSCD 北大核心 2008年第11期2180-2186,共7页

为保证空间相机软件系统可靠安全地运行,多采用定量化故障树方法对其进行可靠性分析。由于获取故障知识及确定故障树结构有一定难度,提出了一种基于粗糙集的软件故障树建立方法。针对软件故障原因错综复杂,无法获取大量有效数据的情况,... 为保证空间相机软件系统可靠安全地运行,多采用定量化故障树方法对其进行可靠性分析。由于获取故障知识及确定故障树结构有一定难度,提出了一种基于粗糙集的软件故障树建立方法。针对软件故障原因错综复杂,无法获取大量有效数据的情况,给出一种采用Vague集方法对底事件进行建模,从而计算底事件相对重要度和顶事件发生概率的定量分析方法,根据分析结果指导软件的可靠性设计并确定测试重点。实验结果表明:使用提出的故障树分析方法,有效地指导了设计人员通过容错差错和避错等设计措施提高系统的可靠性,解决了由于软件部件可靠性指标很难精确量化,无法进行定量分析的问题。 展开更多

关键词 空间相机 软件可靠性 故障树分析(FTA) 粗糙集 VAGUE集

在线阅读 下载PDF 职称材料

故障树分析技术在软件测试中的应用 被引量：9

5

作者 刘文红 王占武 吴欣 《系统工程与电子技术》 EI CSCD 北大核心 2004年第7期985-987,999,共4页

针对故障模式判决软件测试用例设计的特点 ,提出了一种利用故障树分析原理 (FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原理进行测试用例设计 ,根据故障判决模式画出故障树 ,将该... 针对故障模式判决软件测试用例设计的特点 ,提出了一种利用故障树分析原理 (FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原理进行测试用例设计 ,根据故障判决模式画出故障树 ,将该树作为测试用例设计树 ,然后运用故障树原理获得该树的最小割集 ,将此最小割集作软件测试用例的设计的依据。利用该方法进行测试用例设计保证了测试的充分性、测试用例分布的合理性 ,同时依据此方法设计的测试用例辅助生成软件 ,也极大地提高了软件测试自动化水平。 展开更多

关键词 测试用例设计方法 软件测试 故障树分析原理 割集

在线阅读 下载PDF 职称材料

面向多用户软件系统的可靠性分配的故障树分析法 被引量：7

6

作者 徐仁佐 向剑文 肖英柏 《小型微型计算机系统》 CSCD 北大核心 2001年第3期329-332,共4页

本文首先对目前已有的各种分配技术与方法的特点进行了探讨 ,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集 ,首次提出运用故障树技术进行各模块可靠性的划分和确定 ,并提出了一种新的算法来快速、有效地确定各模块的... 本文首先对目前已有的各种分配技术与方法的特点进行了探讨 ,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集 ,首次提出运用故障树技术进行各模块可靠性的划分和确定 ,并提出了一种新的算法来快速、有效地确定各模块的重要度 ,结合考虑软件的总体开发费用 ,创建了一个新的基于软件实用性的可靠性分配模型并详细讨论了其具体运用 。 展开更多

关键词 模块重要度 故障树分析法 软件系统 可靠性 软件开发

在线阅读 下载PDF 职称材料

基于IPO功能分解的嵌入式软件故障树分层构建方法 被引量：3

7

作者 黄百乔 赖婧 +1 位作者 张虹 陆民燕 《沈阳工业大学学报》 EI CAS 北大核心 2013年第2期204-211,共8页

针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能... 针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性. 展开更多

关键词 嵌入式软件 软件故障树 分层分析 软件安全性 软件失效模式与影响 输入-处理过程-输出

在线阅读 下载PDF 职称材料

基于故障树分析法的软件测试技术 被引量：5

8

作者 任颖 李华伟 张杰 《实验室研究与探索》 CAS 北大核心 2011年第8期78-80,共3页

为了更加有效地提高软件测试的效率,将故障树分析法引人软件测试中,提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量的分析,并将分析结果指导和应用于软件测试实践中。

关键词 软件测试 最小割集 故障树分析

在线阅读 下载PDF 职称材料

一种基于故障树分析的软件设计方法 被引量：3

9

作者 李祥明 吴学军 +1 位作者 王玮 茅文浩 《兵工自动化》 2011年第8期85-91,共7页

为尽量减少被软件设计过程传播的故障数,提出一种基于故障树分析(fault-tree analysis,FTA)的软件设计方法。以故障树分析为基础,从软件的静态和动态特性出发,将其引入到软件设计开发过程中,并以实例进行建模、分析。结果表明:该方法计... 为尽量减少被软件设计过程传播的故障数,提出一种基于故障树分析(fault-tree analysis,FTA)的软件设计方法。以故障树分析为基础,从软件的静态和动态特性出发,将其引入到软件设计开发过程中,并以实例进行建模、分析。结果表明:该方法计算复杂度低、精确度高,建模过程简单,适合于规模小的系统。在海上测控软件的设计开发过程中应用该方法,提高了软件的可靠性和安全性。 展开更多

关键词 静态故障树分析 动态故障树分析 软件设计

在线阅读 下载PDF 职称材料

故障树求解中前处理技术的算法 被引量：4

10

作者 宋维 胡文军 《原子能科学技术》 EI CAS CSCD 北大核心 2010年第3期294-298,共5页

核电厂概率安全评价(PSA)技术已引起核电业主和核安全当局的广泛重视,随着PSA应用的广泛开展和深入,对分析软件的计算速度提出了更高的要求。核电厂系统复杂庞大,其完整的PSA模型十分巨大,随着工作的进一步细致,其规模仍在增加,这给计... 核电厂概率安全评价(PSA)技术已引起核电业主和核安全当局的广泛重视,随着PSA应用的广泛开展和深入,对分析软件的计算速度提出了更高的要求。核电厂系统复杂庞大,其完整的PSA模型十分巨大,随着工作的进一步细致,其规模仍在增加,这给计算机的运算带来一定压力。为解决这一问题,在自主开发的PSA软件NFRisk中,采用了两种故障树求解的前处理技术:故障树结构简化方法和故障树模块化方法。实践证明:该技术的应用能明显加快故障树计算速度,缩短故障树求解时间。 展开更多

关键词 概率安全评价 故障树 结构简化 模块化 NFRisk软件

在线阅读 下载PDF 职称材料

基于故障树分析与组合测试的测试用例生成方法 被引量：5

11

作者 张卫祥 刘文红 《计算机科学》 CSCD 北大核心 2014年第B11期375-378,共4页

随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后... 随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。 展开更多

关键词 软件测试 测试用例生成 组合测试 故障树分析 最小割集 测试用例集 软件工程

在线阅读 下载PDF 职称材料

基于故障树分析法的软件测试技术研究 被引量：15

12

作者 朱云鹏 《计算机工程与设计》 CSCD 北大核心 2008年第13期3387-3390,共4页

将安全性评估领域广泛应用的故障树分析法引入软件测试中,融合基于软件故障概率分析和风险分析的方法,对软件测试的故障树建模进行了重点研究。提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性... 将安全性评估领域广泛应用的故障树分析法引入软件测试中,融合基于软件故障概率分析和风险分析的方法,对软件测试的故障树建模进行了重点研究。提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量分析,并将分析结果指导和应用于软件测试实践中。 展开更多

关键词 软件测试 故障树分析法 最小割集 Fussell-Vesely算法 风险分析矩阵

在线阅读 下载PDF 职称材料

嵌入式火控系统软件故障树分析研究 被引量：2

13

作者 周薇 刘庆生 《现代电子技术》 北大核心 2015年第8期105-108,共4页

武器装备软件在使用过程中发生失效会导致任务的失败,从而影响软件可靠性。软件故障树分析作为软件可靠性分析的主要方法,在软件的优化和改进中起着重要作用。在此首先介绍了软件故障树分析法,结合嵌入式火控系统软件特点进行软件故障... 武器装备软件在使用过程中发生失效会导致任务的失败,从而影响软件可靠性。软件故障树分析作为软件可靠性分析的主要方法,在软件的优化和改进中起着重要作用。在此首先介绍了软件故障树分析法,结合嵌入式火控系统软件特点进行软件故障树分析,构造了软件故障树,通过求解最小割集进行定性分析和定量分析。实践证明软件故障树分析有助于提高软件在系统测试或投入使用后的可靠性,提升武器装备的战斗力。 展开更多

关键词 软件故障树分析 软件可靠性 火控系统 可靠性分析

在线阅读 下载PDF 职称材料

基于C语言的软件潜在分析工具的设计与实现 被引量：1

14

作者 孙炼 《现代电子技术》 北大核心 2016年第15期81-85,共5页

目前,在C语言软件潜在分析的过程中,往往忽略了对缺陷过程的管理,同时缺陷分析工作进展缓慢。针对上述问题,设计并开发了基于C语言的软件潜在分析工具,将C语言软件缺陷从发生源到造成事故的过程进行了分解,并采用静态分析方法查找源代... 目前,在C语言软件潜在分析的过程中,往往忽略了对缺陷过程的管理,同时缺陷分析工作进展缓慢。针对上述问题,设计并开发了基于C语言的软件潜在分析工具,将C语言软件缺陷从发生源到造成事故的过程进行了分解,并采用静态分析方法查找源代码缺陷、故障模式和故障树方法分析可靠性缺陷、动态测试跟踪安全性缺陷。确定分析方法后,设计并实现了相应的工具。最后,通过实例对该工具进行了测试和验证,验证结果表明,该工具在缺陷的各个阶段均可对潜在缺陷进行有效的分析和管理,提高了软件潜在分析的效率,为安全关键软件的质量提供了保障。 展开更多

关键词 软件潜在分析 软件可靠性 软件安全性 故障树分析 调试器

在线阅读 下载PDF 职称材料

基于构件软件的可靠性分析技术—FTA 被引量：2

15

作者 胡庆培 白成刚 蔡开元 《计算机工程与应用》 CSCD 北大核心 2003年第10期118-120,127,共4页

快速、高效是软件开发追逐的目标,集中体现软件复用思想的基于构件软件技术继面向对象技术后成为现今软件工程实践和研究的热点;软件所扮演的角色日趋关键,高效开发的同时更需要高可靠性的软件。论文所关注的就是针对开发设计阶段的基... 快速、高效是软件开发追逐的目标,集中体现软件复用思想的基于构件软件技术继面向对象技术后成为现今软件工程实践和研究的热点;软件所扮演的角色日趋关键,高效开发的同时更需要高可靠性的软件。论文所关注的就是针对开发设计阶段的基于构件软件,采用FTA技术,考虑等概率条件下的软件运行剖面,进行面向软件运行的可靠性分析,试图为软件的设计和测试提供更具有实际意义的反馈和指导,进而增强软件的可靠性。文章还介绍了基于这样的技术针对小型的基于构件软件进行的实证分析。 展开更多

关键词 构件软件 软件可靠性分析 故障树分析 软件运行剖面 面向对象 软件开发

在线阅读 下载PDF 职称材料

引信软件安全性概念及分析方法 被引量：8

16

作者 杨辉 高敏 《现代引信》 CSCD 1998年第4期1-5,共5页

随着引信技术的飞速发展，机电一体化安全系统和全电子安全系统将应用于各种新式弹药，软件在引信中的应用也愈加广泛。本文介绍了引信软件安全性的概念，引信软件安全性分析的工作任务，以及故障树（ＦＴＡ）、Ｐｅｔｒｉ网两种常见的... 随着引信技术的飞速发展，机电一体化安全系统和全电子安全系统将应用于各种新式弹药，软件在引信中的应用也愈加广泛。本文介绍了引信软件安全性的概念，引信软件安全性分析的工作任务，以及故障树（ＦＴＡ）、Ｐｅｔｒｉ网两种常见的软件安全性分析方法。 展开更多

关键词 引信 软件安全性 故障树分析 PETRI网技术

在线阅读 下载PDF 职称材料

ODC方法在故障树分析中的应用研究 被引量：1

17

作者 李阳 雷挺 张雯 《计算机工程与设计》 CSCD 北大核心 2012年第12期4598-4602,共5页

为了减少构建软件故障树的成本,提高构建软件故障树的效率,保证软件故障树的完备性,将正交缺陷分类技术引入故障树分析,把典型缺陷类型按照ODC正交分类思想划分,构造了一个缺陷类型与缺陷基本原因对照表,并根据此表提出了一种故障树快... 为了减少构建软件故障树的成本,提高构建软件故障树的效率,保证软件故障树的完备性,将正交缺陷分类技术引入故障树分析,把典型缺陷类型按照ODC正交分类思想划分,构造了一个缺陷类型与缺陷基本原因对照表,并根据此表提出了一种故障树快速构建方法。通过一个实例介绍了快速故障树构建方法的应用。通过在项目中试用此方法构建故障树,表明了该方法的高效准确。 展开更多

关键词 软件故障树分析 正交缺陷分类 缺陷原因分析 底事件 下行法

在线阅读 下载PDF 职称材料

DFTA在软硬件相关故障诊断中的应用研究

18

作者 熊斌 张力 王珊 《计算机工程与应用》 CSCD 北大核心 2008年第35期217-219,共3页

软件密集型系统中由于有大量软件的嵌入,其故障模式发生了变化,产生了新的软硬件相关的故障模式。在分析软硬件相关故障特征的基础上,提出了一种基于动态故障树分析方法的故障诊断方案,并给出了分析方法和步骤。最后通过实例分析,证明... 软件密集型系统中由于有大量软件的嵌入,其故障模式发生了变化,产生了新的软硬件相关的故障模式。在分析软硬件相关故障特征的基础上,提出了一种基于动态故障树分析方法的故障诊断方案,并给出了分析方法和步骤。最后通过实例分析,证明了这种方法的可行性。 展开更多

关键词 软硬件相关故障 动态故障树 故障诊断

在线阅读 下载PDF 职称材料

一种针对嵌入式系统的安全性分析方法

19

作者 杨波 刘振 +1 位作者 卫新洁 吴际 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第8期1930-1939,共10页

嵌入式系统广泛应用于安全关键的工业领域,但目前嵌入式系统的安全性缺乏整体性的分析。为此,提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法,借鉴失效模式和影响分析的方法,构... 嵌入式系统广泛应用于安全关键的工业领域,但目前嵌入式系统的安全性缺乏整体性的分析。为此,提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法,借鉴失效模式和影响分析的方法,构建出故障的演化关系链条,即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验,结果显示:基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面,故障演化链的方法能较好地对嵌入式系统进行安全性分析。 展开更多

关键词 软件模型 嵌入式系统 安全性分析 故障传播 故障树

在线阅读 下载PDF 职称材料

长输油气管线风险概率分析软件研究

20

作者 闫凤霞 高惠临 《西安石油大学学报（自然科学版）》 CAS 2005年第6期72-76,共5页

目前有关管道风险分析软件仅处于半定量化水平,且实用水平普遍较低.应用系统风险可靠性分析的基本原理,以油田长输管线为分析对象,确定管线服役过程中的失效事件为顶事件,应用故障树分析法(FTA)建立故障树,并对其进行定性和定量分析,得... 目前有关管道风险分析软件仅处于半定量化水平,且实用水平普遍较低.应用系统风险可靠性分析的基本原理,以油田长输管线为分析对象,确定管线服役过程中的失效事件为顶事件,应用故障树分析法(FTA)建立故障树,并对其进行定性和定量分析,得出故障树的全部最小割集和顶事件的发生概率.对各基本事件的结构重要度、概率重要度和关键重要度进行了计算.重点介绍了长输油气管线风险概率分析软件的总体结构、功能及其实现过程.最后给出了应用实例. 展开更多

关键词 长输油气管线 故障树 最小割集 风险概率 软件

在线阅读 下载PDF 职称材料