【摘 要】
：
软件的故障模式就是总结那些经常出现、并具有一定模式的故障.经过大量的源码分析,我们总结出一些极具代表性的错误模式.在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法.我们已经基本实现了提出的所有故障模式并建立了一个原型系统.在应用中发现这种面向故障模式的测试方法有以下优点:1、不需要设计任何测试用例,自动化程度高;2、结果相对较为客观,测试结果可复现;3、
【机 构】
：
北京装甲兵工程学院信息工程系,北京,100072
论文部分内容阅读
软件的故障模式就是总结那些经常出现、并具有一定模式的故障.经过大量的源码分析,我们总结出一些极具代表性的错误模式.在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法.我们已经基本实现了提出的所有故障模式并建立了一个原型系统.在应用中发现这种面向故障模式的测试方法有以下优点:1、不需要设计任何测试用例,自动化程度高;2、结果相对较为客观,测试结果可复现;3、针对性强,针对的都是用户关心的却又用其他方法难以找出的故障.
其他文献
本文提出了一种基于小波变换与神经网络相结合的非线性模拟电路故障诊断的方法.该方法利用DB1小波变换对非线性模拟电路故障信号进行一系列预处理,提取信号的故障特征量,然后将故障特征量输入至BP神经网络进行处理,故障信号经过小波变换处理后,有效地减少了BP神经网络的输入层单元数,同时也简化了神经网络的结构、减少了它的训练时间,从而提高识别故障的能力.本文在描述完该故障诊断方法的基本原理后,给出了小波变换
本文提出了一种基于构件与扩展层次有色Petri网(简写为EHCPN)模拟验证SoC设计的方法,给出了EHCPN的形式化定义.基于所提出的EHCPN模型,设计并实现了一个支持SoC系统建模与模拟验证的集成环境:SoC-P/TMSE.环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境.本文最后结合一个典型的SoC案例,在SoC-P/TMSE创建了对应的EHCPN模型,并
网络系统的复杂性映射成为了对生存性研究的复杂性.目前对于如SDH等单一拓扑网络的生存性的研究取得了较多的成果,但对于大型网络如何建模和评估生存性,尚无较好解决方案.以往文献提出的两种评估NSMS(网络安全管理系统)生存性的方法存在较大局限性:割点法不能用算法实现,无法对大型网络进行分析.蒙特卡洛法只能对生存性进行区间估计,得不出准确值.本文提出连通支路的分析方法,使用成熟的数学模型进行实现,并用给
本文介绍了一种高频全差分VGA增益特性的自动测试方法.针对输入输出全差分电路的特性,文章首先分析了通过balun构建的测试系统的增益补偿系数,利用GPIB总线和计算机并口,实现了电路的自动测试.最后使用本方法在50分钟内完成了VGA 2176个测试点的精确测试,结果表明该方法提高了测试效率和测试可重复性.
本研究用精密电阻对电容传感器和精密电容充放电,分别得到了传感器与精密电容的放电时间,然后根据放电时间的比值可以实现电容的比值测量.根据得到被测汽油的电容值,由电容与辛烷值的函数关系来计算车用汽油辛烷值.根据这种测定辛烷值的方法,本论文设计了便携式辛烷值测定仪.文中详细论述了测量原理及电路分析,并介绍了硬件和软件的设计.其中在硬件设计中利用低电压、低功耗的段型液晶显示器.该便携式辛烷值测定仪用3.6
本文针对容差模拟电路软故障、多故障诊断问题,提出一种基于多激励响应误差矩阵奇异值分解(SVD)的故障诊断方法.通过响应误差矩阵奇异值分解构建奇异角特征,奇异角特征具有在单故障情况下仅与故障部位有关的特性,能有效解决软故障变化的连续性与故障特征唯一性之间的矛盾.利用奇异角特征方法能减少测试点数、压缩特征矢量维数和提高故障隔离率.文中重点分析了奇异角特征对单软故障和灾难性多故障的识别性能,并结合实例仿
内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.
新一代的自动测试设备具有更丰富的可配置资源,但同时也使得传统的手工配置测试资源的方法变得十分困难.为自动优化配置测试资源,本文提出了测试向量格式压缩方法、基于Huffman树结构的测试向量分组方法和基于模拟退火算法的测试资源调度算法,逐步应用于自动测试设备来优化资源配置.文章最后给出了工业应用实例.
基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径.构件测试是保证构件质量的重要技术手段.构件技术的新特点为构件测试带来了挑战.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.本文提出一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的
随着系统芯片及模拟和数字混合信号电路的发展,模拟测试领域出现了许多采用传统故障诊断理论和方法难以解决的问题.神经网络因为能够在没有任何先验知识的情况下自动从输入数据中提取特征、发现规律,并通过自组织过程将自身构建成适合于应用环境的规律,为模拟电路故障诊断提供了一个全新的解决方案.主要介绍了模拟电路故障诊断的新方法及测试原理,重点讲解了神经网络结构中参数选择方案.以现代测试技术、信号处理、信息融合和