超大规模集成电路系统设计方法综述

全面综述了当前集成电路设计方法的发展，并详细地论述了当前超吉广泛采用的自项向下，层次式和嵌入式设计方法。     

基于PCI总线的超大规模集成电路边界扫描测试系统

采用现场可编程门阵列（FPGA）和PCI9052目标接口芯片，实现了符合PCI总线规范和IEEE1149．1标准的超大规模集成电路边界扫描测试系统，具有对系统级、PCB级和芯片级集成电路进行边界扫描测试的功能，结构简单、速度快、工作可靠。     

基于典型集成电路的自动测试演示验证研究

当前国产超大规模集成电路测试设备由于技术指标、工作可靠性、制造成本等诸多因素,在国内尚未得到大规模的市场应用;从集成电路的测试需求出发,给出了自研超大规模集成电路测试系统的总体架构组成,重点开展了基于典型集成电路的自动测试演示验证方法研究,并以国产某型超大规模静态存储器芯片作为演示验证的对象,利用自研测试系统完成了基于静态存储器芯片的自动测试演示验证试验;试验结果表明基于典型集成电路的自动测试演示验证方法和过程合理可行,能够为国产新研超大规模集成电路测试系统推广前的自动测试演示验证提供参考,同时可结合不同类型集成电路的测试需求深入应用到各类集成电路的测试过程。     

超大规模数字系统控制器的验证实现

数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。     

超大规模数字系统控制器的验证实现

数字系统的验证是一个复杂的过程.结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法.该方法需要两组有限状态机的STG状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否.实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.     

智能集成电路快速测试系统

本文介绍了单片机构成的集成电路测试系统的硬件构成和编程技巧。该系统实现了测试时的自动转换量程，自动存储比较数据及显示测试结果等功能，量程范围和测试精度可由编程控制，测试方便。     

测试性验证试验中的故障样本综合加权分配方法

针对目前测试性验证试验中故障样本分配考虑因素单一,分配结果不太合理,影响测试性验证评估准确度的问题,文章综合考虑故障样本分配的影响因素,提出了故障样本分配的综合加权方法;首先,在分析影响因素的基础上,明确了综合加权分配算法;然后对影响系数和影响因素的权值进行确定;最后,通过在某系统测试性验证试验中的应用表明,该方法考虑因素更加全面,与基于故障率的按比例分层抽样分配方法相比较,故障样本分配结果更加合理,测试性验证评估结果更加接近系统测试性设计的真实水平,更具有工程应用价值.     

基于故障注入的测试性验证试验样本量确定方法

试验样本量的确定是基于故障注入的测试性验证试验中的关键技术之一。样本量的确定是为了解决样本充分性要求与故障不能穷尽注入的限制条件之间的矛盾。目前确定试验样本量的方法包括最小样本量估计法以及按照不同的试验方案所确定的方法。通过对这些方法的优点、缺点以及使用条件进行对比,总结出了样本量确定方法的研究现状以及目前工程上进行基于故障注入的测试性验证试验时的普遍情况,并且从矛盾的两方面展望了进一步研究的发展。     

实例研究-模糊芯片F200的设计、验证和测试

本文介绍模糊推理协处理器VLSI芯片F200的设计,给出了详细的芯片设计流程,并重点讨论了有关芯片的可测试性设计、设计验证和测试等问题。     

测试性试验验证中的故障注入系统框架研究

给出了一套完整的故障注入系统框架,该框架融合了硬件注入和软件注入两种方式、兼顾总线注入和等电势处注入的优点,经验证符合测试性试验验证的需求.     

实时数据处理系统自主闭环测试验证技术研究

本文针对实时数据处理系统人工测试验证模式中存在的效率低下、工作强度高、测试验证不充分等问题,提出了基于偏差模型的测量数据模拟方法,设计了基于经典误差分析方法的测试验证评估模型,构建了实时数据处理系统自主闭环测试验证体系,实现了实时数据处理系统测试验证的自动化.以航天测控实际应用场景开展实验,发现本文所提出的自主闭环测试...     

分布式系统综合集成测试技术

提出一套用于分布式系统综合集成测试技术的方案,以系统软件配置项为对象来实现典型应用场景的建模,通过解析顺序图文件实现基于应用场景模型的测试用例生成和测试流程的定义,建立分布式系统的测试开发、设计环境,提供了在实验室环境和实际运行环境下支持测试过程自动化协同执行的分布式测试框架技术,给出了性能测试的解决方案,在该平台下能够进行分布式系统的用例设计及多种测试类型的即插即用和测试结果的诊断分析.     

