High-Level Test Synthesis for Behavioral and Structural Designs

High-Level Test Synthesis (HLTS), a term introduced in recent years, promises automatic enhancement of testability of a circuit. In this paper we will show how HLTS can achieve higher testability for BIST-oriented test methodologies. Our results show considering testability during high-level synthesis, better testability can be obtained when compared to DFT at low level. Transformation for testability, which allows behavioral modification for testability, is a very powerful HLTS technique.     

模拟电路故障可测性数值判断

本文讨论模拟电路故障可测性问题。提出了以矩阵数值秩为依据的故障可测性数值判断方法,给出了考虑容差扰动及数值计算误差时的故障可测性条件。根据可测性分析与设计的不同要求,将可测性条件分解为拓扑条件和数值限制两个方面描述。文献[1]给出了拓扑条件,本文对数值限制作了讨论,给出了可测性数值判据。     

数字调谐系统芯片DTSO614的可测性设计

介绍了集成电路可测性设计的概念和分类方法,然后以数字调谐系统芯片DTS0614为例,具体介绍了其中的一种即针对性可测性设计方法,包括模块划分、增加控制线和观察点.最后给出了提高电路可测性的另一种方法--内建自测试方法.     

Incremental Testability Analysis for Partial Scan Selection and Design Transformations

This paper presents an efficient estimation method for incremental testability analysis, which is based partially on explicit testability re-calculation and partially on gradient techniques. The analysis results have been used successfully to guide design transformations and partial scan selection. Experimental results on a variety of benchmarks show that the quality of our incremental testability analysis is similar to those of the conventional explicit testability re-calculation methods and the technique can be used efficiently for improving the testability of a design during the high-level test synthesis and partial scan selection processes.     

基于层次模糊决策的雷达装备测试性综合评估

针对目前雷达装备定型、交付验收时缺乏系统有效的测试性评估方法的问题,提出了基于层次模糊决策的雷达装备测试性综合评估模型。首先,从现代雷达装备测试性设计的根本任务和实现目标出发,建立了较为全面的雷达装备测试性评估指标体系。在此基础上,将层次分析法与模糊数学的方法引入到测试性评估中,以某型雷达装备验收时测试性定量验证和定性检查情况为例,对雷达装备测试性进行了综合评估。结果表明,该评估模型简单、实用、有效,为复杂武器装备的测试性评估提供了新思路。     

基于全寿命周期的雷达装备测试性综合评估

针对目前雷达装备缺乏全面有效的测试性评估方法的问题,提出了基于全寿命周期的雷达装备测试性综合评估模型。首先,从现代雷达装备测试性评估的全寿命周期过程出发,建立并分析了基于全寿命周期的雷达装备测试性综合评估指标体系;在此基础上,将层次分析法与模糊综合评判方法应用到测试性评估中,给出了雷达装备测试性综合评估方法和步骤;最后,举例进行了验证与分析。结果表明,该评估模型简单、实用、有效,为复杂武器装备的测试性评估提供了一种新的思路。     

基于物元可拓法的雷达装备测试性评价

针对目前雷达装备缺乏系统有效的测试性评价方法的问题,提出了基于物元可拓法的雷达装备测试性评价模型。首先,建立与分析了雷达装备测试性评价指标体系,确定了雷达装备测试性评价等级。在此基础上,将物元可拓法引入到测试性评价中,介绍了基于物元可拓法的雷达装备测试性评价方法和步骤,并利用熵技术对层次分析法确定的指标权重进行改进。最后,实例应用研究表明,该评价模型简单、实用、有效,为复杂武器装备的测试性评价提供了一种新的思路。     

K故障诊断可测性的公树条件

模拟电路K故障诊断有两种方法：超定偏差方程相窖性判断法和双线性求值判断法。本文从拓朴上论述了使用这两种方法时电路的全局可测性和局部可测性。提出了简明的称为公树条件的评判方法。公树条件易于用来从可测性角度对两种诊断方法进行比较。在电路可测性设计时也方便使用。最后以一个例子说明双线性求值判断法的可测性要好得多。     

基于模型的综合模块化航电系统测试性设计方法

针对综合模块化航电系统对测试性提出的更高要求及其工程实践中存在的典型问题,定义了一种分布-集中式的系统测试诊断架构,以适应其体系架构的特点和生产配套关系的变化;提出了一种基于模型的系统测试性设计方法和流程,以测试性模型为驱动指导航电系统的测试性方案设计、评估与优化过程,取代传统的基于指标的测试性设计方法。在某机载综合射频系统上开展了方法应用,成功解决了该系统综合化以后测试诊断架构设计与测试性分配的非线性问题。     

