自动化技术在Klocwork测试中的应用

针对软件测试过程中存在着大量重复性工作的现状,将软件工程中的自动化思想和Klocwork静态测试工具结合起来,规范了软件静态测试流程。运用持续集成的原理,设计并实现了C/C++项目的Klocwork批量自动化测试工具。介绍了在Windows环境下的测试脚本设计、实现、应用实践及实施经验法则。测试脚本可定制和重用以适应不同项目的需要。     

CMOS电路IDDQ测试电路设计

针对CMOS集成电路的故障检测,提出了一种简单的IDDQ静态电流测试方法,并对测试电路进行了设计。所设计的IDDQ电流测试电路对CMOS被测电路进行检测,通过观察测试电路输出的高低电平可知被测电路是否存在物理缺陷。测试电路的核心是电流差分放大电路,其输出一个与被测电路IDDQ电流成正比的输出。测试电路串联在被测电路与地之间,以检测异常的IDDQ电流。测试电路仅用了7个管子和1个反相器,占用面积小,用PSpice进行了晶体管级模拟,实验结果表明了测试电路的有效性。     

基于加速度传感器AIS226DS的制动性能测试仪的研制

在分析国内外现有便携式制动性能测试仪的特点和功能的基础上,研制了一种基于数字加速度传感器AIS226DS的制动性能测试仪。文中主要介绍了系统各部分硬件设计以及软件总体结构设计。利用单片机完成加速度传感器输出值对时间的积分算法,实现了对被测车辆的制动性能测试。考虑到便携仪器低功耗需求,选用C8051f585单片机和CAT6219电源芯片,降低了整机功耗。经静态校准和实车路试测试,该测试仪的测量精度高、稳定性好。     

提高软件测试的工作效率

主要阐述了通过静态分析提高测试效率的办法，旨在提高大型软件开发项目的开发效率和软件的质量。我们通过分析一些软件在开发过程中测试程序的应用情况，发现动态测试运用得比较好，而静态测试的运用情况却不太理想。但是，在既要提高软件开发产品的质量，又不能增加软件开发项目的开发时间和难度的前提下，较好的处理办法是充分地发挥和使用静态测试工具。为此，在本文中提出了一个方案，来说明怎样在软件测试过程中引进静态分析工具以及建立一个测试过程．使得静态分析工具能够在检测程序中得到最大程度的应用．进而提高程序测试的工作效率。     

一种集成电路静态老化测试的输入矢量选取方法

在集成电路静态老化测试中,对被测电路持续施加特殊的固定测试矢量,使被测电路产生较大的漏电功耗,有利于其早期失效的发生,获得更好地老化效果.提出一种产生最大漏电功耗的测试矢量选取方法.在被测电路中设置合适的固定故障,通过ATPG方法获取较小的备选测试矢量集合.基于门电路的故障相关输入状态,设计了一种度量指标,可用于辅助在备选测试矢量集合中搜索目标矢量.该度量指标与电路漏电功耗总体上为正相关关系,可有效降低误选测试矢量的风险.     

模拟集成电路的边界扫描可测性设计方案

提出了一种基于边界扫描技术的模拟集成电路内建自测试方案。该方案依照IEEE 1149.4边界扫描测试标准, 在添加极少电路元件的基础上, 增加了电路性能测试单元(FTM), 能够充分利用电路系统中已有数模混合资源, 通过控制器内部向被测电路施加激励, 完成模拟集成电路的功能性测试。采用Cyclone II系列芯片EP2C35F672C8实现测试系统设计, 并以模拟集成滤波芯片MAX292为被测核心电路展开实验, 其频率特性的测试结果表明了该测试方案的正确性和系统测试的有效性。     

C++语言中面向对象程序设计的表示法

C 语言的面向对象程序设计模式实际上是"对象=数据结构 算法","程序=对象 … 对象"。统一建模语言(UML)和问题分析图(PAD)被用于描述C 语言的面向对象程序,其中,在逻辑视图的静态结构中,类图描述了类的申明;在逻辑视图动态运行中,用顺序图描述了类的交互;PAD图描述了执行过程中的程序流程。     

基于STM32的继电器自动控制系统

针对如何在生产中实现自动化测试这一问题,提出了一种基于STM32的继电器自动控制系统.首先,使用C语言编写自动控制程序,该程序控制单片机运行,同时负责控制PC端与被测对象的之间通信.其次,使用图形化编程软件编译监控界面,使测试结果的判断变得一目了然.最后,根据被测对象的不同需求,将控制电路的继电器出口与被测装置相连进行...     

