软件质量——软件可靠性测试技术研究

本文主要介绍了软件可靠性的一些基本模型,提出了软件可靠性评估的过程和方法,分析了软件测试与可靠性的关系,以及构建可靠性测试环境的方式。     

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

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

武器装备软件的可靠性分析综述

首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。     

炮兵指挥信息系统软件可靠性评估方法研究

从多种经典模型中选择出适合炮兵指挥信息系统软件可靠性评估的模型，结合模型提出了一种适合系统软件可靠性评估的定量方法。应用表明，该方法简单实用，能够满足系统的软件可靠性评估，而且对其他领域的武器系统的软件可靠性评估具有一定的参考意义。     

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

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

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

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

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

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

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

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

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

应用AHP法实现指控系统软件可靠性指标分配

软件可靠性分配是软件设计过程中一项重要的质量保证活动.介绍了层次分析法(AHP)的原理及其在指控系统软件可靠性指标分配中的应用过程,包括软件的层次结构模型的建立,系统中各层软件元素相对权值的确定,各软件模块相对于软件实用性的组合权重的确定以及获取软件实用性最大化的可靠性分配模型(基于成本约束)的建立.还讨论了应用信赖度算法求解可靠性分配非线性方程组,从而求得各软件模块的可靠性分配值的方法.     

飞航导弹制导计算机软件可靠性评估方法研究

在分析多种软件可靠性模型的基础上,结合飞航导弹制导计算机的特点,提出一种适用于飞航导弹制导计算机软件可靠性定量评估的方法。应用表明该方法简单、可行,能够满足飞航导弹工作任务的实际需要,对其他领域的软件可靠性评估同样具有参考价值。     

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

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

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

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

一种求解软件可靠性分配的非精确方法

在考虑开发成本约束的基础上,通过建立一种开发成本-可靠度-满意度三者平衡的软件可靠性分配和优化模型,将对软件可靠性最优分配问题转化为对模糊非线性规划问题的求解,从而为软件可靠性分配的最优化同题提供了一种新方法.为获得具有实际意义的数值解,提出一种沿着加权梯度方向进行变异的特殊遗传算法.最后结合实例,证明了该方法的有效性...     

基于假设检验的软件可靠性模型预测精度比较

提出一种基于假设检验的软件可靠性模型预测精度比较方法,该方法将模型预测值与真实值的RE(相对误差)看作随机变量,利用假设检验思想度量模型预测精度,并给出多个模型之间预测精度的比较标准.     

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

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

计算机软件可靠性问题

本文举例说明了软件可靠性问题的重要性。简要地叙述了计算机软件可靠性技术研究中的三个中心问题:软件试验、程序正确性证明和结构程序设计。软件试验是当今世界上解决软件不可靠问题的主要手段。按试验的目的、对象和方法的不同,对软件试验进行了归纳分类。程序正确性证明是用数学方法,寻找程序逻辑错误的一个途经。文中从最基本的概念出发,用简单的例子,阐明证明程序正确性所应遵循的法则及证明的步骤和方法。但是以上两种技术均不能保证程序正确,所以解决软件可靠性间题的关键是结构程序设计。从设计方法、设计语言及设计的组织形式彻底革命,才能真正解决软件可靠性问题。但这三个方面是相辅相成,互相促进的。     

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

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

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

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

软件可靠性测试方法探析

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