基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

结合奇偶测试的大规模集成电路征兆测试

征兆测试是一种高效简捷的电路测试方法。该文提出一种适用于大规模集成电路的测试方法——组合征兆测试法。利用这种方法,测试者可以通过穷举输入组合,使奇偶测试和征兆测试相结合,共同解决对大规模集成电路故障测试的难题。主要思想是:首先通过被测电路的奇偶性判断该电路的征兆测试法的可测性,对征兆测试法不可测的电路,引入高阶征兆测试的思想,使其成为高阶征兆测试法可测电路。结果表明:该方法在提高可测性的同时,还提高了电路征兆测试的测试效率和故障覆盖率。通过对一些基准电路和常用电路的测试验证了该方法的实用性。     

基于FPGA的宏电路模块生成器

在简要介绍现代IC设计自动化方法的基础上,提出一个小型的适用于FPGA设计的辅助工具——自动宏生成器 该工具能够根据用户的需要快速生成一系列特定于某—FPGA结构的宏,而这些宏能够直接被用作为大型数字电路中的一部分,从而简化设计的难度并提高设计的速度、本文还将论及面向对象技术在EDA(Electronic Design Automation)工具开发中的应用.     

降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

软硬件测试的一致性

讨论了软硬件测试的的一致性，列举了软硬件测试中相似的测试方法，最后基于一致性的概念并借助硬件可测性设计BIST（build-in-self-test)技术提出一种新的软件可测性方法。称为BIST SDFT（software design-for-testability)，BIST SDFT为软件开发人员和测试人员提供了信息交流的桥梁。     

软件内建自测试中测试点的设计与实现

首先讨论测试点的三种插装策略,给出测试点的数据结构,并以分支覆盖探针函数为例,结合Lex&Yacc,给出测试点的具体插装过程.最后,提出测试点个数合理性设置的5点建议,作为今后进一步研究之参考.     

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.