NHPP软件可靠性模型的最优终止策略

本文对ＮＨＰＰ软件可靠性模型，推导其软件测试的最优终止时间的计算公式，给出了算例，并指出本课题研究的广阔前景。     

软件可靠性工程述评

本文介绍了软件可靠性技术的发展情况，对各种软件可靠性分析模型进行了分类评术，分析了软件可靠性工程的发展趋势。     

软件可靠性模型研究

与硬件一样,软件可靠性也需要建立一些模型来对所设计的软件进行预计和评估.介绍了几种软件可靠性模型的特点,并结合工程实践,研究了工程中广泛应用的NHPP模型.     

软件可靠性模型研究

本文分析了软件生存期各个阶段的特征，软件故障机理、软件错误分类及影响软件可靠性的多个因素。从模型假设、特征、分类、能力、适用性、简明性、模型背景、应用效果等方面，对多种软件可靠模型进行了评价，论述了模型之间的关系及模型的科学选择。     

一种软件可靠性模型及故障模式分析

本文分析了软什故障模式分布,并建立了一种实用的威布尔分布模型来描述软件可靠性。     

一种改进的NHPP软件可靠性模型

软件可靠性模型是定量评估软件质量的重要手段,通过综合分析软件故障检测率及故障引入率建立改进的NHPP软件可靠性模型,并对可靠度进行分析,证明所提模型的有效性,最后通过对现有的数据进行分析,并与经典模型进行比较,证明所提模型的优良性。     

认真实施软件工程,提高软件可靠性

本文结合软件开发的特点和软件可靠性管理的实践经验，论述了提高软件可靠性的关键在认真实施软件工程，并目前软件开发的具体情况，明确了软件可靠性管理的目标和任务。     

关于软件可靠性Halstead模型的改进

1970年以来，近百个软件可靠性模型被建立起来，大部分模型是基于测试数据来建立的，用一定测试时间或数据范围内错误发生的概率来度量软件可靠性，希望用一种概率统计表达式来揭示错误发生的规律。很少有模型将可靠性度量与可靠性因素一开发者，开发工具，软件复杂度联系起来，Halstead模型是唯一将软件复杂性与软件错误数联系起来的模型，但是没有考虑其它两个可靠性因素，文章将这些因素考虑进来以后对Halstead模型进行了一定改进，得出一个面向用户的软件可靠性模型。     

软件可靠性模型性能的评价

本文研究了Littlewood提出的软件可靠性模型性能定量的描述方法,这种方法的本质是柯尔洛夫—斯米尔诺夫(K—S)拟合优度检验.尽管Littlewood方法不规范,但我们证明标准K—S表(适用于简单设假)可以直接应用.在此基础上,指出这种性能可从理想软件可靠性模型中预测到.我们还介绍了一种新的性能参数,它克服了Littlewood方法的缺点.     

浅谈软件可靠性的评估技术

从软件可靠性在推进国民经济信息化以及在武器装备中的重要性出发，阐述了在软件可靠性评估中主要应包含三方面的内容；软件可行指标，软件可靠性模型和软件测试。     

软件可靠性以及衡量模型的分析

文章首先针对软件的可靠性展开分析和描述,并且对于能够对软件可靠性产生影响的因素做出了必要总结,而后进一步就如何切实建立起合理的指标和模型来实现对于软件可靠性的衡量展开了讨论。     

软件可靠性模型中样点可信度

将未确知有理数理论应用于数据建模是常见的建模方法,为了使其更有效地应用于软件可靠性的建模,结合软件失效数据的特点,从样点及样点的可信度两方面,研究未确知理论应用于软件可靠性模型的方法,提出对样点补偿的观点,并给出用补偿后样点计算可信度的计算方法.为未确知理论应用于软件可靠性的建模提供了新思路和新方法,并结合实例说明这一方法的有效性.     

美国军用手册338B中的软件可靠性预计模型及其应用

介绍美国军用手册338B中软件可靠性以及软件可靠性预计,具体讨论四种软件可靠性预计模型——Musa执行时间模型、Putnam模型、以及罗马实验室的RL-TR-92-52模型与RL- TR-92-15模型,并给出其适用条件和应用例子。     

软件可靠性测试技术方法探讨

本文从可靠性概念、要求、可靠性测试的特点、目的、环境构成及存在的问题进行分析，认为可以从几方面强化落实以保证软件可靠性测试的顺利进行。     

基于Markov链使用模型的软件可靠性测试方法

针对基于UML模型的软件可靠性测试方法的应用,软件可靠性模型在软件可靠性测试中的算法优化,从应用工具、数据存储方法等多个方面展开详细探讨,对软件可靠性测试中模型的选择问题进行了分析,并提出了一种将UML形态图行通过扩展算法转化为Markov链使用模型的实时测试序列和优化方法,解决了传统UML模型在软件可靠性测试过程中由于描述粒度过粗而导致的对软件可靠性描述真实度不够等问题。通过对比仿真实验分析,证实文章提出的模型同传统模型相比,预测精度和准确性较高,拟合效果较好,且可扩展性更强,从而达到软件可靠性增长模型的预测功能。     

一种基于马尔可夫模型的软件可靠性评估方法

针对目前软件可靠性不易评估的特点,建立一种基于马儿可夫链的软件可靠性评估模型。该模型在软件运行流程图的框架下,利用一定的统计学方法,使用线性代数方法来计算软件运行流程中各个状态的概率,建立软件可靠性评估模型,从而计算软件的可靠性;最后,利用软件设计时的判别准则来判断软件是否符合需求。     

网构软件可靠性代数模型及简化计算研究

为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法。实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面。     

软件可靠性与维修性

本文提出软件作为可修复产品的软件可靠性定义和软件维修性定义以及其相关指标，并讨论文献中有关面向设计人员的可靠性模型与软件维修保障及软件可信性。     

软件工程与软件可靠性

从软件工程的产生，阐述软件工程与软件可靠性的关系，以及软件工程化是确保软件质量的根本途径，并简要介绍我所在推进软件工程化进程中的一些做法。