空管自动化系统Eurocat-X软件可靠性建模分析

本文针对空管自动化系统Eurocat-X,收集其使用过程中的失效数据,根据软件可靠性模型的建模过程对数据进行分析,通过非线性回归得到一个基于此软件的可靠性模型,并检验其拟合程度。     

一种优化的测试用例生成技术研究

为了缩短软件测试周期,测试用例的生成是关键.在利用随机数生成测试用例技术中,提出了基于无理数产生随机数的关键算法和生成优化测试用例的方法.通过实例证明,该方法在产生均匀、独立的随机数方面是有效的.     

Apla→Java程序生成系统中泛型机制实现方法研究

在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.     

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

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

软件可靠性评估的WD模型及其推广

介绍了软件可靠性评估的 WD 模型,探讨了 WD 模型的推广形式—W—NHPP 模型,并用两种参数估值方法:最大似然法和最小均方误差法对其参数进行了估值。     

分组数据下G—O模型的参数估计

研究了软件可靠性的重要模型－G－O模型的参数估计,对分组数据情形得出了该模型中参数的最大似然估计存在的充分必要条件。     

一个改进的NHPP类软件可靠性增长模型框架

针对现有的NHPP类软件可靠性增长模型,提出一个既考虑关联故障和构件结构,又考虑软件的不完美测试、故障检测率和故障改正效率随时间变化的NHPP类软件可靠性增长模型框架.许多经典的软件可靠性增长模型以及基于软件故障类型和构件结构的NHPP类模型都可以从这个框架中推导出来.     

软件可靠性技术在微机励磁调节器研制中的应用

随着科学技术的发展,处于社会信息化核心地位的计算机系统的可靠性变得越来越重要。由于微电子科学和技术的进展,出现了大量轻,薄,小的硬件产品,使计算机系统硬件可靠性有了惊人的提高,于是软件质量和可靠性的问题日渐突出。本文介绍了软件可靠性技术的现状及其在HWLT-4型微机励磁调节器中的应用。     

软件可靠性新模型研究(英文)

在讨论当前使用的软件可靠性模型存在的主要缺陷的基础上,提出了一个新的软件可靠性模型.当今应用模型中的可靠性假设条件并不考虑软件本身的复杂性、软件测试的有效性以及软件应用环境的完全性等要素,因此在评估软件可靠性时往往产生不精确的结果.为此将尽可能多的与被测软件可靠性评估有关的因素,结合到软件可靠性模型中去,使得对被测软件的可靠性模型更切合实际,因此使它更为精确.以一个实际的软件测试实验及对该软件进行的可靠性评估为实例,说明所提出观点和方法的合理性和可行性.     

Web software reliability modeling with random impulsive shocks

As the web-server based business is rapidly developed and popularized, how to evaluate and improve the reliability of web-servers has been extremely important. Although a large num- ber of software reliability growth models （SRGMs）, including those combined with multiple change-points （CPs）, have been available, these conventional SRGMs cannot be directly applied to web soft- ware reliability analysis because of the complex web operational profile. To characterize the web operational profile precisely, it should be realized that the workload of a web server is normally non-homogeneous and often observed with the pattern of random impulsive shocks. A web software reliability model with random im- pulsive shocks and its statistical analysis method are developed. In the proposed model, the web server workload is characterized by a geometric Brownian motion process. Based on a real data set from IIS server logs of ICRMS website （www.icrms.cn）, the proposed model is demonstrated to be powerful for estimating impulsive shocks and web software reliability.