32位微处理器功能测试状态集的研究

基于微处理器指令译码功能故障模型，给出了各类指令所需的测试状态集应该具有的性质及其构造方法。     

微处理器的功能测试及诊断方法的实验评价

数字系统,特别是微处理器的检测和诊断的理论及实验技术发展很快。文章阐述作者在访法期间,与同事们合作,对各种典型测试方法的实验评价结果.其中随机法的测试错误复盖率高,给人以深刻的印象.     

基于规范化描述的微处理器功能测试

基于规范化描述，提出了对微处理器进行功能测试的一种方法，给出了实现和结论. 对各种复杂数字系统测试有一定的理论和实用价值.     

组合电路中延迟故障的功能测试生成

提出一种用于测试组合电路中延迟故障的新功能故障模型,讨论该模型的功能测试生成,实验表明,这种功能测试集具有实现低路径延迟故障覆盖范围的功能。     

一种通用汽车电子控制器功能测试系统

为适应不同类型汽车电子控制器功能测试的需要,支持人机界面定制,提出一种通用汽车电子控制器功能测试系统架构。该架构包括设计环境、测试流程描述文件和运行环境三部分,其中测试流程描述文件采用ATML描述测试序列并通过其扩展接口描述用户界面,设计环境提供测试序列及界面定制功能,运行环境则根据该文件自动生成测试序列与相应用户界面并执行测试。按照本文架构开发的功能测试系统已应用于某型发动机ECU功能测试,验证了方法的有效性。     

软件功能测试用例设计方法的探讨

阐述了采用软件功能测试用例的必要性,然后通过使用现有的软件功能测试用例的具体设计方法(等价分类法、边界值分析法、因果图法以及错误推测法)对具体实例的分析,提出了软件功能测试的相关技巧.     

程控交换机呼叫接续功能测试系统的设计

介绍笔者为测试交换机呼叫接续功能而开发的,供大型交换机生产线使用的一套专用测试系统的软硬件设计方法。并给出硬件结构和测试软件流程图。     

微处理器测试图形采集程序自动编程系统的设计

提出了微处理器ＭＰ测试图形采集程序自动编程系统的一种设计方案，系统在读入测试开发人员对ＭＰ的描述后，能自动建立ＭＰ的抽象模型并产生直接在Ｓ－１０测试仪上运行的ＦＡＣＴＯＲ语言ＭＰ测试图形采集程序．     

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

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

基于隔离技术的器件在线功能测试方法研究

在线功能测试是电路板检测系统最基础、最重要的一项测试功能.针对受在线因素的影响功能测试结果可能不准确和新型器件的不断出现导致功能测试无法继续等问题提出了以在线功能测试为主导,辅以在线状态测试技术和智能VI曲线扫描测试技术的综合在线测试技术的技术解决方案,能快速实现电路板故障检测和定位.     

VLIW体系结构微处理器功能验证模型

为了系统而有效地设计微处理器功能验证激励,针对VLIW体系结构微处理器的结构特征,特别是多操作流水线并行特征,提出了VLIW体系结构微处理器的功能验证模型,基于该模型, 针对一个规模为1 500 kbit等效逻辑门的VLIW体系结构微处理器, 完成了功能验证方案的制定和105周期功能验证激励的设计.     

用于X光机参数检测的C8051F单片机功能开发

单片机具有全电脑功能,且有体积小、可靠性高、售价低的特点。虽然它属于高技术产品,却简单易学,开发应用方便。近年来,随着计算机在社会各个领域的渗透,单片机的应用正在不断地走向深入,同时带动传统控制检测日新月异。在实时检测和自动控制的单片机应用系统中,单片机往往是作为一个核心部件来使用。单片机的功能是靠程序来实现的,并且可以修改。通过不同的程序实现不同的功能,尤其是一些特殊的功能。文章介绍一种用于X光机参数检测的C8051F单片机的功能开发。     

基于赋值判决图的AT89C51微处理器全速电流测试实验研究

全速电流测试是一种新的电路测试方法,以AT89C51微处理器为例,说明用全速电流测试进行微处理器测试的可能性.实验中将80C51内核的HDL描述转换为赋值判决图（ADD）,然后由ADD产生测试所需的指令序列,最后令微处理器重复执行产生的指令序列,并用普通的万用数字电流表测量微处理器消耗的平均电流.实验结果表明,用全速电流测试在指令级对AT89C51微处理器进行测试是可行的.通过测试所有的数据通路,不仅可以检测数据通路的故障,而且可以检测由于控制错误而引起的数据传送错误.     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

基于组合测试技术的JavaEE多层框架的测试方法

提出了利用组合测试技术对JavaEE多层框架结构应用程序的测试方法,设计了针对JavaEE的Web应用软件的测试框架和工作流程,并利用错误注入技术对组合测试方法进行了检验。结果表明所提出的方法是有效的。     

面向对象基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段,是保证软件质量、提高软件可靠性的关键。类测试又是面向对象软件测试的关键,类的服务的测试是面向对象软件测试中的重要内容。本文针对面向对象程序的特性对软件测试的影响,研究了一种基于服务的类测试模型,即服务的块分支图,从而能够更有效地对面向对象软件进行测试,提高了软件的质量。     

Reduction of Faults in Software Testing by Fault Domination

Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.     

一种动态协议一致性测试方法

利用约束满足技术实现了一种新的动态协议一致性测试方法，解决了由于固定测试集的错误覆盖度、测试用例的相关性，以及实测结果的影响，导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题．