用不同敏化方法提高超速测试的故障覆盖率

面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每组分配一个合适的超速测试频率,再采用一种可快速、准确选择特定长度的路径选择方法来有效地提高测试质量。同时,文中首次通过优先选用单通路敏化标准对短通路进行检测,对关键通路有选择地进行非强健测试,相对采用单一的敏化方法,能以很小的时间代价提高含有小时延缺陷的结点的跳变时延故障覆盖率(TDF)。在ISCAS’89基准电路中对小时延缺陷的检测结果表明:用不同敏化方法进行测试产生,能在低的cpu时间里取得更高的跳变时延故障覆盖率。     

改进的部分扫描触发器选择的方法

研究了部分扫描触发器的选择，对原有的基于状态密度的方法做了一些改进，提出一种综合的，基于故障可控性和可观性的扫描触发器选择的方法，并分析了扫描触发器对电路时序特性的影响，在对ISCAS 89标准电路的模拟中，该方法对大部分电路可以减少选择的扫描触发器的个数，提高测试效率和测试覆盖率。     

FPGA时延故障检测技术研究

随着FPGA器件的应用越来越广泛,FPGA的测试和故障诊断技术得到了广泛重视和研究。FPGA的时延故障是FPGA内部故障中非常重要的一类故障类型,主要包含器件内部逻辑资源时延故障和连线资源时延故障。论文通过分析FPGA的内部结构和时延故障特性,研究FPGA内部逻辑资源时延和连线资源时延故障检测方法。利用Xilinx公司Virtex-Ⅱ系列FPGA完成时延故障检测方法验证,证明了FPGA时延故障检测的可实现性。     

FPGA 时延故障检测技术研究磁

随着 FPGA 器件的应用越来越广泛,FPGA 的测试和故障诊断技术得到了广泛重视和研究。 FPGA 的时延故障是 FPGA 内部故障中非常重要的一类故障类型,主要包含器件内部逻辑资源时延故障和连线资源时延故障。论文通过分析 FPGA 的内部结构和时延故障特性,研究 FPGA 内部逻辑资源时延和连线资源时延故障检测方法。利用 Xilinx 公司Virtex‐Ⅱ系列 FPGA 完成时延故障检测方法验证,证明了 FPGA 时延故障检测的可实现性。     

串扰时延故障的SAT-ATPG算法研究

随着芯片运行速度不断提高,对串扰时延的测试已成为一个迫切需要解决的问题;文中提出一种面向多条攻击线的受害线上最大串扰噪声的测试生成方法;此方法建立了串扰通路时延故障模型、分析了布尔可满足性问题、讨论了七值逻辑,研究了串扰时延故障测试转换为CNF的逻辑表达式,在非鲁棒测试条件下约简CNF范式,并提出了串扰时延故障的SAT-ATPG算法;最后通过实例分析,对本文算法进行验证;结果表明:该算法对串扰时延故障的测试矢量的生成是有效的。     

基于扫描链阻塞技术的时延测试方法

针对时延测试功耗和测试费用较高的问题,提出一种低费用的轮流捕获时延测试方法。采用扫描阻塞技术,将被测电路中的所有扫描单元分成多条子扫描链,使电路中每时刻只有一条子扫描链活跃。在进行故障测试时,通过阻塞一部分子扫描链,使扫描单元得到充分利用。实验结果表明,该方法能降低测试应用时间和测试数据量,且硬件开销较少。     

用于低功耗设计和测试的自适应触发器

提出一种触发器结构——自适应触发器,它可以同时降低VLSI电路的工作功耗和扫描测试时的功耗,自适应触发器监视D端和Q端的逻辑电平,当两者的逻辑电平相等时,就会自动把触发器的内部时钟停在逻辑高电平;否则,触发器要跳变时,就会自动地恢复触发器的内部时钟,在触发器的跳变率较低时,自适应触发器能有效地降低触发器的功耗,同DL—DFF和时钟门控相比,自适应触发器具有不需要附加额外电路,并能同时降低电路的工作功耗和扫描测试功耗的优点。     

