【摘 要】
:
根据软件可靠性理论,本文论述了软件测试和软件可靠性之间的关系,即在对给定的测试方法M和测试时间T,如何计算软件的可靠性R.首先研究了随机测试和软件可靠性之间的关系,然后,根据软件可靠性的性质,研究了软件代码覆盖测试方法和软件可靠性之间的关系.
论文部分内容阅读
根据软件可靠性理论,本文论述了软件测试和软件可靠性之间的关系,即在对给定的测试方法M和测试时间T,如何计算软件的可靠性R.首先研究了随机测试和软件可靠性之间的关系,然后,根据软件可靠性的性质,研究了软件代码覆盖测试方法和软件可靠性之间的关系.
其他文献
扫描测试方法已经广泛应用于集成电路设计、制造领域.为了解决IP(Intelligent Property)内核测试和SOC(System-on-a-Chip)测试中遇到的测试时间和测试功耗的问题,提出了一整套基于扫描测试的SOC测试方法.实验结果表明该结构能够在测试时间和测试功耗约束下提供优化后的测试结构.
基于可复用的嵌入式IP(Intellectual Property)模块的 系统级芯片(SoC)设计方法使测试面临新的挑战,需要研究开发新的测试方法和策略.结合系统级芯片的可测试性设计技术所面临的技术难点,详细介绍了当前系统级芯片的可测试性设计技术,分析了各种系统级芯片的可测试性设计技术的特点及优缺点,着重讨论了国际工业界内针对系统级芯片测试的方案:IEEE1500和虚拟插座接口联盟(VSIA)测
本课题是教育部IC设计网上合作项目的一部分,目的是充分利用网络资源,把IMSXL-100测试与验证系统共享到因特网上,并实现远程可视化测试.因此本文主要涉及三个部分:远程控制;远程交流、网上求助.
基于对FAN算法的分析,本文在不考虑冒险的情况下对于CMOS电路中的开路故障,探讨了利用FAN算法进行瞬态电流测试产生的可能性.文中定义了三种不同的D前沿,并将测试产生分为三个部分:1)激活故障,2)使无故障电路和故障电路的瞬态电流差别最大化,3)减少旁路的影响.实验结果说明,在不考虑冒险的情况下,将FAN算法应用于瞬态电流测试产生是可行的.
非高斯噪声的干扰问题在通信过程中是经常出现的.高阶累积量广泛应用于通信过程中非高斯环境的信号检测问题.首先用高阶累积量方法讨论了非高斯噪声中确定性信号的检测问题,设计了广义匹配滤波器,并与传统的匹配滤波相关检测器的检测性能进行比较,验证了所述算法的有效性.
本文介绍了铁路区间信号安全性测试系统的研制背景,着重讨论了测试用基础数据的特征和客户机/服务器型数据库框架结构,提出了区间测试专用的静态数据库设计策略;同时,论述了专用的数据库技术(包括数据的安全性和完整性)的一般性质特征,继而结合具体测试系统的要求,概要地说明了用于铁路区间信号的测试系统使用的数据的生成与处理的方式.
结构测试用例的生成是结构测试中一项非常重要的工作.本文主要针对结构测试中面向路径的测试用例,讨论其自动生成方法,其中重点介绍了一种基于程序直接运行的测试用例生成方法及过程,并就其若干相关技术的处理展开讨论.
本文介绍了一种对MultiBus总线进行测试的模块,该模块基于MultiBus总线的将多总线上的I/o读写、存储器读写、DMA、中断等事件发生时的数据地址等信息记录下来,加上时标一起输出,方便了调试与故障诊断.
软件可靠性和软件安全性是软件系统的重要质量指标,也是人们在软件的开发中努力追求的目标.如何进行软件可靠性的测试,特别是如何进行软件可靠性的稳定增长测试和软件安全性测试,是软件测试中的重要问题.我们在本文中,通过具体的实例介绍了应用于软件可靠性稳定增长和软件安全性测试中的软件故障树分析法.
本文通过对不同测试方法的分析与评价,研究了软件测试的实现步骤的具体细节,提出了设计测试方案应遵循的原则,并对软件错误的定位与纠错方法进行了初步的研究,这些原则和方法可以帮助软件测试人员对软件错误进行检测、定位和纠错.