CRT显示器故障直观测试法

介绍了CRT显示器故障诊断中的直观测试法,即“望、闻、问、测”的诊断方法,用直观法测试的故障类型,以及诊断测试中应注意的CRT显示器电路的故障征兆。     

基于计数器的随机单输入跳变测试序列生成

分析了CMOS逻辑电路的功耗来源,对低功耗内建自测试技术进行了研究.为了减少被测电路内部节点的开关翻转活动率,提高测试向量之间的相关性,研究了随机单输入跳变测试生成序列,可以在不损失故障覆盖率的前提下,降低被测电路的开关翻转活动率,实现测试期间的低功耗,特别适合于数字集成电路的内建自测试.     

减少自反馈测试硬件代价的两种方法

由被测电路自己施加测试向量的内建自测试方法把被测电路视为一种可利用的资源,而不仅仅是被测试的对象.通过将被测电路内部一些节点"反馈"连接到电路的输入端,被测电路可以在由外部加载初始测试向量之后,利用反馈顺序地产生并加载一组测试向量.对这种技术中的分组方法和反馈节点选取方法进行了改进,提出一种附加信息矩阵的面向多个特殊有向图的深度优先公共路径搜索方法和一种贪婪式反馈节点选取方法.对ISCAS85电路和MinTest测试集的仿真实验结果表明,这些方法可以有效减少硬件代价,并提高故障效率.     

测试算法的征兆误判和混淆问题及解决方法

测试时间和故障诊断能力是用来评价边界扫描测试生成算法优劣的两大关键要素,而影响测试向量集对所有故障进行准确定位的原因主要是由于存在两类问题:征兆误判问题和征兆混淆问题,而征兆误判问题对故障诊断准确性的影响更大。论文分析了测试向量生成中的征兆误判和征兆混淆现象,结合现有的测试向量生成算法,提出了三种消除征兆误判和征兆混淆现象的解决方法:(1)本身具有抗误判和抗混淆现象的测试生成算法;(2)采用自适应测试生成算法有针对性地消除征兆误判和混淆现象;(3)在测试生成算法中应用神经网络技术消除征兆误判和征兆混淆现象。     

AMU故障检测中测试响应压缩方法研究

测试响应压缩是对AMU故障检测过程中产生的大量数据进行处理的有效方法,如何选择一种有效的压缩方法是AMU测试中一个非常关键的问题;针对常用的两种压缩方法:奇偶压缩和特征分析进行了分析比较;通过建立故障检测模型,找出故障特征矩阵,进而确定测试矩阵;在得出响应矩阵之后,采用两种方法分别进行压缩处理;从硬件开销、故障覆盖率、混淆率和压缩率四个方面出发,对两种方法的性能指标进行理论分析与计算;结果表明,不彻底的奇偶压缩适用于要求测试混淆率比较低的情况,特征分析适用于要求硬件开销较少、检测率较高、压缩效率较高的情况。     

组合电路随机测试的一种新方法

本文在随机测试的基础上提出了逆随机测试（ART）的新概念，在该测试序列的集合中各测试码之间的海明距离为尽可能的大，这样可以使不同的测试码检测到更多不同的故障，从则提高了测试效率和故障覆盖率。本文给出了构造逆随机测试序列（ARTS）的详细过程，并且严格证明了该序列的高效和正确性，同时还给出了用Benchmark和其它电路作为例子的实验结果。     

系统芯片IP核透明路径构建中的可测性分析

系统芯片的设计方法为测试技术带来新挑战。知识产权模块（IP核）测试访问机制成为测试复用的关键。构建IP核透明路径会对电路的故障覆盖率产生影响。基于门级透明路径的构建方法，通过分析插入电路的控制门和多路器的激活和传播条件，对路径构建对于IP核单固定型故障覆盖率的影响进行分析，给出可测性条件和故障覆盖率的计算公式，无需故障仿真即可估计构造透明路径后电路的故障覆盖率。通过故障仿真实验，证明该故障覆盖率的分析和计算方法是有效的。     

CPLD器件测试系统

以Lattice公司的ispLSI1032E为被测对象,设计出一套测试装置,对该芯片的性能指标和可能出现的故障进行测试。本装置只需配置三次电路和施加相应的测试向量就能对芯片进行全面的测试,提高了测试效率,实用价值很高。     

基于扫描链测试的HDL编码规范分析与研究

