统计覆盖的测试充分性研究

来源 :中国航天第二研究院 航天科工集团第二研究院 | 被引量 : 0次 | 上传用户:Lotus35000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是保证软件质量的重要手段,测试充分性准则是判断软件是否已经被充分测试的重要标准,为软件测试提供了一个客观的度量和评价标准。软件可靠性是软件的质量要素之一。对于武器装备中的型号软件而言更是至关重要的因素。研究软件测试充分性度量技术,建立测试充分性度量与软件可靠性的关系,进一步利用充分性覆盖信息对软件可靠性进行度量,是软件测试研究的一个重要发展方向,也是实际工程应用中亟待研究的课题。 首先,对Howden提出的基于可信度的统计覆盖测试进行深入的分析和研究,提出了连续型基于可信度的统计覆盖测试方法,针对不同的测试情况给出了相应的计算公式,建立了与时间相关的充分性度量准则。 其次,针对自适应的统计覆盖测试过程,建立了非齐次泊松估计模型,推导了非齐次泊松估计法的基本公式。基于K-S检验法,给出了检验拟合优度的方法,并提出了基于该测试方法的测试充分性准则。 最后,研究了统计覆盖测试充分性与软件可靠性之间的关系。基于故障模型M,给出了连续型统计覆盖测试充分度的可靠性解释,获得了基于自适应统计覆盖测试充分性结果的可靠性估计。
其他文献
本硕士论文研究两类非线性动力系统的动力学行为.它由两个相互独立的部分组成. 第一部分研究非自治系统 xn(t)+f(x(t))x(t)+∫t—∞(t—s)g(x(s))ds=e(t),运用重合度延拓
本文中我们将广义逆的稳定性理论应用于大范围分析和有界线性算子的谱理论。具体地有以下: 在第2章中,我们应用广义逆的稳定特征得到广义谱理论中广义预解式存在的充分必要
该文将动态几何与一般几何自动作图方法结合,提出智能动态几何的观念,并开发了相应软件MMP/Geometer,作为国家973项目"数学机械化平台"的模块之一.智能动态几何软件,具有动态
本文针对微分方程稳定性理论的问题,利用微分不等式、积分不等式、解对初值的连续性、微积分中值定理和Liapunov直接法研究了非自治系统零解关于全部变元的稳定性和非自治系
本文研究的出发点是支持向量机的推广性能,本文研究了Rademacher复杂性与覆盖数和VC维这两种常见的函数集容量的度量量的关系,以及SVM在这三种容量下的推广性能,主要内容安排如
  本文研究复Monge-Ampère型方程的Dirichlet边值问题,证明了在强拟凸域-D上光滑解的存在性。Monge-Ampère方程是完全非线性偏微分方程研究领域的一个热点,Caffarelli,Kohn
本文第一部分主要讨论方程组(E1){x=1/a(x)(ψ(y)-F(x))y=-a(x)g(x)(E1)没有闭轨的条件,基本思路是在平面上找到一点,使得系统从这一点出发的正(负)半轨趋向无穷远,而负(正)半轨
无穷维动力系统中的一个重要问题是研究发展型偏微分方程的解半群在适当的Banach空间中的全局吸引子的存在性.但就我们所知,所有全局吸引子的存在性问题的理论研究和应用研究
在第一章中,研究了一类具有连续分布延时的反馈神经网络模型的平衡点的存在唯一性,以及周期解的存在性和全局稳定性。通过利用不等式? 以及运用同构定理,得到了一系列简单有
研究系统的稳定性,我们总试图寻找象周期解和拟周期解这样的有界轨道。可积系统中拟周期解构成全测集,其运动永久稳定,但当人们试图采取经典的摄动方法在近可积系统中寻找拟周期