论文部分内容阅读
本文提出了三种基于组件的软件测试时间分配的策略.这些策略根据各组件不同的系统参数,对于两种受限情况(给定总的失效率、给定总的测试时间)进行了分析,给出了各种情况下的软件测试时间分配策略.对于分配基于组件的软件测试时间是一种可行的方法.
基于组件的软件测试时间分配策略研究
【摘 要】
：
本文提出了三种基于组件的软件测试时间分配的策略.这些策略根据各组件不同的系统参数,对于两种受限情况(给定总的失效率、给定总的测试时间)进行了分析,给出了各种情况下的软件测试时间分配策略.对于分配基于组件的软件测试时间是一种可行的方法.
【机 构】
：
上海师范大学数理信息学院计算机系(上海)
【出 处】
：
第十届全国容错计算机学术会议
【发表日期】
：
2003年11期
其他文献
BCH纠错编码是线性分组码的一种,有较好的纠错能力,信息隐藏是近年来信息安全领域出现的新技术.本文讨论将BCH纠错编码与信息隐藏技术结合应用,并通过编程进行模拟实验,得到一些有意义的结论.当含有隐藏信息的彩色图象遭受恶意攻击或受到通信干扰时,采用纠错编码可以改善性能.文中对在不同攻击类型情况下所得到的纠错效果进行对照,采用BCH纠错编码后,局部垂直线条引起的影响可完全消除,局部水平线条引起的影响也
本文介绍了一种软件测试技术——代码覆盖分析,讨论了在测试计划中增加覆盖分析时应该考虑的细节,详细介绍了代码覆盖的基本方法和一般方法,并对各种方法进行了分析比较.
本文以状态变换图为基础,分析冗余状态与变换之间的特征,讨论了结构故障和冗余之间的联系,并结合验证算法提出状态冗余的隐含遍历确认方法.
随着工艺的发展,功耗成为大规模集成电路设计领域中一个关键性问题.降低电源电压是减少电路动态功耗的一种十分有效的方法,但为了保证系统性能,必须相应地降低电路器件的阈值电压,而这样又将导致静态功耗呈指数形式增长,进入深亚微米工艺后,漏电功耗已经能和动态功耗相抗衡,因此,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫.诸如HSPICE的精确模拟器可以准确估计漏电功耗,但仅仅适合于小规模电路.本文首
软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件可测试性则是降低测试复杂性的有效手段.为达到这一目标,首先要能对软件的可测试性进行准确的度量.这种度量结果除了作为软件度量的一个量化指标外,还应能为改善可测试性提供指导、为测试的设计提供有效帮助.本文对现有软件可测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于P
当系统包含足够多的故障点时,mesh/torus网整个系统很有可能是不安全的.本文采用扩展的局部安全性信息来指导3维mesh/torus网的容错路由.扩展的局部安全性信息在每个平面内部对无故障节点分类,所以系统中的故障块也是在不同的平面上构成的,而不是基于整个系统.很多基于整个系统不安全的节点在2维的平面中都会变成安全的节点.不管是在安全的系统内,甚或不安全的系统内,扩展的局部安全性信息都能有效地
本文主要是利用人工神经网络及BP网络理论,在对发动机故障特性分析的基础上,对发动机故障建模进行了探讨,并分析其设计方法和局限性,旨在为发动机故障诊断提供新的途径,具有较强的工程应用价值.
本文介绍了CMOS数字集成电路故障诊断技术的基本方法,探讨了基于CMOS电路瞬态电流I分析的故障诊断新技术的基本原理和作用.论述了该故障诊断新技术的国内外研究动态,展望了其在超大规模集成电路VLSI故障诊断、失效机理研究及可靠性提高等方面的作用和意义及其广阔的应用前景.
标准测试接口语言(STIL)是一种面向器件的通用的图形交换格式(协议),它定义测试的功能和参数,支持在仿真器、自动测试图形发生器(ATPG)、内置自测试(BIST)和自动测试设备之间无需转换的传输测试图形.作为一种开放的图形描述规范,它具有易理解,可读性强,易传输,易调试,易修正等特点.文章将通过实例说明这些特征,同时针对多个测试项目的并发测试和串行测试,给出具体的操作流程.