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

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

软件可靠性测试方法探析

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

基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。     

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

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

利用分系统数据制定整机测试性验证试验方案

现有利用研制阶段试验数据制定测试性验证试验方案的方法都需要装备整机系统测试性先验信息,这对仅有分系统试验信息的大型复杂装备难以适用。针对这一问题,以故障检测率为验证指标,提出利用研制阶段分系统试验数据制定整机测试性验证试验方案的新方法。首先,利用分系统试验数据计算整机系统故障检测率置信下限,然后利用两点分位数方法确定整机故障检测率的先验分布参数,在此基础上根据贝叶斯最大后验风险准则确定了新的测试性验证试验方案。实例对比分析表明,与传统试验方案相比,新方案可明显降低试验故障样本量。     

军用软件的测试与实践方法

首先分析了民用软件存在的问题,然后结合军用软件的特点,对影响军用软件可靠性的因素进行分析,最后提出提高军用软件质量的几种测试与实践方法.     

软件可靠性考核试验方法研究

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究     

带失效因子的J-M软件可靠性预计模型

提出带失效因子的J-M软件可靠性预计模型.先分析了原有J-M软件可靠性预计模型的特性,指出了此模型产生与实际情况差异的原因;基于在测试初期软件出现的错误,对软件失效率的影响大于测试后期出现的错误对软件失效率的影响的思想,提出了带失效因子的J-M软件可靠性预计模型.最后,针对所提出的模型,利用测量的数据进行了实际验算.     

基于多源先验数据的装备测试性评估方法

针对基于装备多源先验数据融合过程中可能存在数据冲突的问题,提出一种基于多源先验数据的装备测试性评估方法.针对装备设计、生产和制造过程中可能存在的测试性虚拟-实物试验数据、测试性预计信息和专家经验信息等先验数据,将其折合成先验分布参数形式.通过基于兰氏距离和邓熵改进的D-S证据理论来进行数据融合,得到最终测试性评估结果.通过实例分析发现,提出的方法较基于传统Bayes理论和经典D-S证据理论的测试性评估方法而言,其精度更高.     

警报关联图：一种网络脆弱性量化评估的新方法

作为一种基于模型的脆弱性分析技术,攻击图能够识别网络中存在的脆弱性和它们之间的相互关系,分析出可能的攻击路径和潜在威胁.论文在攻击图的基础上提出了警报关联图的概念,利用攻击图中蕴含的脆弱性先验知识,将实时IDS警报信息映射到攻击路径,动态反映攻击进程和攻击者意图.在此基础上提出了一种基于警报关联图的网络脆弱性量化评估方法,通过计算警报关联边的权值对网络脆弱性进行动态分析,这种方法结合了静态的网络脆弱性先验知识和动态变化的攻击者意图,能有效反映网络脆弱性在动态攻击情况下的变化.     

一种新的高分辨率ADC有效位数测试方法

谱分析法和正弦拟合法是ADC动态特性测试的两种常用方法。但在测试信号源信噪比较低的情况下,两种方法的测试结果都存在较大的偏差。提出了一种新的ADC动态性能测试方法,该方法能较好消除信号源对测量结果的影响,使得在普通信号源下可以测试高分辨率的ADC。仿真分析证明了这一测试方法的正确性。最后给出了采用该方法对一ADC系统的实测结果。     

基于模糊综合评判的装备软件可靠性分析

可靠性是衡量装备软件质量的重要参数,但由于软件可靠性的特点,在实际对装备软件可靠性定量分析往往很难,甚至不可能。从软件质量框架模型出发,结合装备软件的特点,分析了影响装备软件可靠性的几个参数,提出了一种运用模糊综合评判方法对装备软件可靠性进行定性分析的方法。该方法简单,可行性强。最后,给出了一个实例。     

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

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

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。     

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

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

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

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

强跟踪渐进更新扩展卡尔曼滤波器及其在磁偶极子跟踪中的应用

为了改善实际跟踪过程中因为缺乏目标先验信息造成的模型失配对滤波器跟踪性能造成的影响,引入强跟踪滤波(STF)思想对渐进更新扩展Kalman滤波(PU-EKF)算法进行改进,提出了强跟踪渐进更新扩展Kalman滤波(STPU-EKF)算法.在多种模型失配情况下进行磁偶极子跟踪仿真试验,对所建算法的性能进行验证,仿真结果表...     

基于AHP—ML Ⅱ融合算法的先验分布研究

在缺乏可靠性试验数据的情况下,为得到可信的评定结论减少主观影响,需要从信息融合的角度出发,充分利用产品先验信息。以获得关于产品可靠性的更完整和更准确的判断信息,从而进一步形成对产品性能的可靠估计或预测。提出一种基于AHP-ML II的融合算法,对先验信息进行层次分析法处理后,再使用第二类极大似然估计法进行二次处理,通过不同的信息在融合后的先验分布中所起作用的大小,确定出各部分的权重因子,最后通过实例仿真分析得出该算法确实比融合前具有更好的合理性和可靠性。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

基于分布图信息融合的Bayes可靠性评定方法

在利用Bayes理论进行小子样可靠性评定过程中,为了尽可能少做现场试验,必须充分利用各种先验信息,多源先验信息的融合是小子样理论方法应用中亟待解决的一个问题.基于分布图方法,提出了分布图多源信息融合技术,建立了基于分布图信息融合的Bayes可靠性评定模型.仿真实例验证了方法的合理性和有效性.