一种基于多信号流图的故障隔离方法

多信号流图模型中,检测同一属性或具有相同激励的测试可以同时被执行,并按此对测试进行分组。在故障隔离过程中,按各组能检测出的故障出现的概率大小来决定测试顺序,从而构成了基于测试划分的故障隔离方法。该方法最大程度地减小了测试时间,并兼顾考虑了故障出现的概率和最少测试硬件增加。     

武器装备纵向测试性研究

针对测试性工程中的纵向测试性和纵向测试兼容性问题进行研究。分析了测试兼容性设计的重要作用;深入研究了武器装备研制、生产和使用各个阶段中维修体制的确定与级别划分、测试容差、测试数据接口、被测对象与测试设备接口等工程环节的兼容性设计要求,纵向测试性设计要求保证了武器装备全寿命周期测试诊断的一致性和兼容性,该研究对提高武器装备的测试性水平和实现武器装备一体化测试,具有重要意义。     

基于雷达的测试性设计优化方法应用研究

基于雷达等电子产品测试性要求的不断提高,对产品进行测试性设计迭代并进行测试性验证,成为对电子产品的普遍要求。由于初始设计有缺陷、覆盖故障模式不全等引起测试性设计不能满足要求,开展闭环测试、脉冲检测、隔离策略优化等测试性改进,最终选择软、硬件改进相平衡的方案,通过回归试验,获得满足指标要求的检测率和隔离率结果,优化方法促进了产品的测试性设计改进和增长。     

通路时延测试综述

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

基于相异度的测试优选算法

测试性日益成为现代电子产品的重要性能指标,必须在系统研制初期进行测试性设计,从而在故障诊断过程中,测试费用最少、诊断时间最短;根据贪婪策略提出了一种基于相异度的测试优选算法;在采用基于动态熵的故障隔离策略选择测试中,当动态熵值相同时,结合相异度进行测试优选;实验结果表明,该算法实现简单,能够在诊断时间最短的情况下,测试费用最少。     

基于Rollout算法的多值属性系统诊断策略

针对多值属性系统的诊断策略问题,根据Rollout算法可改善基础启发式算法的特点,用Rollout算法对基于信息熵的多值属性系统诊断策略进行优化,提出一种新的多值属性系统诊断策略．理论和实验分析表明,RoUout算法的计算结果优于信息熵算法,计算时间在可接受范围之内,可用于复杂多值属性系统的最优诊断策略设计．     

基于信息熵的电路测点优化策略

针对电路测试点优化问题,研究了相关性模型和信息熵理论,在对相关性模型进行改进的基础上,建立了基于信息熵的电路测点优化策略,给出了具体的计算步骤。应用实例表明,该方法是有效的,可应用于模拟、数字和混合信号电路的故障检测及可测试性设计。     

基于Rollout算法的序贯多故障诊断策略

针对目前大部分序贯多故障诊断算法需要计算最小碰集、计算方法较为复杂的问题,在对多故障相关矩阵模型进行转换的基础上,利用Rollout算法对基于信息熵的多故障诊断策略进行优化,提出一种新的多故障诊断策略。实例计算结果表明,与现有算法相比,所提出方法的期望测试费用更低,且具有先测试后修复的特点,在实际工程中更便于操作。     

一种新的提高软件易测试性的合约式设计方法

软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。     

基于边界扫描的混合信号电路可测性结构设计

在深入研究IEEE1149.1及IEEE1149.4标准的基础上,设计并实现了符合标准的混合信号电路边界扫描可测性结构各组成部分,包括测试访问口控制器、数字边界扫描单元、模拟边界扫描单元、测试总线接口电路及测试寄存器;构建验证电路进行了测试验证.测试结果表明,所设计的混合信号电路可测性结构是可行的,并可以应用到混合信号电路中提高电路的可测试性.     

测试性虚拟验证技术在装备测试中的应用进展

随着装备系统复杂度的提升,传统实物验证方法面临高效与低成本难以兼顾的困境。测试性虚拟验证技术通过构建装备数字化模型,在虚拟环境中实施故障注入与测试,展现出故障注入简便、测试成本低廉、测试周期短等显著优势。系统地回顾了测试性虚拟验证技术的特性和优势,对比分析了当前测试性虚拟验证中的关键技术,并展示了该技术在航空、航天等领域的应用实例。同时指出了当前技术面临的挑战和未来趋势,为装备测试性工程技术提供参考。     

