软件可靠性的UML建模研究与设计

本文提出了一个针对软件可靠性建模和评估的UML剖面，标识了这个剖面的主要组成包并且给出了需要包括在这些包中的基本元素的详细定义。     

组合导航系统软件可靠性的神经网络静态预测

在组合导航系统大规模软件开发中，为了控制软件的质量，必须对软件模块的缺陷数进行预测，根据软件模块测试报告及软件复杂度，用神经网络方法预测了软件模块的缺陷数，结果表明：神经网络预测软件缺陷数化传统的线性回归方法具有更好的质量拟合度和估测能力。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

基于神经网络的软件可靠性模型的实现与分析

本文针对软件可靠性工程中模型选择比较麻烦的问题，提出了用神经网络构建通用的可靠性增长模型，在实现该模型的基础上，利用三组数据进行试验，并与三个分析模型的结果作了比较，得出了比较好的结论。     

基于使用模型的统计测试方法的研究

介绍了基于使用模型的统计测试方法，论述了使用模型的概念和特点，以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用，还具体阐述了怎样通过使用模型生成测试用例，同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法，最后简要介绍了自行开发的统计测试辅助工具STToolkit。     

基于J-M模型的监控系统可靠性度量与预测

针对监控系统软件可靠性分析的实时性和求解高效性，通过对各类软件可靠性模型的比较，采用J－M模型并对其进行了理论推导和有解无解分析。根据模型参数方程的非严格单调的特点，对其采用了步长为0．1的械探性数值求解，保证了在较短时间内求得满意解。通过对监控系统的数据处理，可得到包括故障发生次数、下一故障发生时间、当前错误查出率、当前失效率等评估参数值，所有评估结果可视化显示。     

软件可靠性评估研究

软件错误引起的后果差别很大,有的几乎可以忽略不计,有的可能是灾难性的.目前,软件可靠性模型很少考虑到这一点,我们在实际工作中发现量化这一差别是很有必要的.为了增加人们对错误重要性差别的意识,讨论了在考虑错误级别时,如何应用Jelinski-Moranda模型和Goel-Okumoto,Nelson模型以及Nelson和Bron-Lipow模型.这些讨论和研究说明软件可靠性不仅决定于软件中的错误数,而且决定于软件中的错误级别.     

提高实时数据处理软件可靠性的方法研究

对一个实时数据处理系统中的软件可靠性的提高进行研究，论述了二倍冗作软件方法的实现、基本、程序故障检测和比较电路的组成，并详细阐述对冗余软件操作的同步问题。     

用于软件可靠性分析的分解方法

随机Petri网(SPN)是一种有力的系统建模和分析工具.但SPN在应用中经常碰到状态空间爆炸问题.分解压缩技术是解决随机网状态空间指数性增长的有效方法之一.介绍了一种获得SPN可靠性模型瞬时状态的分解方法.该方法在保证评价和预测可靠性精确度的基础上,不仅能有效地降低可靠性描述与分析的复杂度,还扩大了分解压缩技术的适用范围.     

一种测试用例生成方法的研究

在马尔可夫链模型的基础上，将测试用例的生成问题转化为一个数学问题。通过建立软件的使用链，根据使用链进行序列抽样，产生测试用例。运用实例证明，这种技术具有一定的实用性和有效性。