网络地址跳变对扫描能力的影响评估

移动目标防御(Moving target defense)通过增加系统攻击表面的不确定性,为防御者提供了一种新的攻击防御策略。IP地址跳变是一种典型的网络层移动目标防御机制,它通过IP地址的不确定性,增加攻击者对攻击目标的定位难度。然而对于一个采用IP地址跳变机制的系统,判断其是否具备足够的抵御扫描攻击的能力,这与系统所具备的IP地址资源、采用的跳变方法以及相关跳变参数设定等因素有一定关系,需要建立适合的量化评估模型才能进行精确的评估。对经典的IP地址跳变机制进行梳理和分析,比较主机型和网关型IP地址跳变机制的优缺点。针对IP地址跳变机制的抗扫描能力提出量化评估模型,可用于评估特定IP地址跳变机制在不同参数组合情况下的抗扫描能力。     

延迟不确定马尔科夫跳变系统的执行器和传感器故障同时估计方法

针对具有参数不确定和延迟环节的马尔科夫跳变系统,在状态转移概率矩阵（Transition probability matrix,TPM）不确定的情形下,讨论了其执行器和传感器故障同时估计的方法.通过扩展系统状态,将系统转换为一个具有马尔科夫跳变参数的广义描述系统,基于此广义描述系统设计马尔科夫跳变观测器实现对其状态和传感器故障的估计.与此同时,还设计了一组自适应律对执行器故障进行在线调节.通过求解一组线性矩阵不等式最优化问题,得到观测器存在的充分条件.最后,针对两个数值实例,验证了所设计方法的有效性.     

考虑逻辑门延时的冗余固定故障检测方法

提出利用瞬态电流测试(IDDT Testing)方法检测数字电路中的冗余固定故障。检测时采用双向量模式,充分考虑逻辑门的延时特性。针对两类不同的冗余固定故障,分别给出了激活故障的算法,在此基础上再对故障效应进行传播。SPICE模拟实验结果表明,该方法能有效地区分正常电路与存在冗余故障的电路,可以作为电压测试方法的一种有益的补充。     

基于分支覆盖的回归测试路径选择

回归测试是迭代式软件开发的重要环节,测试数据生成是回归测试的前提.传统的回归测试方法,从已有的测试数据中选择部分测试数据,并生成一些新的测试数据,以验证程序的正确性.但是,该方法容易生成冗余的测试数据,从而降低了回归测试的效率.研究了回归测试的分支覆盖问题,通过利用已有测试数据的路径覆盖信息,并选择一定个数的路径,以覆盖所有的目标分支.首先,以若干路径形成的集合作为决策变量,以路径最少、覆盖的分支最多以及包含的未覆盖路径最少为目标,建立路径选择问题的3目标优化模型;然后,采用遗传算法求解上述模型时,设计了基于目标重要性的个体评价策略;最后,基于已有的测试数据与选择的路径之间的覆盖关系,确定需要生成的测试数据.将所提方法应用于6个基准工业程序测试中,并与其他方法比较.实验结果表明,采用该方法选择的路径,能够覆盖更多的分支,需要生成的测试数据更少,回归测试消耗的时间更短.     

通路时延测试综述

本文对目前通路时延测试领域的主要研究成果进行了综述，阐述了主要的通路时延可测试性及相应的单通路时延故障的分类，并介绍了三种精简通路集的通路时延测试方法。     

众测中的工作者选择方法研究

