【摘 要】
：
该文从不同的测试方法入手,首先对当前软件测试充分性的发展现状进行了研究,分析了它们的优劣之处.接着,我们重点研究了基于可信度的统计覆盖测试技术.这项测试技术较好地解
【出 处】
：
中国航天科工集团第二研究院 航天科工集团第二研究院
论文部分内容阅读
该文从不同的测试方法入手,首先对当前软件测试充分性的发展现状进行了研究,分析了它们的优劣之处.接着,我们重点研究了基于可信度的统计覆盖测试技术.这项测试技术较好地解决了当前软件测试充分性研究中的一些难题,如不可实现的覆盖项(覆盖项可以是语句、分支或路径等)问题及部分覆盖缺乏可靠性解释等.在对统计覆盖测试技术进行了研究的基础上,我们认为此项技术对被测软件的可靠性不能很好地给出准确的说明.针对这一问题,我们采用数理统计学中的Neyman-Person理论,进一步研究了统计测试技术与软件可靠性之间的关系,给出了基于统计测试技术的被测软件失效率的度量方法.
其他文献
本文介绍了基于Web的企业计算模式的发展过程，分析了常用的动态Web技术的特性和各自的优缺点，针对Java语言的特点，指出它在动态Web应用开发中的强大优势；在深入剖析软件组件理论
文章在分析Web服务相关技术及现有的密码、认证技术的基础上,确定了该单点登录系统所面对的基本需求,通过引入身份担保机制和身份映射机制解决了安全域间用户身份的传递问题
某武器装备是中国目前重要的大型战略武器,其技术复杂,对其进行维修维护的测试装置复杂度高、操作难度大,需要采用实装对维修维护人员进行测试操作训练.这种训练方式存在诸多
随着物联网的兴起，可以感知周围环境，为将来决策提供数据支持的无线传感器网络再一次成为了研究的焦点。现有的智能传感器(mote)可以进行简单的本地计算和近距离通信，增强了整个
随着各种网络应用的增强，层出不穷的网络安全问题越来越受到人们的重视。安全操作系统在防止安全威胁，提供安全服务中的作用已经不容忽视。本文以结构化保护级安全操作系统——
该文提出了一种多分辨率下的彩色图像分割算法.算法首先通过K均值量化降低颜色索引数目.为了克服直接量化时间开销大,以及颜色类接近的问题,采用了降采样后量化,合并相近类的
该文主要讨论了改造Linux系统,使其适用于嵌入式实时环境所要解决的最关键的问题——Linux内核的实时性,并给出了增强Linux内核实时性能的具体方案.首先,对数控系统和嵌入式
该文主要内容包括:第一章绪论.综述了二十世纪八十年代以来,有关谈判理论模型研究、谈判问题的研究方法、谈判支持系统研究现状,指出了目前NSS系统中存在的问题,并对今后这方
随着信息技术的迅速发展，互联网上的信息每天都在爆炸式地增长，人们在海量的信息面前显得无所适从，如何准确快速地获取需要的信息变成了困扰人们的难题。大量的研究表明，推荐系统
电动汽车的的市场和社会价值是不可小觑的。要想扩大对电动汽车的推广,使电动汽车能够抢占市场,首先要解决的问题就是电池技术和实现电动汽车快速充电的基础设施保障。本文主要研究的是电动汽车快速充电的基础设施这一部分。目前采用的方法对电动汽车进行充放电,谐波污染严重,功率因数低,且充电时间较长。本文根据电动汽车用电池特性,参考现用方法的基础上引入SVPWM控制和模糊PID控制,实现能量双向流动的同时,实现功