军用软件可靠性测试管理中模型的应用

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测试管理模型,在此基础上进一步讨论了Musa模型在测试管理中的应用,最后对实例进行了分析。     

基于可靠性增长模型的软件可靠性增长测试充分性准则

结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则：可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。     

基于NHPP类模型的Web软件可靠性分析

结合Web软件运行的实际情况,提出一种基于BurrX测试工作量函数(TEF)的非齐次泊松过程类软件可靠性增长模型(SRGM),并将其应用到Web软件可靠性分析中。TEF能直接体现Web软件工作量与日历时间之间的关系,解决Web软件因工作量高度不均衡导致的问题。实验结果表明,与G-O模型相比,SRGM具有较好的Web软件可靠性评估效果,能较准确地描述Web软件运行的失效过程。     

一种基于离散时间的NHPP软件可靠性增长模型

基于非齐次泊松过程的软件可靠性增长模型按时间域可分为连续时间模型和离散时间模型两类。现有的软件可靠性增长模型大多都是针对连续时间构造的,在一定程度上忽视了对离散时间模型的研究。利用概率生成函数构建两种基于离散时间的软件可靠性增长模型——基本模型和扩展模型,具有很大的实用性和必要性。构建的扩展模型以不完美排错情形作为基础,考虑到了由于故障排除而有可能引入新故障的问题,同时还考虑到了在软件排错过程中由于测试团队的熟练程度而引起的软件故障排除率的相对变化情况,这使得提出的模型更加符合实际。最后利用两组公开发表的     

基于双排队系统的软件可靠性增长模型

针对基于有限排队系统的软件可靠性增长模型(SRGM)忽略软件交付与检测之间的时间延迟问题,提出双排队系统建模技术,构建一个引入故障检测等待延迟和排错等待延迟的SRGM。建模中考虑测试工作量函数(TEF)参与构成的复合型故障检测率(FDR)和不完美排错现象,在4个公开发表的失效数据集上与5个经典SRGM进行比较与分析,验证建立模型的拟合能力和预测能力。实验结果表明,建立的模型在软件可靠性评估和预测方面具有良好性能。     

基于"客户/服务"模型的测试驱动的设计与实现

软件测试是提高软件质量和可靠性的重要手段,软件测试自动化的关键技术之一是要设计一种好的测试驱动,测试驱动设计得好坏直接决定了整个测试的效率,Binder曾提出了多种测试驱动模型,这些驱动模型各有特点.结合Binder提出的测试驱动模型进行了有效的改进,在模型改进的基础上设计了一个有效的原型系统,并给出了原型系统设计的关键技术.     

关于测试成本不确定软件模型的风险分析研究

在软件开发过程中,管理者往往面临着何时停止测试与何时发布这样的难题,因为它直接影响着软件软件的可靠性和项目成本.文章通过对软件测试成本和发布的风险进行分析、研究,提出基本不确定性的风险分析模型和风险函数.经过实验分析,基于该风险分析模型和风险函数可以获取一个更合理的软件发布时间,从而降低了测试成本和软件发布风险.     

软件可靠性测试用例的复用度量

针对目前基于复用的软件可靠性测试缺少对测试用例复用度量的现实问题,在构建测试用例复用模型的基础上,首先应用特征分析法求解测试用例各复用资源的权重,然后再分别计算它们在测试中的复用度,最后求解得到测试用例的平均复用度。从定量的角度解决了测试用例的复用度量问题。     

连续执行软件可靠性验证测试方法

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。     

软件可靠性建模研究

依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理。     

Software Reliability Experimentation and Control

This paper classifies software researches as theoretical researches, experimental researches, and engineering researches, and is mainly concerned with the experimental researches with focus on software reliability experimentation and control. The state-of-the-art of experimental or empirical studies is reviewed. A new experimentation methodology is proposed, which is largely theory discovering oriented. Several unexpected results of experimental studies are presented to justify the importance of software reliability experimentation and control. Finally, a few topics that deserve future investigation are identified.     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

基于网络模型的软/硬件可靠性分析*

提出了一种以软件环境中硬件可靠性分析的可靠性计算方法,从而使系统的可靠性计算更精确.最后给出了提高系统可靠性的策略与方法.     

基于Logistic测试覆盖率函数的软件可靠性建模研究

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因素的综合影响,测试覆盖率可能会呈现出一种先增后减的趋势,Logistic函数恰好非常适合描述这类S形变化趋势,且结构简单,具有较好的灵活性与适应性.因此,针对基于Logistic函数的测试覆盖率函数以及软件可靠性建模等问题展开研究.首先提出基于Logistic函数的测试覆盖率函数;在该函数的基础上,提出基于Logistic测试覆盖函数的缺陷预计模型;然后,将NHPP可靠性模型的建模过程与Logistic测试覆盖函数相结合,提出一种新的者虑测试覆盖率的软件可靠性增长模型.实例验证结果表明:与若干已有的同类研究成果相比,提出的基于Logistic函数的测试覆盖率函数、缺陷预计模型以及软件可靠性增长模型有效地提高了函数或模型对数据的拟和精度,且具有较好的适用性.     

基于Bayes的软件可靠性模型研究

随着软件质量的提高,对软件可靠性的要求也越来越高。目前已经有一百多种软件可靠性模型。然而,在实际应用中由于可操作性等因素的影响,大多模型都没法得到有效的应用。鉴于此,本文在Nelson模型的基础上,结合Bayes原理给出了一种新的衡量软件可靠性的简单方法。实验表明,改进后的模型在实际应用中有较好的效果。     

基于改进模拟退火算法的软件可靠性模型参数估计方法

为提升现有软件可靠性模型的拟合性能和求解精度,结合软件可靠性模型求解特征,提出一种改进的模拟退火算法。在此基础上,提出基于改进模拟退火算法的软件可靠性模型参数求解方法(简称为MSAE法),并将新方法应用于4组失效数据集。工程应用结果表明,与最大似然估计(MLE)法、和声搜索(HS)算法和蚁群(AC)算法相比,MSAE法可有效改善软件可靠性模型参数求解不收敛的情况,并且可以有效提升现有软件可靠性模型的拟合性能。     

一种基于失效费用划分的穿戴计算机软件可靠性模型

根据故障的严重程度对软件系统中潜伏的故障进行了类型划分,并利用传统的G-O模型建立了一个基于失效费用划分的软件可靠性增长模型．无线网络使穿戴计算机的性能得到了很大的提升,根据是否会严重影响穿戴计算机的网络通信能力,将其软件系统的故障分为两类：①一般故障,不影响或较小影响系统的网络通信;②通信故障,严重影响甚至阻断系统的网络通信．利用前面建立的软件可靠性增长模型,建立了一个穿戴计算机软件系统可靠性增长模型,并对一组数据进行了评估．