软件测试费用及资源优化模型研究

软件测试是保证软件可靠性的主要手段 ,软件测试费用则是软件可靠性工程费用的重要组成部分。为对其进行研究 ,首先对Musa的软件可靠性的增长日历时间模型进行了简化 ,建立了软件测试日历时间模型。在此基础上 ,提出了软件测试费用模型 ,并结合软件开发的实际经验 ,对测试资源进行了优化     

软件可靠性与费用权衡

软件可靠性与费用的关系是辩证的 :一方面增加可靠性可以减少软件的维修费用 ,避免软件因可靠性低不能使用所造成的开发费用的浪费 ;另一方面增加软件可靠性 ,大都以增加软件开发费用为代价 ,而软件成本的提高又制约了软件的销售和推广。对软件可靠性分配和软件测试终止时间的确定进行了深入分析 ,通过这两条途径实现了软件可靠性和费用的权衡。在此基础上 ,给出了在软件工程中权衡软件可靠性与费用的其它方法。     

考虑故障检测效用与修正效用的软件可靠性增长模型

测试效用是影响软件测试过程的重要因素,其随时间的变化情况直接影响着测试过程中的故障检测和修正的效率,合理地评估测试效用对测试过程的影响是建立精确软件可靠性模型的关键因素。针对现有模型对测试效用认识的不足,严格根据实际测试情况,将测试效用分为故障检测效用和故障修正效用,并在此基础上,建立了综合考虑这两种效用的软件可靠性增长模型。利用公开发表的软件测试失效数据集对模型进行验证,结果表明,与现有的考虑故障检测与修正过程的模型相比,所提模型具有更好的拟合和预测能力。     

软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

排错效率和故障发现率可变的软件费用模型

考虑非齐次泊松过程(NHPP)类软件可靠性增长模型,引入以时间为变量的故障排除效率函数和故障发现率函数,建立了软件费用模型,使模型更具有一般性,更符合实际情况。以软件费用最小作为优化目标,讨论了最优释放时间与软件开发的最小费用,实例计算给出了测试时间随故障发现率中的参数的变化情况。     

一种指控系统软件可靠性评估的尝试

针对指控系统软件可靠性的特点，介绍一种利用仿真环境和自动软件测试工具相结合的方法对系统软件可靠性进行测试评估的尝试。描述了仿真试验环境的组成、信息交互关系，测试过程，自动测试工具的使用以及测试结果，并对软件可靠性特点、测试覆盖率、评估方法作了一定的分析。     

基于指数环境因子函数的软件可靠性增长模型

绝大部分软件可靠性增长模型采取的软件可靠性标准都是测试可靠性,实际上,软件的测试剖面很难真实地反映运行剖面,软件运行环境和测试环境不可能一致。考虑测试环境与运行环境差别,根据经验数据拟合环境因子,提出一种随时间变化的指数环境因子函数;并建立基于指数环境因子的非齐次泊松过程类软件可靠性增长模型;利用一组公开发表的数据集对模型进行评估。结果表明,本文提出的环境因子函数计算复杂度低,基于该函数的软件可靠性模型具有更好的拟合和预测能力。     

一种新的软件可靠性增长模型

在软件测试阶段,由于加速测试的影响,用软件可靠性增长模型测得的运行阶段可靠性很难真实反映实际运行时的可靠性.因此,修正了软件测试环境与运行环境相同的假设,针对测试阶段排错过程的延迟性,提出在测试阶段要把软件检错过程和排错过程结合起来建模.通过采用不同的故障检错率函数减少了测试与运行环境的差别,并结合移动点技术,提出了一个新的考虑测试环境和运行环境不同的可靠性增长模型(TDO-SRGM).在两个公开发表的数据集上进行的拟合试验和预测试验证明,该模型具有很好的拟合效果和预测能力.     

基于未确知集的软件可靠性模型选择研究

针对目前普遍存在的软件可靠性模型应用不一致性问题,提出一种基于未确知集的软件可靠性模型选择方法.本文首先对未确知集合进行阐述,并介绍了软件可靠性模型选择的一般方法,然后将未确知集软件可靠性模型选择方法应用于一组失效数据,为该组失效数据选择一个适应性较好的软件可靠性模型,最后给出结论.     

Optimal Budget Spending for Software Testing under the Condition of Nonlinear Constraint

Software testing is a very important phase of the software development process. It is a very difficult job for a software manager to allocate optimally the financial budget to a software project during testing. In this paper the problem of optimal allocation of the software testing cost is studied. There exist several models focused on the development of software costs measuring the number of software errors remaining in the software during testing. The purpose of this paper is     

适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据,建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型,并对其参数解特性进行了分析。通过分析得知,适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解,且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。     

大型电子系统工程软件可靠性评估方法初探

本文探讨了大型电子系统工程的软件可靠性评估方法问题。从软件可靠性模型,可靠性实验数据的收集,以及可靠性数据估值的准确性,可靠性数据的检验等方面进行了研究。最后,提出了一般的评估步骤。     

基于复杂网络的软件稳定性

软件行业的不断发展壮大,使得软件质量问题日益突出,复杂网络给软件系统的深入研究带来了崭新的视角。选取真实软件系统为研究对象,用复杂网络作为工具构建软件系统的复杂网络模型,证实了软件系统的复杂网络特性;同时依据软件测试结果,分析了单元测试阶段的测试代码覆盖率。结合复杂网络参数及测试代码覆盖率定义了测试优先度,提出了测试优先策略,对于提高软件稳定性给出新的见解。实例结果表明:该优先策略对于提高测试覆盖率,对及时查找出软件缺陷类是有效的,有利于软件测试效率的提高。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。     

线性减少加工时间的资源约束单机排序问题

讨论具有连续资源的单机排序问题。在这一模型中,工件的准备时间是所消耗资源的非负严格减少连续函数,工件的加工时间是开工时间的严格减少线性函数。考虑两类问题,第一类问题的目标函数是在满足最大完工时间限制条件下极小化资源消耗总量。第二类问题的目标函数是在满足资源消耗总量限制条件下极小化最大完工时间。对两类问题讨论了最优排序的某些特征。基于对问题的分析,分别给出了求解最优资源分配的方法。结果表明,加工时间为常数情况的结论对于加工时间是开工时间线性函数的情况仍然成立。     

考虑用户行为和排错延迟的多版本软件可靠性增长模型

软件在测试阶段和使用阶段操作环境的差别导致软件测试可靠性和运行可靠性不完全相同.软件在发布后的使用和维护阶段,软件可靠性的增长不仅体现在软件固有故障的排除,而且用户对软件的熟悉程度也会影响软件的可靠性.本文研究了软件固有故障检测过程、固有故障纠正过程和外在失效过程的特征,建立了考虑用户行为和排错延迟下的多版本软件可靠性增长模型.通过一组来自于开源软件用户缺陷跟踪系统中的真实数据进行数值分析,试验结果表明提出的模型具有较好的效果.