OSEK/VDX操作系统功能测试研究

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。     

SoC功能验证的特点和方法

简要分析了传统集成电路（ASIC）验证方法的特点以及将这些方法应用于系统级芯片（SoC）验证时所面临的问题。在此基础上，论述说明了模块级验证是提高SoC验证效率的基础；而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外，还介绍了用于SoC功能验证的关键方法，包括断言和RTL形式验证，Farm，随机化测试激励和功能覆盖等。     

扬州电网调度自动化系统通过实用化验收

2005年9月27—28日，江苏省电力调度（交易）中心组织部分专业技术人员对扬州供电公司调度自动化系统进行实用化复查。专家们通过核查相关资料、设备功能测试、变电所现场察看等方法，对电网调度自动化系统的SCADA、PAS功能，DMIS系统的建设与应用、调度数据网络运行与电力二次系统安全防护等进行了现场检查和测试。其中遥测、遥信各项指标均达到考核要求，验收组一致评定扬州电网调度自动化系统通过实用化复查验收。     

基于遗传算法优化的BDD描述的数字电路功能测试

针对数字电路的测试两大难点，采用二元判决图(BDD)表示数字电路模型，同时由BDD生成测试矢量来完成数字电路的功能测试。在由VHDL描述完整电路功能的基础上用遗传算法对BDD的规模进行压缩优化。整个系统构成简单，自动化程度高，测试耗时少。     

异步时序电路的功能测试自动生成方法

异步时序电路的测试一直是一个比较困难的问题。该文通过在前人研究的基础上，提出了一种实用、高效的自动测试生成方法。该方法通过使用基于OBDD(有序二元判决图)的布尔特征函数的运算求解来确定电路的状态转换图，然后通过对转换图的强连通图的搜索运算简化状态转换图，最后使用图论的方法求出测试序列。     

自动化功能测试的方法与实现

主要讨论了对大型软件进行自动化功能测试时的一些问题,并据此对测试过程的各个方面,如创建测试计划、设计测试案例、录 制、优化和执行脚本,以及如何确认和报告缺陷等都作了一些改进,最后通过实例表明了该过程的有效性。     

基于虚拟仪器的车载收音机在线测试系统

提供了一套基于虚拟仪器技术的车载收音机特性参数测量和全面功能测试系统解决方案，包括Alignment、FM和AM3个测试工作站，支持对各个测试工作站的硬件配置和测试流程进行二次开发，定义个性化的测试流程，满足各种不同测试的需要。实际测试结果达到设计要求，极大的提高了测试工作的效率、精确度以及自动化程度。     

性能测试用例

目前国内一测试工程师时常要面对“已经延期几倍计划时间的项目”,测试用例如何发挥更大的作用,是一个迫切需要解决的问题。事实上,完全可以把测试用例看成是测试工程师编写的程序:这个“程序”是为了辅助测试工作的进行而开发的,目的是为了发现软件问题,同时“顺便”证明软件功能是否符合要求。本文针对上面的问题,以设计性能测试用例为示范,讲解在企业实际工作中,如何有效划分测试种类和编写对应的测试用例,使测试工作更加合理、高效率的开展。     

波控系统的自动测试设计及实现

介绍了某型雷达波控系统的自动测试方法。本测试方法主要为先边界扫描测试后进行功能测试。测试覆盖率高达95%以上。已经应用于某型雷达波控系统的测试与维修。另外本自动测试系统具有良好的通用性,即通过设计不同的适配器可以满足多种被测件的测试需求。     

MC6800微处理机功能测试程序的研制

本文介绍了 MC6800功能测试程序的一种研制方案及程序的编制。该方案立足于测试技术的先进性,测试程序的有效性、实用性与经济性。以生产厂和用户之间交接产品时共同遵守的测试为宗旨,并对各类不同用户的使用环境提供方便。该方案吸收了一些现有方法的长处,并有所改进。根据我国微处理机生产与测试的国情,提出一种称为功能与结构兼测法的测试方法(这种方法的详细论证见参考文献[1]、[2]、[3])。这种方法在对微处理机进行功能测试的过程中,加强对弱点(容易出故障的工作部位)的测试。考虑微处理机工作时的内部干扰,信号丢失,传输延时,时钟链、进位链、时钟负载、频率范围(尤其是高低端的情况)、逻辑传送、驱动能力等因素。文章简要介绍了功能与结构兼测法的思想及其实现。对测试程序的结构进行了分析与说明。