摘要：针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法的12.92%,是手写测试程序集的3.62%.

摘要：针对全速电流测试方法测试生成算法效率低下的问题 ,提出故障压缩、故障模拟等故障精简的方法 ,以提高该方法的测试生成效率 实验结果表明 ,该方法使得需要进行测试生成的故障点平均减少了 6 6 8% ,该测试方法的测试生成的效率提高了 2 0

摘要：随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变.针对ISCAS89电路的实验结果显示,文中方法适用于较大规模电路的串扰噪声测试,并且具有可接受的运行时间.

摘要：在利用划分等价类的方法来诊断组合电路中桥接故障的基础上,本文提出了一种基于门特性的IDDQ测试集生成算法及对测试集排序筛选的优化方法。实验结果表明,将此方法应用于组合电路桥接故障的诊断可缩减测试集的大小,提高诊断的故障覆盖率。

摘要：移动IPv6协议是一种庞大的分布式协议 ,这为协议描述和测试生成带来了困难 .提出分层次描述协议的思想 ,定义了描述协议的有限状态机和多节点有限状态机模型 ,分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述 .把描述协议的状态机模型转化为有向图 ,设计了针对有向图的测试序列集产生算法 ,最终生成了覆盖整个移动IPv6协议的测试序列集 .

摘要：描述了一种自动局部扫描可测性设计方法，该方法在电路内部提供附加逻辑，把时序元件串成一条扫描通路，辅以适当的控制信号，使时序元件和组合元件分离开，从而达到可测试的目的。介绍了一种改进的ＰＯＤＥＭ测试生成算法和一种基于模拟的测试生成方法，该方法能较好地处理时序电路的测试生成问题。

摘要：有效的布尔可满足性算法必然包括有效的数据结构。本文深入地分析了用于回溯搜索SAT算法的数据结构,指出了它们各自所具有的优势和不足。并将SAT应用于组合电路的测试生成中。根据应用的特点和在分析的基础上,设计并实现了一个主要是针对组合测试生成的SAT算法,初步的实验结果证明了它在测试生成应用中的有效性。

摘要：故障注入技术分为硬件故障注入技术和软件故障注入技术,它是保证装备测试性设计阶段验证其可靠性的重要手段,而硬件故障注入因为有其致命的缺点(易使装备造成永久性损坏),因此,软件故障注入逐渐成为了研究的热点,它拥有灵活性高,易修改等诸多优点,使得软件故障注入逐渐成为此项技术的研究热门;课题以软件故障注入为牵引,研究了故障自动快速的测试方法,引入D算法并进行改进,实现了测试向量的自动生成。

摘要：本文介绍一个不完全Scan结构MOS电路的测试生成算法DALG—EX18。该算法充分考虑不完全Scan结构的特点,同时也考虑MOS电路中由三态器件引出的一些特性,在传统5值D-算法基础上,引入18值及其计算规则,加入新的处理步骤,并辅以可观值/可控值引导D-驱赶和一致性操作,从而提高故障覆盖率,加快测试生成速度。DALG—EX18算法已用C语言在VAX 11/750机上实现,一些电路的实验结果表明,该算法是有效的。

摘要：阐述了将混合蛙跳算法应用在时序电路自动测试生成的实现方法和结果;根据时序电路自身的结构特点,构造了测试生成的混合蛙跳表达方式,设计了自动测试生成离散混合蛙跳模型,通过群体中青蛙间的合作和竞争产生的群智能指导快速优化收敛;最后,根据国际标准时序电路进行了验证试验;结果表明,与同类算法相比,该算法获得了较小的测试集和较高的故障覆盖率。