软件测试性设计综述

软件测试性设计分为四类：设计时应当遵循的测试性设计原则,通过改变设计或代码提高软件测试性的专用测试性设计技术,为软件增加专门测试结构的结构化测试性设计技术和在软件开发全周期考虑软件测试的测试性设计综合技术。软件测试性设计方法借用了很多硬件测试性设计思想,但在许多方面还能进一步发展。     

基于BIST的SRAM型FPGA故障测试

从生产者角度对FPGA芯片测试技术进行深入而全面的研究,是保证制造出高可靠性芯片的一个重要前提。由于FPGA具有可重复编程性,该方法通过编程将FPGA内部资源划分为多个内建自测试（BIST,built in self test）模块,然后多次配置改换每个BIST模块中各个组成部分的角色和测试路径,进而达到对FPGA内部资源完全测试的目的。由于给出的方法是将内部资源作为一个整体来测试,所以FPGA的可编程逻辑资源和互连资源的测试问题可同时进行,继而有效地减少编程难度和测试时间。最后的实验结果表明该方法的有效性。     

软件可测试性检测技术研究

软件的可测试性表示软件中故障检测的难易程度,是重要的软件质量特性之一。文章介绍相关的故障／失效模型和RELAY错误检测模型。提出了一个完整的软件故障检测过程：执行过程、传染过程、传播过程。对程序结构,最小表达式错误产生、计算转移、信息流转移等进行分析。提出了一种通过概率进行度量的可测试性静态检测方法,即整个程序可测试性由其包含的所有语句可测试性均值得到。     

基于充分度的可测性设计理论研究

针对工程中各种可测性设计方法与规定的诊断要求间缺乏定量关系,造成一定的设计的盲目性等问题,以产品的故障模式集及其相关特性为基础,界定了充分度的概念,构建了充分度的数学模型,并将其与目前工程中常用的故障检测率/故障隔离率要求建立了定量关系,提出了一套以充分度为基础的可测性设计理论,并且给出基于该理论的可测性设计流程.     

采用独立复位信号的同步时序电路可测试性设计

针对同步时序电路提出一种结合了插入可观测点的部分复位方法,该方法是基于迭代计算的电路状态信息和冲突分析测度而提出的．根据基于电路状态信息的测度和冲突分析所选择出来的部分复位触发器,可以割断电路中的关键回路,使得电路容易被初始化．同时减少在时序ATPG中的潜在冲突．以前的部分复位方法中,部分复位的触发器不能由独立的复位信号所控制,这也是不能彻底改善可测试性的一个重要原因．当部分复位触发器可以由独立的复位信号所控制时,电路的可测试性会显著提高．该文提出了一种新的可测试性结构来设计部分复位触发器,该方法同时减小了在管脚、延时和面积的开销。     

Software testability measurement for intelligent assertion placement

Voas defines software testability as the degree to which software reveals faults during testing. This software characteristic is important when determining how to best apply verification techniques and build quality assurance plans. When testability is low, testers often want advice on how to increase it. In this paper, we describe the use of testability measures (using VoasÕs definition) for intelligent assertion placement. Software assertions are one relatively simple trick for improving testability. VoasÕs perspective on what software testability is has been implemented via three algorithms that together comprise a technique termed Ôsensitivity analysisÕ. Sensitivity analysis analyses how likely a test scheme is to (1) propagate data state errors to the output space, (2) cause internal states to become corrupted when faults are exercised, and (3) exercise the code. By knowing where faults appear likely to hide from a particular test scheme, we have insight into where internal tests (assertions) are particularly beneficial. This paper explores using the one sensitivity analysis algorithm that measures propagation as a heuristic for where and how to inject software assertions.     

基于失效机理的软件测试性评估方法研究

软件测试性是在测试过程中发现缺陷能力的度量指标。基于缺陷导致失效的机理,通过对主要的测试性评估方法分析和研究,总结出一套有实用价值的基于失效机理的软件测试性评估方法,并提出了该方法在软件度量和软件质量改善两个方面的应用前景。     

数字集成电路的可测性设计及其应用

首先论述了可测性设计的概念，分析了时序电路测试生成面临的困境。然后介绍了可测性设计的专门方法，并举例说明了它在实际中的应用。