计算机软件可靠性数学模型的进化

随着科学技术的进步,计算机软件越来越复杂,出错概率也越来越大,软件可靠性工程已成为一个发展迅猛的技术领域.采用Halstead数学模型,将软件复杂性与软件错误数融为一体;并对该模型作了改进.给出了软件可靠性预计表达式,提出了能表达出软件开发者技术水平、开发工具先进程度、软件重要度的更为精确的数学公式,为软件可靠性分配及预估工作提供了一个有力工具.最后,给出了实际应用的数值例子.     

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

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

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

模糊可靠性分析软件的设计与实现

文章利用.NET平台和微软.NET战略中核心开发工具C#语言,基于模糊变量向随机变量变换的模糊可靠性分析模型和算法,开发了模糊可靠性分析软件,实现了模糊可靠性分析方法和随机可靠性分析方法的统一.对软件开发过程中所要解决的几个关键问题做了重点叙述,通过算例验证了软件的通用性和实用性,表明该软件可以用于复杂情况下可靠性分析.     

一种基于构件的软件系统可靠性模型

分析了现有构件软件系统的可靠性模型和特点,在此研究基础上,抽象出一种依赖于操作剖面,以及构件使用上下文的构件可靠性的计算方式.利用对系统功能路径分割,提出一种基于操作剖面的路径分析法,计算构件软件系统可靠性模型.最后用一个物流信息系统实例对该可靠性模型进行验证,说明其有效性.     

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

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

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

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

软件成本估算工具的设计与实现

介绍了软件成本估算工具的设计和实现过程。通过该工具可以将现实项目的数据输入估算模型,通过模型的计算得以估算后的成本数值。通过数次与现实成本数据的对比以及对误差的分析,可以进一步对成本驱动因子进行调整,以提高估算的准确性。     

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

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

Singularity of software reliability models LVLM and LVQM

According to the principle, “The failure data is the basis of software reliabilityanalysis”, we built a software reliability expert system (SRES) by adopting the artificialtechnology. By reasoning out the conclusion from the fitting results of failure data of asoftware project, the SRES can recommend users “the most suitable model” as a softwarereliability measurement model. We believe that the SRES can overcome the inconsistency inapplications of software reliability models well. We report investigation results of singularity and parameter estimation methods of models, LVLM and LVQM. Foundation item: Supported by the National Natural Science Foundation of China Biography: Biography: XU Ren-zuo (1946-), male, Professor, Research interests include software engineering, software reliability engineering, software quality guarantee technology, reliability theory, software safety and security.     

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.     

基于双指数平滑方法的通信软件可靠性分析

阐述了单指数平滑方法和双指数平滑方法,并用这两种可靠性模型对一通信软件系统的可靠性进行分析预测.通过同传统软件可靠性增长模型的预测结果进行比较,可以看出双指数平滑方法简单,没有复杂的数学计算,而且对通信软件的失效行为的预测更加准确.     

带减函数的连续型软件可靠性验证方案

针对连续型安全关键软件可靠性验证测试（SRDT）所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案（CBSDF）：首先选取连续型软件可靠性参数（如失效率）的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据（先验信息）计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息（CBS1）与有先验信息（CBS2）的贝叶斯验证方案进行实例对比研究,计算结果表明：在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。     

基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

探究软件生产的四种模式

随着社会信息化和知识化的不断深入和发展，目前软件已经在社会的各个领域和各行各业得到广泛的应用和普及．然而从软件的发展历史来看，为了适应不同时期的软件需求和软件规模，软件的生产模式也从原始的软件作坊模式逐渐过渡到目前为软件行业所推崇的软件工厂模式．     

软件可靠性增长模型研究

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

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

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

软件项目工作量预估系统的研究与实现

采用了一种改进的软件成本估算方法——结构化成本模型COCOMOII结合功能点模型和多元回归算法来进行软件项目工作量的预估,以便降低对工作量估算的结果偏差．介绍了基于该算法设计的软件项目工作量预估系统的部分关键实现技术．系统采用浏览器／服务器模式及JSP＋Java＋MySql的架构实现,由于充分利用了网络的便捷和信息量大的特点,保证了多元回归算法中对样本数量的要求,使估算值更接近实际结果．     

浅析软件成本估算的三种方法

介绍了一些常用的估算软件开发成本的概念。成本估算主要有三种方法：专家判定法、类比法、参数模型法。软件成本估算有两个基本的策略：自顶向下估算、皂底向上估算。这些估算方法都依赖于历史数据,并且必须随着数据点的增加随时进行调整。基于已有的经验进行估算将获得更准确的估算结果。