软件可靠性测试方法探析

软件可靠性测试是有效评估软件可靠性水平，验证软件产品是否达到软件可靠性要求的重要途径。本文介绍了软件可靠性测试的基本方法以及对黑盒测试、白盒测试和灰盒测试优缺点进行比较，并对蒙特卡罗、马尔科夫等主要理论模型进行分类阐述。     

基于先验信息动态整合的贝叶斯软件可靠性验证测试方法

为了探究先验信息对软件可靠性验证测试次数的影响,对软件可靠性验证测试中的实时先验信息进行动态整合,提出了纠错、不纠错2种情况下的先验信息动态整合方法,以此为基础,提出了基于先验信息动态整合的贝叶斯软件可靠性验证测试方法。最后,通过实例分别分析了这2种情况下先验信息动态整合方法对软件可靠性验证测试次数的影响。     

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.     

软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性.     

火控计算机系统软件可靠性试验初探

本文根据某自行火箭炮火控计算机系统的工作特点,运用软件可靠性测试评估原理,提出了一套用于一般火控系统控制软件可靠性测试的方案设想,并试用Nelson 模型进行了软件可靠性的假设评估。     

某型多管火箭炮火控系统可靠性Nelson模型

软件保障已经成为影响现代武器装备系统发展和发挥战斗力的"瓶颈",软件可靠性也因此受到研究人员的高度重视.在对众多软件可靠性模型综合对比分析的基础之上,建立以Bayes检验为基础的Nelson软件可靠性模型,以某舰载指挥系统软件可靠性测试实验数据为例进行分析,对于某新型远程多管火箭炮火力控制系统的软件可靠性测试与评估高其软件可靠性有积极的作用.     

一种提高软件可靠性验证测试效率的方法

当前软件可靠性验证测试普遍存在着未能客观反应实际测试过程中的信息变化以及测试工作量较大的问题,难以满足实际测试的需求。因此,提出了一种基于混合加权贝叶斯方法,给出了在混合加权的情况下超参数的具体求解方法。通过案例分析,基于混合加权贝叶斯方法改善了传统贝叶斯方法存在的问题,同时在保证软件可靠性验证测试结果的置信度条件下,能够实现有效降低测试所需的测试用例数。     

软件可靠性工程中的业务剖面及其应用

详细阐述了软件可靠性工程中最基本的问题－－业务剖面的重要作用以及与软件可靠性的关系;对一定给软件系统提出了建立业务剖面的方法、步骤;最后以Ｃ＾３Ｉ系统为例,给出了一个在测试剖面与业务剖面不一致时测试可行性与运行可靠性之间转换的例子。     

战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

面空导弹武器系统软件的健壮性设计

面空导弹武器系统软件的健壮性设计是软件开发工作的核心问题之一。首先介绍了面空导弹武器系统软件的特点并阐述了软件健壮性的内涵 ,表明它是软件可靠性、安全性和协调性均要满足的一种软件质量特性。在此基础上 ,提出了一种软件健壮性设计的概念 ,重点论述了软件可靠性设计、安全性设计和协调性设计的方法。     

基于麒麟嵌入式操作系统的车载智能终端软件远程升级的设计与实现

为解决基于麒麟嵌入式操作系统的车载智能终端实际应用中的软件升级问题,提出了利用GPRS技术、IAP编程方式、应答机制、断点续传技术和校验机制实现嵌入式系统的软件远程升级方案,保证了数据传输的实时性、快速性、准确性和可靠性,并且通过各种实验模拟了升级过程中的异常情况,实验结果表明,所提出的方案能保证终端正确可靠地完成软件的远程升级,这也就验证了该远程升级方案的可行性.     

软件无失效测试数据的统计分析

软件可靠性估计是软件可靠性研究的重要问题之一,文中对分布式软件系统可靠性的评估方法进行了研究,给出了软件系统可靠度的最优置信下限.最后以某大型软件的评估为例,说明该方法的应用.     

基于潜艇指控系统的软件模块化研究

针对目前潜艇装备软件的现状,结合工程实践,运用软件模块化思想,提出了基于构件的潜艇指控系统软件开发模型和层次化的潜艇指控系统软件体系结构,并在此基础之上,对潜艇指控系统软件进行了模块化研究,给出了潜艇指控系统软件模块框架。实践表明,该设计方法实现了软件与其他系统的集成,提高了软件的质量与可靠性。     

系统可靠性分配的研究进展

系统可靠性分配是可靠性设计的重要任务之一,其主要作用是为可靠性设计提供辅助决策。给出了可靠性分配流程,研究了可靠性分配模型的发展状况,重点介绍了可靠性分配问题的求解算法,指出了各类算法在分配中的应用及其需进一步解决的问题,同时分析了国内外典型的分配软件,总结了各软件中可靠性分配的主要功能,最后对可靠性分配提出了进一步的研究展望。     

应用虚拟样机技术优化设计卡钳

分析了传统设计方法的弊端,介绍虚拟样机技术这一全新的设计方法.以应用动力学仿真软件ADAMS建造卡钳虚拟样机优化设计的实例,说明虚拟样机技术可以缩短开发周期、降低成本,提高设计质量和可靠性.     

软件可靠性的过程仿真技术

以软件研制的生命周期为背景,探讨利用仿真模型对软件可靠性进行研究的方法．文章阐述了仿真模型分析方法与传统的模型分析方法的不同之处,通过对软件可靠性过程的分析,设计了一个基本的仿真器结构,由此考察引发失效行为的各种故障因素及其对软件可靠性的影响．