故障树最小割集技术在软件测试中的应用

笔者提出将故障树分析技术应用在软件测试中,通过分析软件系统结构,以软件程序的各子模块为事件建立软件故障模型并对模型进行定性分析,利用最小割集算法分析模块重要性次序,找出软件关键模块和故障组合模块,将分析结果应用于软件测试,提高软件测试针对性,发现软件潜在缺陷,降低产品失效风险,以达到提高软件可靠性的目的。     

故障树分析技术在软件测试中的研究

随着软件产业的迅速发展,软件可靠性和安全性越来越受到重视;软件测试是保障软件质量必不可少的重要手段,为了更加有效地提高软件测试的效率,提出了一种把故障树分析技术应用到软件测试之中,分析系统功能模块,建立软件系统故障模型,找出软件系统关键故障模块和导致顶部事件失效的基本模块组合,定性和定量地分析了对系统可靠性的影响,这样能够更有效地确定测试的侧重点和设计测试用例;故障树分析法的应用能够有效提高被测软件的质量.     

基于故障树最小割集的故障诊断方法研究

利用故障树分析原理，对基于故障树最小割集的诊断方法进行了研究。在给出故障树顶事件和底事件概率描述的基础上，计算了故障树最小割集的重要度，并在量级上进行了分析比较，为系统的故障源搜寻提供了具体有效的测试步骤。并给出了应用实例。     

基于故障树的发射车故障诊断技术研究

针对目前发射车电气系统故障定位复杂、缺少快速定位分析手段、问题排查必须依赖研制专家、排故时间长的问题,设计了一种基于故障树的诊断机制对发射车进行故障诊断。建立了发射车故障树,设计了基于算法和规则的配置方法将检测数据与故障树节点相关联,采用基于最小割集的快速诊断推理技术,完成了对发射车的故障自动诊断。试验结果表明,该方法实现了发射车电气系统故障的快速自动诊断定位,诊断定位准确,具有较好的实用性。     

基于故障树的校园网通信系统的可靠性分析

基于故障树分析法的基本原理,根据校园网网络通信系统的特点,建立了校园网网络通信系统的失效模型,采用最小割集分析法进行了定性分析,确定影响校园网通信系统失效的主要因素,依据网络拓扑结构定量计算其有效度。实践证明,这种分析方法可以提高诊断校园网络通信系统故障的快速性。     

基于案例推理和故障树分析法融合的飞机故障诊断

本文简述了案例推理和故障树诊断两种方法,提出将它们进行融合诊断的思想。一方面,将案例推理得到的、但在故障树中却不存在的底事件加入到故障树,完善了故障覆盖面;另一方面,由案例库统计得到的故障树最小割集重要度,使故障定位更精确,由故障树分析法完成的成功的诊断实例,再添加到案例库中。     

一种基于Petri网模型求解故障树最小割集的算法

Petri网作为一种动态的图形化建模工具,可用于表达系统的逻辑关系和描述系统的动态行为,文中利用Petri网的这一特点对故障树进行建模,并在此基础上提出了一种新的求解故障树最小割集的算法,最后以实例说明了这一求解过程.该算法与以往方法相比,提高了执行效率,且可同时得到最小路集,为系统的可靠性分析工作提供了一种新的途径.     

基于故障树分析与组合测试的测试用例生成方法

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

基于故障树最小割集和最小路集的诊断方法研究

利用故障树的原理和方法,对基于故障树最小割集和最小路集的诊断方法进行了研究。首先给出了故障树最小割集和最小路集的数学描述,在此基础上开发了基于故障树最小割集和最小路集的诊断推理策略,最后提出了测点配置和优化的方法。     

基于故障树分析的软件安全性测试研究

针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险, 结合基于Baye-sian统计理论的测试方法, 建立一套构建安全性测试剖面, 并由此产生测试用例的测试方法。该方法运用故障树分析技术, 对各模块发生故障对系统安全性的影响进行分析, 找出影响较大的关键性模块, 然后利用分析结果构建安全性测试剖面。最后给出了测试停止的标准。通过对例子的分析可知, 本方法在快速降低软件事故风险方面比现有软件测试方法更有效。     

软件可靠度的模糊故障树评定方法

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

基于软件故障注入的嵌入式系统鲁棒性测试

以研究对嵌入式系统鲁棒性进行评价和基于软件故障注入技术的嵌入式系统鲁棒性测试为目的。对嵌入式系统鲁棒性测试的相关概念以及软件故障注入技术原理进行了介绍,以Linux操作系统内核函数测试为例,通过对系统API参数的故障注入接口进行分析,提出基于GDB工具的软件故障注入方法来实现系统鲁棒性故障注入测试。完成了相应的Linux操作系统API接口故障注入测试实例并给出了测试结果。为嵌入式系统鲁棒性测试提供了更为直观、有效的方法。     

基于软件测试技术的FPGA测试研究

基于对FPGA系统失效机理的深入分析,提出了软件测试技术在FPGA测试中的应用,并分析了其可行性;通过对比FPGA与软件系统的异同,归纳出FPGA特有的测试要求,从而在软件测试技术的基础上针对FPGA的特点进行改进,形成了一套实用的FPGA测试方法.     

基于历史数据的软件测试数据统计分析研究

从大数据的角度,利用软件测试历史数据,分析和研究软件开发及测试过程,为软件质量保证和项目管理及组织能力建设提供了新的思路。在组织内部建立测试数据收集机制,对软件测试相关数据进行收集,建立数据分析模型,从软件开发过程、软件测试过程、软件缺陷数据等方面对测试数据进行分析,获得多个具有实际意义的量化指标,将此指标反馈到软件开发和软件测试及项目管理等过程中,显著提高了软件产品质量及工作效率,降低了过程风险,提高了组织市场竞争能力。     

可信软件分析与测试研究进展*

以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。     

基于同构节点的动态故障树分析方法

为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。     

基于构件的软件测试技术研究

1 引言 过去的几十年,软件开发模式发生了很大的改 变。随着软件开发机构对开发成本、周期要求的提 高,产生了软件构件化。 软件构件技术的提出解决了面向对象技术无法 使大量结构相似的应用程序结构得到重用的矛盾。 因此构件技术对软件重用和集成具有非常重大的意 义,已成为当前软件领域主流技术和研究热点。