基于MBSE的微波统一测控系统测试性设计

针对当前微波统一测控系统研制中存在的测试性要求宽松、测试性设计模式落后的问题,通过综合权衡可靠性、维修性和保障性的各项要求和约束条件,确定了微波统一测控系统的测试性定量要求,并对开展测试性定量设计和验证的可行性进行了论证;采用系统工程设计思想,将测试性设计和功能设计融合,构建了基于模型的系统工程（Model-based Systems Engineering,MBSE）的测试性设计环境和设计流程,可为微波统一测控系统在数字化研制过程中开展测试性设计和仿真验证提供参考。     

基于雷达装备的测试性评估方法研究

雷达装备在作战中具有重要的作用,而雷达装备的测试性设计对雷达装备起关键作用,对雷达装备的测试性设计进行分析,及时将测试性设计和试验相结合,使雷达装备的测试性水平得到提高。首先对雷达装备的测试性设计进行了分析和阐述,之后基于设计和试验提出了一种测试性评估方法,并提出一套测试性评估程序,来帮助雷达装备进行测试性评估。     

某型AFDX网络交换机测试性分析

AFDX交换机是整个AFDX网络的核心所在,AFDX交换机的产生的故障会导致整个网络的瘫痪、失效。文章针对某型AFDX交换机的测试性设计进行测试性建模,并根据测试性模型形成了该AFDX交换机的测试性设计的基础数据。     

电子装备测试性分析关键技术研究

针对目前国内测试性分析的理论较杂,缺少综合、适用的分析系统的问题,研究了利用功能—行为—结构(FBS)模型描述测试性的技术,提出了基于故障模式、影响和危害性分析法,利用FBS模型进行测试性分析,构建了测试性层次型预计体系。     

测试与可测试性设计发展的挑战

CMOS器件进入超深亚微米阶段,集成电路(IC)继续向高集成度、高速度、低功耗发展,使得IC在测试和可测试性设计上都面临新的挑战.本文首先介绍了测试和可测试性设计的概念,分析了测试和可测试性设计面临的困境;然后讨论了系统芯片设计中的测试和可测试性设计,最后对测试和可测试性设计的未来发展方向进行了展望.     

基于TEAMS的测试性建模与分析

随着测试性技术的快速发展，设备的测试性受到越来越多的重视。在研究测试性设计的主要技术和参数基础上，基于 TEAMS 软件建立了典型通信设备的测试性设计模型，进行了测试性仿真与分析，为提高设备的测试性提供定性定量的支持。     

面向系统芯片的可测性设计

随着集成电路的规模不断增大,芯片的可测性设计正变越来越重要。回顾了一些常用的可测性设计技术,分别讨论了系统芯片（SOC）设计中的模块可测性设计和芯片可测性设计策略。     

空间电子设备电路板可靠性可测试性设计检查

为了提高空间电子设备可靠性和可测试性设计的工作质量,采取在印制电路板生产前对其进行可靠性和可测试性设计检查的方法,可以提前在产品研发设计阶段发现可靠性和可测试性设计的不足,有针对性的加以改进,就能进一步提高产品质量与可靠性。列举了印制电路板可靠性可测试性设计检查要点,具有实际工程应用价值。     

一种可测性调度分配方法

提出一种基于演化算法的可测性调度分配方法.应用演化算法,在调度和分配过程中研究电路的可测性设计.该方法的贡献是:给出了三个可测性准则;设计了可测性目标函数;提出了一种新颖的演化编码和演化操作,提高了搜索速度和解的质量.实验结果验证了该方法的可行性.     

基于DPSO的不确定系统测试性建模

针对关联模型在复杂装备测试性评估中对不确定问题描述与分析的缺陷,给出了基于贝叶斯网络的测试性模型,利用条件概率描述系统的不确定信息.在基于统计数据的测试性建模与评估中,由于故障征兆与故障原因统计的不完全性,致使测试性建模属于数据不完备情况下的结构和参数学习问题,针对该问题利用离散粒子群算法,通过测试性数据完备化,以贝叶斯测度为计分值,实现贝叶斯网络结构学习.最后通过实例验证了算法的正确性和有效性.