众测是一种新兴的软件测试方法,它依靠网络上的工作者帮助完成测试任务.对于某个测试任务来说,谁来执行对于发现缺陷以及覆盖测试需求关键点是至关重要的.然而众测平台上一般有大量的候选工作者,他们拥有不同的测试经验,也常常提交重复的测试报告.由于众测工作者随机地参与测试任务,同时满足较高缺陷检测率和较高测试需求关键点覆盖度是很困难的.因此,该文关注如何为新的测试任务选择一组合适的众测工作者,从而提高缺陷检测率和需求关键点覆盖度.首先设计了3个实验,试图发现选择什么样的众测工作者能够提升缺陷检测率和需求关键点覆盖度.通过实验验证,发现众测工作者的主动性、相关性和多样性从不同的角度影响测试质量,并且给出了它们的度量方法.然后,提出一种同时考虑这3个方面工作的选择方法.基于众测平台之一——百度众测上46个真实的测试任务对该方法进行了验证,结果显示,该方法能够显著提高缺陷检测率和测试需求关键点覆盖度.     

Transition covering tests for systems with queues

This paper introduces a method to cover transitions of a concurrent system under test through a context consisting of infinite‐capacity queues. Concurrent systems have many important applications, but they are very difficult and expensive to test. One of the difficulties in testing concurrent systems is caused by the fact that queues in the test context can distort the behaviour of a concurrent system under test and can cause state explosion in test derivation. The proposed method derives transition covering tests directly from the specification of a concurrent system, not its composition with queues. As transition coverage is an important industrial metric of test quality, the results of the paper have practical applications. A case study is presented to illustrate one of the applications. Copyright © 2008 John Wiley & Sons, Ltd.     

面向有效错误定位的测试用例优选方法

针对已有测试用例选择方法在提高错误定位有效性方面存在局限性的问题,首先,定义“失效覆盖向量相似度优先排序”准则,将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级;然后定义“失效覆盖等价划分优化选择”准则,选择能够最大区分失效执行语句的成功测试用例集合;在此基础上,建立测试用例优选模型(effective selection, ES).不同于已有方法,ES充分利用失效执行路径来提高错误定位的有效性.该模型被应用于优选Siemens测试用例集合,其结果被应用于Tarantula等4种错误定位方法.结果表明,ES在约简率Reduction和衡量错误定位有效性的Expense_increase两个指标方面,均优于已有的基于语句和基于向量的测试用例约简方法.ES不但可以获得97%以上的约简率,提高错误定位的效率,而且具有较低的Expense_increase,显著提高了错误定位的有效性.     

基于多维度覆盖率的软件测试动态评价方法

随着关键领域应用软件规模和复杂性的不断提高,软件测试成本也不断增加.如何动态、定量地评价软件测试情况,提高测试效率是软件测试领域面临的现实问题.提出了一种基于多维度测试覆盖率的软件测试动态评价方法,并从测试监测信息、动态分析和评价模型、测试优化策略几个方面展开讨论.给出了综合测试覆盖率的定义和经验公式.实例显示,该方法有助于软件项目评测人员动态跟踪和定量监控软件测试效果,提高软件测试过程的可观察性和可控制性.     

带观测时滞和丢失的网络化系统的故障检测

研究一类带有一步通信时滞和观测数据丢失的离散时间网络化系统的故障检测问题。通过在接收端引入寄存器将数据丢失转化为通信时滞,用一个二进制的随机序列描述由于网络的引入所带来的观测信号的随机时滞。对原系统的状态与故障诊断滤波器的状态进行增广,可以将原故障检测问题转化为一个H∞滤波问题。以线性矩阵不等式的形式得到了滤波器存在的一个充分条件,进而得到滤波器的参数。仿真说明了该方法的有效性。     

单相接地故障负序选线方法的研究

基于不对称故障时负序网络在单电源放射性网络的拓扑结构,研究了负序电流的相角变化规律。研究结果表明,在单电源放射性网络中,当网络中发生单相接地故障时,故障线路与非故障线路的负序电流相角相差趋于180°,以此选出在这类输电网络中发生单相接地故障时的故障线路。由于该方法需要判断的量仅有负序电流的相角,所以选线方法方便易行。大量仿真验证了方法的正确性和有效性。