基于SFTA和等价类的软件测试用例设计方法研究与应用 被引量：8

1

作者 刘文红 吴欣 《现代电子技术》 2013年第21期128-131,共4页

为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的... 为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型,结合等价类划分方法实现了测试用例设计,并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明,采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。 展开更多

关键词 软件测试 测试用例 故障树 等价类

在线阅读 下载PDF 职称材料

云化SFT下的径集域与割集域的重构与研究 被引量：1

2

作者 崔铁军 李莎莎 +1 位作者 马云东 王来贵 《计算机应用研究》 CSCD 北大核心 2016年第12期3582-3585,共4页

为了克服原有SFT体系中径集域和割集域处理具有模糊性、随机性和离散性故障数据能力不足的问题,使用云模型和SFT相结合的方法来解决该问题。首先使用云模型云化SFT特征函数,得到云化特征函数,进而云化径集域和割集域,最终得到云化径集... 为了克服原有SFT体系中径集域和割集域处理具有模糊性、随机性和离散性故障数据能力不足的问题,使用云模型和SFT相结合的方法来解决该问题。首先使用云模型云化SFT特征函数,得到云化特征函数,进而云化径集域和割集域,最终得到云化径集域和云化割集域。云化径集域和云化割集域没有严格的分界线,分布区域是通过云滴表示的。若云滴表示的元件/系统故障概率小于P_b,这些云滴存在的区域即为云化径集域;反之大于P_b的云滴存在的区域为云化割集域。通过实例分析了元件X_1和系统的云化径集域和云化割集域,得到了其适合工作的环境因素变化范围组合。分析过程和结果表明云化径集域和云化割集域能克服原始故障数据的不确定性。 展开更多

关键词 安全系统工程 云模型 空间故障树 径集域和割集域 云化重构

全文增补中

01SFT中逐条分析法的系统因素结构反分析 被引量：8

3

作者 王峰 崔铁军 《中国安全科学学报》 CAS CSCD 北大核心 2015年第6期51-56,共6页

为了解影响系统可靠性的环境因素,得到有益于系统安全工作的因素状态组合,同时进行逻辑推理,形成系统关于可靠性的等效响应结构。在空间故障树(SFT)框架内,建立系统关于可靠性的因素结构反分析框架;定义适用于系统因素结构反分析(IASFS)... 为了解影响系统可靠性的环境因素,得到有益于系统安全工作的因素状态组合,同时进行逻辑推理,形成系统关于可靠性的等效响应结构。在空间故障树(SFT)框架内,建立系统关于可靠性的因素结构反分析框架;定义适用于系统因素结构反分析(IASFS)的01型SFT及其结构化表示方法,即逐条分析法(IIA),并给出过程和数学描述。推理结果表明,就系统可靠性与因素的状态关系而言,所给实例的系统可靠性因素结构为T=A1·A4+A3·A5+A1·A2·A3。用IIA能得到一个等效响应结构,该结构与被分析系统可靠性对工作环境因素变化的响应是相同的。 展开更多

关键词 安全系统工程 空间故障树(sft) 逐条分析法(IIA) 系统因素结构反分析(IASFS) 连续型空间树(Csft)

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

含有单向环的多向环网络结构及其故障概率计算 被引量：45

7

作者 崔铁军 李莎莎 朱宝艳 《中国安全科学学报》 CAS CSCD 北大核心 2018年第7期19-24,共6页

树形拓扑结构是网状拓扑结构的特例,即空间故障树（SFT）是空间故障网络（SFN）的特殊形式。研究更广泛的系统的可靠性与影响因素的关系,将SFT理论中系统结构的树形表示改为网状表示,形成SFN。给出SFN的性质、基本结构及其与SFT转化方法... 树形拓扑结构是网状拓扑结构的特例,即空间故障树（SFT）是空间故障网络（SFN）的特殊形式。研究更广泛的系统的可靠性与影响因素的关系,将SFT理论中系统结构的树形表示改为网状表示,形成SFN。给出SFN的性质、基本结构及其与SFT转化方法。SFN的结构包括一般网络结构、多向环网络结构及含有单向环的多向环网络结构。由于单向环的特殊性,具有循环连锁发生故障的特征,无法单独构成SFN,因此将其加入多向环网络结构形成含有单向环的多向环网络结构。重点论述含有单向环的多向环网络结构的表示方法和故障概率计算方法。研究结果表明：构建的SFN可处理具有网络结构的故障发生过程,同时SFN可转化为SFT,进而可利用SFT现有理论方法分析故障过程。 展开更多

关键词 安全系统工程 空间故障网络(SFN) 空间故障树(sft) 单向环结构 故障概率计算

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

软件可靠度的模糊故障树评定方法 被引量：6

9

作者 刘博宁 张鹏 +1 位作者 张建业 马秋芝 《计算机应用研究》 CSCD 北大核心 2012年第10期3783-3786,共4页

