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

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

Bayes估计在NHPP软件可靠性模型中的应用

软件可靠性是评价软件质量的一个重要指标.针对互不相交的观测区间数据,采用Bayes方法估计软件的可靠度函数,使得对被测软件的可靠性模型更为精确,最后对实际的软件测试数据进行可靠性评估,验证了所提出的估计方法的合理性和可行性.     

软件可靠性分析评估方法及故障分类管理优化设计

介绍了软件可靠性分析方法及其发展,并从软件可靠性模型出发,对NHPP进行了探讨,提出了一种基于SRES软件可靠性分析评估框架方法,对软件故障的管理由集中管理变为集中分类管理,优化系统故障管理效率,使系统的可用度得到明显提高。     

软件可靠性GO模型的有效分析

针对GO模型的参数解结构进行了理论分析,利用参数解存在的条件,得到了结构比较优越的性质,构造了高效的参数估计算法,并结合典型实例编程求解,得到了实验结果。     

铁路车站计算机联锁软件的安全性评估策略

安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。     

面向评估的软件可靠性与费用模型的研究

一个软件系统开发过程中,影响开发费用的因素很多,可靠性因素无疑是非常重要的,对可靠性和费用之间的深入研究有助于在保证软件可靠性的前提下,控制成本,优化资源配置.本文通过理论分析和实验验证,研究了可靠性和费用的关系,建立了面向评估的软件可靠性费用模型EORC.实验结果表明该模型是合理的,且简单实用.     

软件可靠性研究

对软件可靠性的有关问题进行了探讨，给出了软件可靠性估计的步骤和评价一个软件可靠性预计模型的准则，通过实例，说明了软件可靠性模型的应用及效果。     

一种基于模糊综合评判的软件可靠性模型选择方法

软件可靠性模型是可靠性工程的一个重要方面，如何缺乏可靠性数据的情况下，选择合适的软件可靠性模型是对软件可靠性进行量化分析的关键，在对影响软件可靠性模型的因素进行分析的基础上，采用模糊数学的理论，提出了一种基于模糊综合评判的软件可靠性模型选择方法。     

软件测试与软件可靠性之间的关系

根据软件可靠性理论，论述了软件测试和软件可靠性之间的关系，即根据给定的测试方法和测试时间来计算软件的可靠性，首先分析了随机测试和软件可靠性之间的关系，然后根据软件可靠性的性质，研究了软件代码覆盖测试方法和软件可靠性之间的关系。     

计算机联锁系统可靠性研究

从硬件结构、软件设计、编码技术以及抗干扰等方面对铁路计算机联锁系统的可靠性分析进行了阐述,通过对数据信息传输的各项改进,提高了数据信息和整个计算机联锁系统的安全可靠性.     

基于模块化的软件可靠性模型

通过对J-M模型的分析,结合软件可靠性、软件可靠性工程和软件测试以及概率论的相关理论,设计了基于软件模块化的软件可靠性测试模型,同时给出了软件维修时间的估计模型,最后讨论了参数对模型的影响.     

从电气联锁到计算机联锁

随着科学技术的进步,电气联锁系统正被计算机联锁系统所取代．本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思路．     

软件可靠性及其模型

描述了软件可靠性的总况 ,并对具有代表性的Halstead模型、Jelinski Moranda模型、Littlewood Verrall模型、Cai模糊增长模型、Geol OkumotoNHPP模型以及超几何模型作了总体性论述 最后给出了软件可靠性面临的主要问题     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法．将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息．该方法有利于实现软件可靠性快速增长,有效减少测试用例量．     

基于软件质量模型构建软件可信性评估系统

文章基于软件质量模型的研究成果,分别从认知软件可信性的角度、量化可信性指标的角度以及如何评估软件可信性的角度对软件可信性进行阐述。为了对软件可信性实现量化评估,提出由指标模型层、评估过程和信息层3部分组成的软件可信性评估系统。     

计算机联锁控制系统安全性保障体系的一种模型

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性、安全性、故障－安全等概念及其之间关系的基础上，提出了一种计算机联锁控制系统安全性保障体系的描述模型．从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵．该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础．     

嵌入式系统软件可靠性模型的研究

针对嵌入式系统中软件和硬件密切相关,都会导致软件故障这一问题,提出了一种考虑硬件相关的软件可靠性模型,并利用MATLAB软件对真实的项目数据进行仿真实验,结果表明:新模型随着测试的进行对实际数据的拟合性能比传统模型好.该模型提供了更准确的软件可靠性估计,能够帮助人们在嵌入式软件早期测试阶段制定出更好的的测试策略.