数字宽带网络信号的时间分布特征

传统的测试，描述被测对象品质主要是通过对其媒介的物理特性描述，信号的品质描述、最终业务质量的主客观评价三个方面给出性能评价指标．多使用单一的一维或二维测试域来描述。这对于稳态传输系统是有效的。如广播式业务，对于宽带数字网络这样的随机系统，静态的方法不可避免地带来局限性。     

基于过零点检测的高分辨率DAC静态测试方法研究

受到现有测试设备的限制,高精度的D/A转换器(数模转换器)测试一直是混合信号测试中的难点,本文探讨了高精度数模转换器(DAC)测试的一种新方法.该方法通过在微弱被测电平上叠加参考正弦波,测试叠加后波形的过零点在时域上的分布情况,以了解DAC的静态特性参数.该方法的优点在于充分利用了现有ADC(模数转换器)的速度优势,原...     

阵面电源自动测试技术研究

阵面电源作为相控阵雷达的主要部件之一,因其使用数量较多,为提高测试效率和精度,需要建立能够完成多项性能指标测试的阵面电源自动测试系统。介绍了阵面电源自动测试系统的组成及原理,系统采用NI公司的Labview虚拟仪器软件平台集中控制电源、负载和测试仪表,自动进行电源静态特性、动态特性以及电磁兼容和热特性测试,并基于数据库对测试数据进行管理和后处理。     

用户自动签约5G SA方案

5G SA网络商用部署后,如何尽可能无感知地引导用户签约并使用SA网络是运营商面临的一个难题.为解决此问题,首先分析了引导用户自动接入SA网络的两种主要思路,通过比较分析,提出基于数据库仿真的方案只是一种过渡方案的观点,随后本文重点探讨了基于数据库割接的SA自动签约方案,同时还对后续如何进一步优化提出了建设性意见.本文...     

基于数据驱动的自动化测试的研究和实现

本文介绍了基于数据驱动的自动化测试以及其实现方法,包括软件是否适合自动化测试的可行性分析;开发测试前的需求分析;基于数据驱动的测试框架的实现以及其维护和扩充。     

磁控管雷基图快速自动测绘技术

本文讨论微波磁控管负载特性曲线即雷基图的快速自动测绘技术。文中提出一种全新的测试原理与方案来实现微波负载阻抗的自动扫描，同时采用了预先设置功率门和频率门的方法实时采集测试数据，使这些数据在等值线生成过程中的利用率达到百分之百，整个测试时间小于８ｍｉｎ。     

PyFuzzer：自动化高效内存模糊测试方法

针对传统模糊测试（fuzz testing）耗时、无法绕过有效性验证等缺陷,提出了基于快速内存模糊测试,综合运用静态分析和动态跟踪技术的测试工具—PyFuzzer。整个过程高度自动化,通过WarFTPD、Serv-U等程序进行测试,并和4n FTP Fuzzer进行对比,结果表明PyFuzzer能有效地发掘二进制程序中的各种漏洞,极大地提高了模糊测试的效率。     

自动切割机图像自动对焦

以全自动切割机为研究对象,针对图像自动对焦模块,通过在时域和频域对图像的分析和解释,不仅阐述了图像的视觉特性,而且证明了视觉梯度误差的存在性。通过分析与研究目前正在探索和发展的4种图像清晰度算法的特点,运用Visual C++6.0的代码,计算出了算法的时间和空间复杂度,并给出算法优劣的比较。最后经过测量分析全自动切割机的实际数据,得出了较为合适的清晰度算法。     

UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs

This paper presents UA²TPG, a static analysis tool for the untestability proof and automatic test pattern generation for SEUs in the configuration memory of SRAM-based FPGA systems. The tool is based on the model-checking verification technique. An accurate fault model for both logic components and routing structures is adopted. Experimental results show that many circuits have a significant number of untestable faults, and their detection enables more efficient test pattern generation and on-line testing. The tool is mainly intended to support on-line testing of critical components in FPGA fault-tolerant systems.     

激光自动准直的工件定位系统

本文介绍了六自由度定位用的激光自动准直系统和自动调平系统。讨论了系统的静态准确度,用计算机分析系统稳定性以及稳定性和静态准确度的矛盾。