电控EGR阀综合性能测试系统的研制

电控EGR阀是废气再循环技术中重要部件,主要包括步进电机式、电磁式和直流电机式,目前针对电控EGR阀测试系统研究尚不充分;为了实现对电控EGR阀各项技术指标的测试,研制了一套电控EGR阀综合性能测试系统;系统由驱动单元、控制单元、测试单元组成;驱动单元以电控EGR阀驱动器为驱动核心,控制单元以可编程控制器为控制核心,测试单元由各项指标的测试模块组成;通过对各项技术指标测试工艺流程设计,系统实现了对电控EGR阀流量特性、内漏性能、响应时间和阀内位置感应器性能的自动测试;实验结果表明,该系统稳定可靠,各项参数的机器能力指数Cmk均超过1.67,满足技术要求;系统提供了一种针对电控EGR阀综合性能的测试方案,并成功应用于某企业电控EGR阀生产测试车间。     

办公自动化系统测试方法研究——以重庆交通大学OA系统为例

随着计算机的普及,办公自动化系统（以下简称OA系统）蓬勃发展,在机关、企事业单位等各行各业得到广泛应用。然而,由于办公自动化系统开发的高要求、多功能,使得OA系统的开发设计及编程变得越来越复杂。OA系统设计的复杂性进而造成OA系统测试变得更加繁琐且效率低下,那么,如何实现实现对OA系统的快速、有效测试就成为一个急需解决的问题。该文以重庆交通大学OA系统为例,采用功能测试、易用性测试、安全性测试、可靠性测试和压力测试5种测试方法对该系统进行方法进行了全面测试,取得了较好的效果。     

综合自动测试系统研究

为实现自动测试系统的高效率和低成本,依据产品设计、生产以及维护保障的需要,设计了一种综合自动测试系统,能够对不同机型进行测试,对同一机型的多台设备进行循环测试,提高了测试效率.介绍了该系统的主要设计思想,给出了系统结构,明确了系统设计中的关键技术,可指导系统的实际开发.测试结果表明:该系统自动化程度高,适应性强,提高了...     

基于云测试的自动测试系统体系架构研究

为了解决面临保障任务时,我军现有保障设备对武器装备故障检测周期过长以及测试资源在测试周期中被单个故障装备长时间占用的问题,对基于云测试(cloud testing)的自动测试系统(ATS,automatic test system)的体系架构进行了研究;以软件可移植性、硬件可互换性和系统互操作性为设计原则,对面向信号测试领域的云测试系统的体系架构进行了分析;在充分研究现有ATS的体系架构及其存在的突出问题的基础上,提出了基于云测试的ATS的软、硬件模型;为构建基于云测试的自动测试系统的开发和相关关键技术的研究提供了以有益的借鉴并打下了坚实的基础.     

软件测评能力成熟度模型研究

软件测评作为软件质量保证的重要手段,其重要性已越来越受到各方的高度关注。要在有限的时间、人员和经费等约束条件下,验证软件是否满足要求并尽可能多地发现其中存在的缺陷,就必须找到提高测评效率和质量的有效途径,为此不仅要研究软件测评的技术、方法和工具,还必须注重软件测评过程的管理和改进。本文在借鉴CMM、CMMI、TMMi、GJB5000、GJB5000A思想的基础上,提出了适用于软件第三方测评机构的软件测评能力成熟度模型,有助于第三方测评机构改进其测评过程、主管部门遴选测评机构。     

微处理器测试系统设计

为了保证微处理器芯片设计的正确性，需要进行大量的仿真和测试，因此需要一个微处理器测试系统，以实现微处理芯片功能的测试和调试．本文分析了微处理器测试系统的功能、组成以及设计中的关键问题．     

Windows文件系统自动化测试框架的研究与设计

随着软件规模的庞大,程序量和复杂度在不停地增长,测试工作变得越加艰巨,自动化软件测试可以在一定程度上减少测试开销,同时增加在有限时间内的测试。文章在单元测试框架CPPUnit的基础上开发了Windows文件系统的自动化测试框架,将CPPUnit从单元测试领域扩展到功能测试和非功能测试领域,设计的框架不仅可以支持文件系统的功能回归测试．而且可以支持文件文件系统的部分非功能测试,结果用XML文件保存并可在Web上浏览,论文详细的阐述了该自动化测试框架的结构以及设计模式,该设计思路对于研究文件系统自动化测试工具有一定的参考价值。