集成电路制造过程的缺陷会使部分芯片失效,因此需要通过高效的自动测试方法来对芯片的正确性进行检测.该文针对集成电路自动测试方法中的扫描链测试,提出了六条HDL编码规范,用于提高测试覆盖率从而提高测试效率.把这些编码规范应用到实例设计中,实验结果显示,遵循全部规范时测试覆盖率可达到100％,而不遵循其中的任一规范时测试覆盖率均有一定程度的减少.通过对各种情况下的故障分布进行分析表明,在前端设计时遵循这些HDL编码规范,能以最小的性能牺牲,获得较高的测试覆盖率.     

存储器模块测试系统的设计

存储器模块上集成有多种类型的存储器,整个模块提供一致的总线访问接口;对存储器模块进行完整的测试是很有必要的,在分析存储器模块的故障模型和测试原理的基础上,给出了一种基于数字波形发生器的存储器模块测试设备结构,通过对March算法进行扩展,设计了一种适合对存储器模块进行测试的算法结构;系统提高了测试的故障覆盖率和效率,在应用中取得了较好的效果.     

自动化测试执行管理工具的研究与设计*

主要设计并实现了一个自动化测试执行管理工具,并详细阐述了其总体框架、模块设计和关键技术的实现.该工具提供串行、并行、重复和分布式等多种测试执行顺序,可实时远程监控测试执行过程,并可提供详细的测试报告和多样的数据分析方法.     

测试顺序选择策略研究

在面向对象程序的测试中,合适的测试顺序能够极大地节省测试成本.目前已有的相关工作大多忽略了包括Java在内的主流面向对象程序语言的一个重要特征--动态绑定.考察了动态绑定在对于选择测试顺序的影响,提出了一种新的测试顺序的选择策略,并给出了相应的选择算法,实现了减少测试桩数目,降低测试成本的目标.     

面向类集成测试序列生成的强化学习研究

集成测试是软件测试过程中不可缺少的步骤, 针对在集成测试中如何对系统中的类合理排序的问题, 国内外研究者提出了多种生成类集成测试序列的方法, 然而他们大多没有将测试桩复杂度作为评估测试代价的指标.针对该问题, 提出面向类集成测试序列生成的强化学习研究方法, 以总体测试桩复杂度为评价测试代价的指标, 生成测试代价尽可能低...     

考试系统中试题顺序随机的封装实现

为了保证考试系统测试的公正性,本文利用面向对象技术实现了一种使试题顺序上随机出现的方法.     

考试系统中试题顺序随机的封装实现

为了保证考试系统测试的公正性,本文利用面向对象技术实现了一种使试题顺序上随机出现的方法。     

面向对象程序中对象关系的描述方法

对象关系图是一种描述对象关系的工具,在分析对象关系图的优缺点的基础上,提出了一种构建带权的对象关系图的方法,并把这种描述方法运用到确定类簇中的类问测试顺序上.该带权对象关系图克服了原来对象关系图中描述类间关系过于简单,尤其是反映关联关系的强弱不明显等主要缺点.     

混合遗传算法在面向对象软件集成测试中的应用

提出了一种在面向对象软件集成测试中确定类间测试序列的混合遗传算法。该算法在基本遗传算法的基础之上增加局部搜索以增强局部搜索能力,以及使用缓冲池以减少运行时间。实验结果表明,该算法的性能优于现有的其他方法。     

一种面向对象类间关系测试方法

面向对象软件的一个突出特点就是存在于类间的复杂依赖关系:继承、聚合和关联。提出了一种测试类间关系的方法,自动从UML图或源代码中导出类间的三种关系,并给出了相应的类间关系图和各个类的测试次序的类簇测试算法。该算法导出的类间关系可用于类间的静态和动态依赖关系测试。     

Routh table test for stability of commensurate fractional degree polynomials and their commensurate fractional order systems

A Routh table test for stability of commensurate fractional degree polynomials and their commensurate fractional order systems is presented via an auxiliary integer degree polynomial. The presented Routh test is a classical Routh table test on the auxiliary integer degree polynomial derived from and for the commensurate fractional degree polynomial. The theoretical proof of this proposed approach is provided by utilizing Argument principle and Cauchy index. Illustrative examples show efficiency of the presented approach for stability test of commensurate fractional degree polynomials and commensurate fractional order systems. So far, only one Routh-type test approach [1] is available for the commensurate fractional degree polynomials in the literature. Thus, this classical Routh-type test approach and the one in [1] both can be applied to stability analysis and design for the fractional order systems, while the one presented in this paper is easy for peoples, who are familiar with the classical Routh table test, to use.     

安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.