软件可靠性测试研究

来源 :电子科技大学 | 被引量 : 0次 | 上传用户:tekken1981
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先介绍了问题的由来和研究意义,阐述了有关软件可靠性和软件可靠性模型的一些基本概念,概述了国内外对软件可靠性研究的现状与发展;然后对软件可靠性研究中所用到的数学知识进行了列举并简要说明其在可靠性研究中的应用情况;接着本文介绍了软件测试的基本内容和过程。本文对软件测试和软件可靠性模型的应用进行了创新性和探索性研究。主要内容为:1.在现有研究的基础上提出了一种比较随机测试和划分测试的方法。传统的方法没有考虑测试后剩余的错误对程序运行的影响。从这个角度出发,该方法通过近似比较测试后程序的可靠性来比较随机测试和划分测试。2.提出了一个改进的软件可靠性模型:考虑错误排除率、错误引入率的G-O非齐次泊松过程模型。在现有的NHPP类软件可靠性增长模型中,假设条件过于苛刻,把错误的排除过程看得过于简单,并且模型假设排错是完全的,这与实际情况不符。在软件错误的排除过程中引入新错误的情况是经常发生的,并且有些软件错误是不能排出的。改进后的模型与实际情况更加吻合。3.在上述研究的基础上,从实际出发,对NHPP类软件可靠性增长模型做进一步的改进,提出了一个新的模型,该模型将排除的软件错误数和引入的软件错误数都看成随机变量,并利用该模型对软件的可靠性指标进行评估,最后通过实例对该模型进行了验证。最后本文应用文献[33]中介绍的EM算法于NHPP类模型的参数估计,以提高估计的精度,从而提高软件可靠性分析的精确程度。
其他文献
本文在模糊自动机理论的基础上,讨论了模糊有限自动机的拓扑性质. 首先,本文着重研究了模糊有限自动机的bifuzzy successor算子和bifuzzysource算子间的基本性质及关系,深化了
特殊矩阵是指矩阵元素在数值或其具有的性质上有特性的矩阵。特殊矩阵无论在学术上还是在应用上都具有其自身的价值。本文涉及到两大类特殊矩阵:符号对称矩阵、循环矩阵,并对这
1952年,Duffin和Schaeffer在研究非调和FOurier级数时提出了Hilbert空间框架的概念.1984年,Grossm3nn发现了框架在小波与Gabor变换中的应用,这一发现引起了人们对框架的广泛兴趣.
本文在多服务台休假排队系统研究的基础上,利用拟生灭过程(有限状态拟生灭过程)和矩阵几何解的方法进一步研究了部分服务台休假的排队系统(有限排队系统),推广了原有的多服务台
本文主要研究了定义在Banach空间上在在每个有界集上有下界但在整个空间上可能无界的广义实值下半连续函数,的变分问题.我们知道,关于函数的变分问题几乎都以有下界为前提条件,
本文通过深入研究拟共形理论中的一些特殊函数(包括Gauss超几何函数、完全椭圆积分、偏差函数及其广义形式等)的分析性质,获得了椭圆积分和偏差函数的一些新组合的单调性,将其推