基于一种新模型对软件可靠度的估计

本文通过修改JM模型给出了一种新的软件可靠性模型,并对软件可靠度给出了点估计和置信限.对实际数据的分析表明这种新模型的预测能力比JM模型要好.     

软件可靠性模型和估计

本文根据何国伟提出的软件可靠性模型,特别是输入空间和输入分布的概念,分析软件测试数据特征,给出软件可靠性的点估计和置信下界的计算公式。     

关于一种新模型对软件总体可靠度的估计

本文在对文[4]中软件可靠度的估计进行研究的基础上,提出了软件总体可靠性的一个新模型,对软件总体的可靠度进行了讨论,利用点估计方法,得到软件可靠度的点估计值,证明了软件总体失效率λ估计解的唯一性,并对缺陷数进行了估计,从而给出了新模型下软体总体可靠性的估计.     

软件可靠性中NHPP模型趋势检验的U-图方法

对软件可靠性中一类重要的模型——非齐次泊松过程（ＮＨＰＰ）模型的趋势检验，构造了一列检验的统计量，独立同分布于均匀分布Ｕ（０，１）．并由柯尔莫哥洛夫检验判定所选择的可靠性增长趋势模型的合适性．本文方法可适用于完全数据和不完全数据．这里报告的方法，可以作为选择软件可靠性模型时的一种判断依据，以定量地评判选择的软件可靠性模型的优劣．     

考虑多种类型缺陷的软件可靠性模型研究

本文提出一种考虑多种类型缺陷的软件可靠性模型,并构建了缺陷检测和剔除两个过程的模型。具体分类情况,可以根据模型的检验方法(拟合准则和预测有效性度量)和模型复杂度来具体决定,如果有测试人员的分类建议或者分类数据,可以结合模型共同决定。为了说明问题,本文给出四种类型缺陷的具体模型,并对实际数据集进行了拟合。通过模型比较,验证了多种类型缺陷模型的有效性。最后,通过构建软件最优发布时间策略对模型进行了应用。研究结果为软件开发和测试提供了理论参考。     

软件模块测试中的动态资源分配问题

为有效利用测度过程中投入的测试资源,提高测试效率,本文考虑将测试过程为多个阶段并为各个阶段动态分配测试资源的方法,为此提出两种动态分配测试资源模型,当测试资源总数一定时,测试约束时各软件模块中剩余错误平均数量小的模型;当给定测试约束时各软件模块中剩余错误平均数要达到的预定指标时,所用的测试资源最少的模型。     

软件可靠性M-O模型和逆线性模型的参数估计

Musa-Okumoto模型和逆线性模型是研究软件可靠性的重要模型，给出了在分组数据下，M－O模型和逆线性模型中参数的最大似然估计及其存在的充分性条件，指出了[4]中的错误，并且给出了一个实例。     

基于多属性群决策的软件可靠性模型选择方案

基于模型评价准则的属性值和专家经验的偏好信息进行软件可靠性增长模型的选择,可归结为多属性群决策问题.模型评价准则的主观专家偏好可利用层次分析方法将其量化得到其主观排序权重;基于失效数据的模型评价准则的计算数据可利用熵权法获得客观排序权重.综合两种权重可得到既能反映专家经验又能综合实际软件可靠性测试数据的模型评价方案.实例分析表明该方案具有合理性和可行性.     

基于Markov的模块化电传操纵系统软件可靠性模型

电传操纵系统是影响飞行安全的关键系统,建立有效的电传操纵系统软件可靠性模型是软件可靠性测试和验证的基础.针对某型飞机系统安全性设计中横向通道电传操纵系统软件可靠性建模问题,建立了模块化的基于Markov的电传操纵系统软件可靠性模型.提出了综合考虑重要度和复杂度的软件可靠性指标分配方法,将可靠性目标分配到子模块.最后,通过实例验证了所建立的模型和指标分配方法的有效性.     

一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况．通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便．