一种热量约束下的3D-ICs调度测试划分方法

提出了一种热量约束下的3D-ICs(三维堆叠集成电路)调度测试划分方法,该方法在充分考虑分区条件和不违反温度约束的条件下将每个测试按照原来测试的温度进行划分,允许与更多的测试并行执行,实现测试间的最大重叠。在ITC’02基准电路的实验结果表明,在温度有显著影响的环境中,与传统的方法比较该划分方法对调度质量有实质性的改进,利用测试时间的重叠可以有效地减少测试应用时间,降低测试成本。     

语言测试中信度估算方法的选择

无论是高风险和大规模语言测试,还是日常语言教学测试都需保证测试信度。定量估算信度是语言测试信度分析方法之一。在阐述常用测试信度估算方法的基础上,指出语言教学测试信度估算方法应根据测试目的、测试影响以及实施测试的条件进行选择。     

软件补偿技术在铸件凝固温度场测试中的应用

论述了在测试温度场分布中用计算机软件修正其测试误差的方法以及进一步提高测试精度的方法，并论述了这种修正方法的实际意义．     

一种提高协议测试效率的新方法

针对使用传统的方法提高协议测试效率存在的问题，从测试序列测试顺序的角度，首次引入了测试序列动态重排序的方法，对不同的错误情况，提出三种动态排序算法．讨论了测试序列动态重排序对测试效率产生的影响．实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进．     

互操作性测试序列生成与优化方法

对互操作性测试序列的测试执行代价进行详细分析,提出一种通过构造测试生成树来生成互操作性测试序列的方法.该方法在构造测试生成树过程中进行测试代价增量的计算,用局部最优的贪心策略进行互操作边的选择,以对测试生成树进行扩展,最终得到近似最优的测试集.     

测试理论在列控系统测试中的应用

分析了测试理论中涉及的测试目的、测试原理、测试设计和测试分析等内容,并提出了在列车运行速度控制系统测试中的应用方法     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

基于对象模式关系图的测试顺序生成方法

类的测试顺序对于面向对象的集成测试有着重要的作用．在基于对象关系图（ORD）的测试顺序生成方法上,改进了对象关系图,结合设计模式提出了对象模式关系图（OMRD）,并在对象模式关系图的基础上提出了基于对象模式关系图的测试顺序生成方法．基于对象模式关系图的测试顺序生成方法能在一定程度上解决基于对象关系图的测试顺序生成方法所存在的不足．     

集成电路的计算机辅助测试

以9001测试系统为例，介绍计算机在集成电路测试技术中的应用及测试原理，以及现代测试中利用软件进行数据处理，提高测试精度的一些方法。     

软件补偿技术在铸件凝固温度场测试中的应用

论述了在测试温度场分布中用计算机软件修正其测试误差的方法以及进一步提高测试精度的方法，并论述了这种修正方法的实际意义。     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

虚拟测试仪器的误差描述与修正

虚拟测试仪器在测试过程中不可避免地会产生误差,影响测试结果的精度.作者描述了虚拟测试系统的误差构成、误差传递及误差合成的方法,并对虚拟测试仪器的误差传递及合成进行研究,得出了虚拟测试仪器的误差评价体系和误差处理方法,在误差分析的基础上对误差进行修正.     

数字电路测试中的虚拟测试资源模型研究

针对数字电路测试中对测试资源管理方法通用性的需求,以测试泛环境ABBET(A Broad-Based Environment for Test)资源管理软件接口和IEEE1445标准为基础,采用面向信号的测试资源管理方法,构建了虚拟测试资源模型,论述了虚拟测试资源模型的基本组成．在数字电路测试中,通过使用虚拟测试资源模型来隔离测试软件和硬件设备,使ATS中仪器和信号通道的变化与测试软件的开发及使用没有关联性,从而实现测试软件对仪器访问控制的通用性．以实际电路板为被测对象,对基于虚拟测试资源模型开发的TPS(Test Program Set),选取两套不同厂家的数字电路ATE设备作为运行的硬件平台,测试结果表明：TPS可以运行在不同的ATE上,实现了测试资源管理方法的通用性,提高了数字电路TPS的适用性．     

电子负载在电源测试中的应用

电子负载是一种新型的电子设备,目前在电源测试中得到了广泛的应用.本文分析了使用恒流式与恒压式电子负载测试直流电压源和电流源的工作原理和方法.对使用电子负载进行电源的自动测试方法,与手动测试法进行了对比,提供了测试电路和仿真测试结果.在对参数变动电源的测试中,电子负载有特别的应用优势.本文以对蓄电池的放电曲线测试为实例,给出了测试电路和测试方法,以及仿真测试结果.     

PHS基站的实验室测试和在线自动化测试

给出PHS基站的实验室测试和在线自动化测试的测试项目、技术指标和测试步骤,这两种测试方法中,实验室测试方法在实际工作中很难实现,在测试时无法满足所需的测试条件;自动化测试系统方法能提高测试效率,减少人为误差和人为因数,规范测试方法和标准。     

基于软件知识的测试方法

在软件测试阶段,常使用的排错方法包括排错测试和操作概图测试,但它们采取的都是随机测试的策略。在对它们进行研究的基础上提出一种新的测试方法：基于软件系统中使用的知识以及对相关知识的使用方式的软件测试方法。基于软件知识的测度方法可以应用于软件的可靠性稳定增长测试与软件安全性测试,也可以应用于面向对象软件的测试,以及应用于采用组件重用策略的软件可重用技术的软件系统测试。     

统计测试中操作剖面的一种优化设计方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.     

基于最小集合覆盖求解方法的测试向量集约简

TetraMAX ATPG作为业界性能较优的自动测试向量生成工具，能够使用较短时间产生高故障覆盖率的测试向量集.本文通过对TetraMAX ATPG产生的初始测试向量集进行建模，提出了基于最小集合覆盖求解方法的最小完备测试集生成方法，利用这一算法可以在保证测试向量集故障覆盖率不变的基础上有效地缩减测试集规模，从而降低电路测试成本.实验结果表明该方法对于固定故障类型和静态电路故障类型均具有良好的约简效果.     

FPGA逻辑资源测试图形自动生成方法

提出一种通用FPGA逻辑资源测试图形自动生成方法.建立了可编程逻辑单元CLB的测试模型,提出了FPGA的测试配置集的自动生成算法,在测试配置集的基础上得到了具有通用性的,高故障覆盖率且测试时间短的测试图形.     

协议一致性测试集自动生成技术综述

本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势.