基于准随机序列的测试性试验抽样方案

针对测试性试验和维修性试验中评估结果的分散性问题,分析了标准抽样方法存在的问题,研究提出了测试性试验对抽样的要求和基于准随机序列的抽样方案.工程试验和仿真表明,基于准随机序列的抽样方案可以显著改进抽样精度和覆盖性,降低分散性,具有很好的工程应用价值.     

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

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

Forecasting the efficiency of test generation algorithms for combinational circuits

In this era of VLSI circuits,testability is truly a very crucial issue.To generate a test set for a given circuit,choice of an algorithm from a number of existing test generation algorithms to apply is bound to vary from circuit to circuit.In this paper,the Genetic Algorithm is used in order to construct an accurate model for some existing test generation algorithms that are being used everywhere in the world.SOme objective quantitative measures are used as an effective tool in making such choice.Such measurews are so important to the analysis of algorithms that they become one of the subjects of this work.     

航空设备的测试性设计和验证技术概述

介绍了航空设备的测试性、测试性设计、测试性验证评估等,分析提出了国内航空设备测试性设计与验证技术现状以及存在问题的技术原因.     

基于软件仿真技术的外源性故障注入方法研究

针对当前复杂系统测试性试验中存在的无法模拟外部条件性存在的设备故障、外部输入输出故障模式单一等故障注入问题,定义了外源性故障的概念;针对外源性故障具有的功能逻辑和运行场景特性、故障源繁杂特性、模拟难度大成本高特性、总线交联特性,总结了外源性故障注入的基本要求;提出了一种面向外总线复杂应用数据仿真的外源性故障注入方法,面向总线应用层数据,从复杂系统的高级应用逻辑出发,模拟复杂系统交联环境、使用方式等故障行为,建立自动化的实时仿真故障注入环境,通过全数字仿真模型模拟交联环境的行为,进一步通过模型输入、输出或模型参数的改变,实施总线高级行为的故障注入。最后阐述了测试性试验中的外源性故障注入实施方案,分析了该方法的关键技术和环境构建思路,制定了外源性故障注入试验的实施流程。     

Java程序的对象单赋值分析

数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很大的运行开销.实验表明,在多线程程序中存在着大量只被赋值一次的对象,去除这类对象内存访问的监测操作不会影响上述方法的正确性,且能有效减少系统的运行开销.在此基础上,本文形式化定义了单赋值对象,并提出了一个静态对象单赋值分析算法,将这一算法的分析结果应用到多种成熟的数据竞争检测、确定性回放系统中.测试数据表明使用对象单赋值分析可以有效减少数据竞争检测、确定性回放等系统的运行开销,从而扩展系统应用场景.     

一种基于扫描链阻塞技术的低费用测试方法

为进一步降低测试功耗及测试应用时间,提出一种基于扫描链阻塞技术且针对非相容测试向量的压缩方法.该方法考虑前后2个测试向量之间不相容的扫描子链,后一个测试向量可以由扫描输入移入若干位以及前一个测试向量的前若干位组合而成.实验结果表明,该方法能够有效减少测试应用时间,提升效率.     

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

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

基于比例冲突再分配理论的目标识别应用研究

目前证据推理理论算法的改进仍然是热门的方向,其应用也越来越广,因此主要介绍了当前证据推理理论的两种最新的改进思想--最新的DSmT理论以及比例冲突再分配(PCR)方法;归纳总结了证据理论的主要应用及其在应用中的关键问题之--基本置信指派的主要构造方法;最后利用人工神经网络训练数据的方法构造基本置信指派,对比例冲突再分配(PCR5)方法在序列图像目标识别中的应用进行了仿真分析,仿真实验结果表明该算法可以有效地提高序列图像目标识别的准确性.     

考虑集成故障与单元互测的系统级测试性分配与设计

随着装备系统复杂度、集成度的不断增加，系统集成故障和单元间互测因素越来越凸显，给系统级测试性分配和设计带来了新问题，主要表现在：传统方法未考虑集成故障和单元互测导致测试性指标分配不合理，系统级测试性设计缺乏系统级测试选择方法等。针对系统集成后产生的集成故障和单元间互测等情形进行了理论分析，提出了考虑集成故障与单元互测的测试性指标分配、面向集成故障的系统级测试选择方法，为系统级测试性设计提供了一套解决方案。