软件可靠性研究

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

基于风险等效的软件可靠性评估准则研究

在软件可靠性研究领域 ,既要考虑软件失效出现的频度 ,也要考虑失效导致的严重性后果 .文章提出了软件风险等效概念 ,它能在相同风险概念的前提下 ,将软件失效后果的严重性转移到失效出现的频度上 .并用Nelson可靠性统计模型为例讨论在风险等效前提下的软件可靠性概念和软件可靠性评估准则     

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

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

Goel-Okumoto软件可靠性模型的研究

对Geol-Okumoto软件可靠性预计模型进行了分析和研究,找出了该模型存在的主要缺陷和不足,针对G-O模型不能对产品的操作阶段进行评测不足之处,对该模型做出了错误排除率正比于潜在的错误点发现率新的假设条件,并给出了一个基于测试覆盖的CGO模型。通过失效数据对GO模型和CGO模型在性能上作了对比分析,结果表明CGO模型具有更好的预测效果,而且还可以在操作阶段进行可靠性评测。     

软件可靠性增长模型研究

软件可靠性模型预测结果的优劣,取决于基本假设与实际开发过程的吻合程度.在Kaput-Grap可靠性增长模型的基础上,通过与实际情形更接近的基本假设,研究一种新的软件可靠性模型.     

基于NHPP模型的联锁软件可靠性评估

基于软件可靠性工程思想,深入分析了NHPP软件可靠性建模的原理,并利用NHPP模型对处于开发后期阶段的铁路信号计算机联锁软件进行可靠性评估.通过建模评估,得出了联锁软件可靠性水平的定量分析结果,为计算机联锁系统开发的管理和决策提供了科学依据.     

基于组件对象的模型开发研究

本文简要介绍了组件在模型开发中的特点,着重叙述了基于组件对象来规划模型开发,保证模型运行可靠,操作方便,提高模型开发效率。     

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

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

组件式优化设计研究与开发

组件式技术是适应软件快速开发的新一代编程应用方式。文章阐述了组件技术的概念和技术基础,讨论了组件式技术在优化设计目标函数、不等式约束和等式约束公式的计算识别应用和组件式优化设计系统的设计与开发。     

基于组件技术的开放式数控系统研究

针对传统ＯＯＰ技术在开放式数控系统软件开发中存在的不足，讨论了软件开发中的主流技术之一－－组件技术及其在开放式数控系统应用中的优势。在此基础上，利用控件对一般数控系统各任务单元进行了分析，给出了一重用性高，易于扩展，结构开放的数控系统软件结构模型。     

一个高精确性综合软件可靠性模型

指出基于软件体系结构的可靠性评估模型不能有效说明软件中组件的可靠性问题,甚至导致软件可靠性不准确甚至不正确的评估.为此提出一个新的基于体系结构和软件中组件的联合可靠性评估模型.其基本思想是通过引入软件复杂性等多个影响软件可靠性的因素,把基于体系结构和基于组件的两种可靠性评估方法组合起来形成一种综合的软件可靠性评估模型.对大型软件的测试结果表明,新的模型具有更强的错误发现能力,从而使软件可靠性评估更充分、更准确,并且能够适应实际应用的需要.     

无线传感器网络的可靠性评估模型

为了解决测量无线传感器网络可靠性的问题,提出一种可靠性评估模型,此模型综合考虑了基于容错的网络抗毁性和基于能效的网络寿命这两个主要因素。通过确定K-覆盖和K-连通,可有效评估自然失效和能量约束条件下的网络可靠性,同时可以延长网络寿命并提高网络的鲁棒性。实验结果表明在无线传感器网络中可靠性与传感器密度存在一定关系。通过实现可靠性模型中的最优化目标,满足了传感器覆盖率和网络连通率要求,提高了无线传感器网络的安全性能。     

软件可靠性与硬件可靠性异同分析

从可靠性的基本概念出发,结合可靠性工程,分析了软件可靠性、硬件可靠性及其在工程中的区别和联系,然后介绍了在这领域中的几种基本研究方法,最后提出了在可靠性工程发展中需解决的问题。     

桥式起重机主梁可靠性分析软件的设计

基于大型有限元分析软件ANSYS的可靠性分析子模块,以VC＋＋为软件开发平台,设计了一款更方便、更专业化的桥式起重机主梁可靠性分析软件.提出了桥式起重机主梁可靠性分析软件的架构,整个过程完成了对AN-SYS中APDL语句的封装以及对ANSYS核心程序的调用,解决了ANSYS中完成可靠性分析时界面不友好及低效的问题,也为桥式起重机主梁可靠性分析提供了一种可行的方法.     

Empirical measurement of the software testing and reliability

The meanings of parameters of software reliability models are investigated in terms of the process of the software testing and in terms of other measurements of software. Based on the investigation, the empirical estimation of the parameters is addressed. On one hand, these empirical estimates are also measurements of the software, which can beused to control and to optimize the process of the software development. On the other hand, by treating these empirical estimates as Bayes priors, software reliability models are ex-tended such that the engineers‘ experience can be integrated into and hence to improve the models.     

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software(CBS) reliability modeling and analysis,and a lack of consideration for real debugging circumstance of integration testing,a CBS reliability process analysis model is proposed incorporating debugging time delay,imperfect debugging and limited debugging resources.CBS integration testing is formulated as a multiqueue multichannel and finite server queuing model(MMFSQM) to illustrate fault detection process(FDP) and fault correction process(FCP).A unified FCP is sketched,given debugging delay,the diversities of faults processing and the limitations of debugging resources.Furthermore,the impacts of imperfect debugging on fault detection and correction are explicitly elaborated,and the expressions of the cumulative number of fault detected and corrected are illustrated.Finally,the results of numerical experiments verify the effectiveness and rationality of the proposed model.By comparison,the proposed model is superior to the other models.The proposed model is closer to real CBS testing process and facilitates software engineer's quantitatively analyzing,measuring and predicting CBS reliability.     

关于软件评估的可靠性模型假设

对软件评估的可靠性模型假设进行了彻底详细的分析。揭示了软件评估的可靠性模型假设在软件可靠性模型中的重要性。最后讨论了软件可靠性模型假设在实际中的局限性     

改进的Jelinski-Moranda软件可靠性增长模型

Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。     

一种混凝土桥梁时变体系可靠度分析方法

提出一种基于有限单元法和Monte-Carlo模拟相结合的劣化环境作用时混凝土桥梁时变体系可靠度分析方法,明确并解决结构性能演变模拟和体系可靠度分析中的一些关键问题.根据已有研究成果中给出的基于有限元的分析方法利用FORTRAN 95编写分析程序——混凝土桥梁耐久性分析系统CBDAS来进行结构性能演变过程;提出一种基于结构超静定次数的体系失效模式确定方法,并利用MATLAB编写了分析程序SRMCS来计算结构的体系可靠度.结合结构性能演变模拟和体系可靠度分析给出混凝土桥梁时变体系可靠度的计算方法.最后,利用3个算例分别演示了程序CBDAS,SRMCS以及两者相结合时的分析功能.