软件可靠性的定量评价是软件可靠性工程的关键问题之一,采用故障树方法对软件进行定性和定量分析,提出了两类情况下对影响软件可靠性的主次因素划分及其模糊权重的计算方法。在此基础上,建立多级模糊评价模型,提出了增广和聚合算法,并... 软件可靠性的定量评价是软件可靠性工程的关键问题之一,采用故障树方法对软件进行定性和定量分析,提出了两类情况下对影响软件可靠性的主次因素划分及其模糊权重的计算方法。在此基础上,建立多级模糊评价模型,提出了增广和聚合算法,并给出了软件可靠度算式。选择某型航空装备软件进行了测试实例分析,实验结果表明了该方法评价结构的合理性与评价算法的有效性,适用于软件质量及开发过程控制的工程实践。 展开更多

关键词 软件 可靠度 故障树 模糊评定

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

嵌入式联锁软件模拟自动测试平台的研究 被引量：6

13

作者 徐中伟 吴芳美 《铁道学报》 EI CAS CSCD 北大核心 2001年第5期60-64,共5页

为满足联锁软件黑箱测试的要求 ,对联锁软件安全性需求进行了分级形式化表达。阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案。最后 。

关键词 故障树 安全性需求 铁路 计算机联锁 嵌入式联锁软件 模拟 自动测试平台 研究

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

使用故障树技术分析面向对象的软件 被引量：3

16

作者 许东 刘宗田 强宇 《小型微型计算机系统》 EI CSCD 北大核心 2000年第7期710-714,共5页

故障树技术已广泛应用于工业系统 ,然而在软件中的应用较少论及 ,在面向对象软件中的应用更不多见 .本文首先简要介绍了故障树的基本概念 ,原理和方法 ,然后将故障树技术引入面向对象软件分析 ,提出了一种由面向对象软件中消息发送关系... 故障树技术已广泛应用于工业系统 ,然而在软件中的应用较少论及 ,在面向对象软件中的应用更不多见 .本文首先简要介绍了故障树的基本概念 ,原理和方法 ,然后将故障树技术引入面向对象软件分析 ,提出了一种由面向对象软件中消息发送关系图导出故障树的新方法 ,给出了相应的故障树构造算法 .文章还介绍了生成故障树割集的算法 ,从而产生顶部事件失效的基本原因组合 ,并给出了通过基本事件失效概率计算系统失效 (顶部事件 )的概率和分析面向对象软件系统的可靠性的方法 . 展开更多

关键词 故障树 面向对象 软件可靠性

在线阅读 下载PDF 职称材料

基于图挖掘和决策树的软件故障定位研究 被引量：2

17

作者 杨书新 徐丽萍 王鹏 《计算机工程与应用》 CSCD 北大核心 2015年第20期67-71,共5页

对于非崩溃的错误,测试人员往往花费大量的时间才能发现。为了快速准确地定位这类错误,降低软件开发成本,提高软件质量,提出一种辅助定位非崩溃错误的方法。该方法通过收集程序的执行轨迹信息,构造出程序调用图。提取频繁边,运用J48决... 对于非崩溃的错误,测试人员往往花费大量的时间才能发现。为了快速准确地定位这类错误,降低软件开发成本,提高软件质量,提出一种辅助定位非崩溃错误的方法。该方法通过收集程序的执行轨迹信息,构造出程序调用图。提取频繁边,运用J48决策树算法,得到基于方法粒度的故障决策树,可辅助人员判定软件缺陷。通过实验与分析,进一步验证了该方法的有效性。 展开更多

关键词 软件故障定位 执行轨迹 图挖掘 决策树

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

GUI软件功能测试用例数据选取策略研究 被引量：1

20

作者 黄百乔 张虹 +1 位作者 陆民燕 李海峰 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期101-107,共7页

GUI软件功能测试用例设计分为执行路径的确定和测试数据选取两个步骤,在假定测试执行路径已确定的前提下,提出了GUI软件功能测试中的正常输入测试用例、异常输入测试用例和边界测试用例的选取策略,借助成功树与故障树来描述3种测试用例... GUI软件功能测试用例设计分为执行路径的确定和测试数据选取两个步骤,在假定测试执行路径已确定的前提下,提出了GUI软件功能测试中的正常输入测试用例、异常输入测试用例和边界测试用例的选取策略,借助成功树与故障树来描述3种测试用例下功能与GUI控件状态或输入值之间的逻辑关系,并选用适当的组合算法指导测试数据的选取,提高了测试用例生成的速度与质量,并且在保证测试覆盖的前提下减少了测试用例的数目,从而提高了测试效率.该选取策略也为实现GUI软件测试用例的自动生成提供了方法依据.在某型号软件功能测试中,运用该选取策略指导测试用例的生成,验证了该方法的实用性与有效性. 展开更多

关键词 GUI软件 功能测试 两两组合 故障树

在线阅读 下载PDF 职称材料