虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

静态测试

静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析,找出欠缺和可疑之处,例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错,并为测试用例选取提供指导。
  • PCB故障诊断路内测试系统的研究.rar

    电子功能模件是机电产品的基本组成部分,其水平高低直接决定整个机电产品的工作质量。当前PCB自动测试系统大多为欧美产品,价格相当昂贵,远远超出我国中小电子企业的承受能力。为了提高我国中小企业电子设备的竞争力,本课题研发了适合于我国中小企业、价格低廉、使用方便的PCB路内测试系统。 本文首先详细介绍了PCB各种检测技术的原理和特点,然后根据本课题面向的用户群和他们对PCB测试的需求,组建PCB内测试系统。本系统基于虚拟仪器设计思想,以PCB上模拟电子器件、组合逻辑电路及由其构成的功能模块等为被测对象,包括路内测试仪、逻辑分析单元、信号发生器、高速数据采集器、多路通道扫描器及针床。其中:路内测试仪对不同被测对象选择不同测试方法,采用电位隔离法实现了被测对象与PCB上其他元器件的隔离,并采用自适应测试方法提高测试结果的准确度。逻辑分析单元主要采用反向驱动技术测试常见的组合逻辑电路。信号发生器能同时产生两路正弦波、方波、斜波、三角波等常用波形。数据采集器能同时采集四路信号,以USB接口与主机通讯。多路通道扫描器采用小型继电器阵列来实现,可扩展性好。针床采用新型夹具,既保证接触性能,又不至破坏触点。 实践表明,本系统能对常用电子功能模件进行自动测试,基本达到了预期目标。

    标签: PCB 故障诊断 测试系统

    上传时间: 2013-06-06

    上传用户:klds

  • 基于ARM9无线图像采集系统的研究与开发.rar

    上海交通大学工程硕士学位论文 本文首先对视频监控系统的现状做了简单分析, 并介绍了本系统 中主要涉及到的相关技术,包括嵌入式技术、图像压缩技术、视频压 缩技术和移动数据通信技术。具备了一定的理论基础后,提出本系统 的总体设计方案,明确需要实现的目标功能。然后,围绕目标方案详 细介绍了具体实现方法,包括硬件总体结构、嵌入式 Linux的移植、 USB 摄像头驱动移植、Video4Linux 编程方法、网络传输模块的开发、 流媒体系统建立、WAP 程序的开发等。最后给出了在现网测试环境中 调测结果。 本系统通过嵌入式芯片实现静态图像及视频的采集、编码,并将 采集压缩编码后的数据传送到视频中心服务器, 在2G/3G 移动终端中 以 WAP 或流媒体客户端方式直接查看远程图像。 系统最大的特点是采 用了分布式架构的 C/S(采集端至视频中心服务器)和 B/S(WAP 服 务器至移动终端)结构便于系统的动态扩展;同时也借助了 WAP 技术 实现了传统视频监控的无线化。

    标签: ARM9 无线图像 采集系统

    上传时间: 2013-07-05

    上传用户:cuibaigao

  • 基于FPGA的ADC并行测试方法研究.rar

    高性能ADC产品的出现,给混合信号测试领域带来前所未有的挑战。并行ADC测试方案实现了多个ADC测试过程的并行化和实时化,减少了单个ADC的平均测试时间,从而降低ADC测试成本。 本文实现了基于FPGA的ADC并行测试方法。在阅读相关文献的基础上,总结了常用ADC参数测试方法和测试流程。使用FPGA实现时域参数评估算法和频域参数评估算法,并对2个ADC在不同样本数条件下进行并行测试。 通过在FPGA内部实现ADC测试时域算法和频域算法相结合的方法来搭建测试系统,完成音频编解码器WM8731L的控制模式接口、音频数据接口、ADC测试时域算法和频域算法的FPGA实现。整个测试系统使用Angilent 33220A任意信号发生器提供模拟激励信号,共用一个FPGA内部实现的采样时钟控制模块。并行测试系统将WM8731.L片内的两个独立ADC的串行输出数据分流成左右两通道,并对其进行串并转换。然后对左右两个通道分别配置一个FFT算法模块和时域算法模块,并行地实现了ADC参数的评估算法。 在样本数分别为128和4096的实验条件下,对WM8731L片内2个被测.ADC并行地进行参数评估,被测参数包括增益GAIN、偏移量OFFSET、信噪比SNR、信号与噪声谐波失真比SINAD、总谐波失真THD等5个常用参数。实验结果表明,通过在FPGA内配置2个独立的参数计算模块,可并行地实现对2个相同ADC的参数评估,减小单个ADC的平均测试时间。 FPGA片内实时评估算法的实现节省了测试样本传输至自动测试机PC端的时间。而且只需将HDL代码多次复制,就可实现多个被测ADC在同一时刻并行地被评估,配置灵活。基于FPGA的ADC并行测试方法易于实现,具有可行性,但由于噪声的影响,测试精度有待进一步提高。该方法可用于自动测试机的混合信号选项卡或测试子系统。 关键词:ADC测试;并行;参数评估;FPGA;FFT

    标签: FPGA ADC 并行测试

    上传时间: 2013-07-11

    上传用户:tdyoung

  • 基于FPGA的RS255,223编解码器的高速并行实现.rar

    随着信息时代的到来,用户对数据保护和传输可靠性的要求也在不断提高。由于信道衰落,信号经信道传输后,到达接收端不可避免地会受到干扰而出现信号失真。因此需要采用差错控制技术来检测和纠正由信道失真引起的信息传输错误。RS(Reed—Solomon)码是差错控制领域中一类重要的线性分组码,由于它编解码结构相对固定,性能强,不但可以纠正随机差错,而且对突发错误的纠错能力也很强,被广泛应用在数字通信、数据存储系统中,以满足对数据传输通道可靠性的要求。因此设计一款高性能的RS编解码器不但具有很大的应用意义,而且具有相当大的经济价值。 本文首先介绍了线形分组码及其子码循环码、BCH码的基础理论知识,重点介绍了BCH码的重要分支RS码的常用编解码算法。由于其算法在有限域上进行,接着介绍了有限域的有关理论。基于RS码传统的单倍结构,本文提出了一种八倍并行编码及九倍并行解码方案,并用Verilog HDL语言实现。其中编码器基于传统的线性反馈移位寄存器除法电路并进行八倍并行扩展,译码器关键方程求解模块基于修正的欧几里德算法设计了一种便于硬件实现的脉动关键方程求解结构,其他模块均采用九倍并行实现。由于进行了超前运算、流水线及并行处理,使编解码的数据吞吐量大为提高,同时延时更小。 本论文设计了C++仿真平台,并与HDL代码结果进行了对比验证。Verilog HDL代码经过modelsim仿真验证,并在ALTERA STRATIX3 EP3SL15OF1152C2 FPGA上进行综合验证以及静态时序分析,综合软件为QUATURSⅡ V8.0。验证及测试表明,本设计在满足编解码基本功能的基础上,能够实现数据的高吞吐量和低延时传输,达到性能指标要求。本论文在基于FPGA的RS(255,223)编解码器的高速并行实现方面的研究成果,具有通用性、可移植性,有一定的理论及经济价值。

    标签: FPGA 255 223

    上传时间: 2013-04-24

    上传用户:思琦琦

  • 基于FPGA的小型CPU中通信协议的研究及IPCore的开发.rar

    FPGA作为新一代集成电路的出现,引起了数字电路设计的巨大变革。随着FPGA工艺的不断更新与改善,越来越多的用户与设计公司开始使用FPGA进行系统开发,因此,PFAG的市场需求也越来越高,从而使得FPGA的集成电路板的工艺发展也越来越先进,在如此良性循环下,不久的将来,FPGA可以主领集成电路设计领域。正是由于FPGA有着如此巨大的发展前景与市场吸引力,因此,本文采用FPGA作为电路设计的首选。 @@ 随着FPGA的开发技术日趋简单化、软件化,从面向硬件语言的VHDL、VerilogHDL设计语言,到现在面向对象的System Verilog、SystemC设计语言,硬件设计语言开始向高级语言发展。作为一个软件设计人员,会很容易接受面向对象的语言。现在软件的设计中,算法处理的瓶颈就是速度的问题,如果采用专用的硬件电路,可以解决这个问题,本文在第一章第二节详细介绍了软硬结合的开发优势。另外,在第一章中还介绍了知识产权核心(IP Core)的发展与前景,特别是IP Core中软核的设计与开发,许多FGPA的开发公司开始争夺软核的开发市场。 @@ 数字电路设计中最长遇到的就是通信的问题,而每一种通信方式都有自己的协议规范。在CPU的设计中,由于需要高速的处理速度,因此其内部都是用并行总线进行通信,但是由于集成电路资源的问题,不可能所有的外部设备都要用并行总线进行通信,因此其外部通信就需要进行串行传输。又因为需要连接的外部设备的不同,因此就需要使用不同的串行通信接口。本文主要介绍了小型CPU中常用的三种通信协议,那就是SPI、I2C、UART。除了分别论述了各自的通信原理外,本文还特别介绍了一个小型CPU的内部构造,以及这三个通信协议在CPU中所处的位置。 @@ 在硬件的设计开发中,由于集成电路本身的特殊性,其开发流程也相对的复杂。本文由于篇幅的问题,只对总的开发流程作了简要的介绍,并且将其中最复杂但是又很重要的静态时序分析进行了详细的论述。在通信协议的开发中,需要注意接口的设计、时序的分析、验证环境的搭建等,因此,本文以SPI数据通信协议的设计作为一个开发范例,从协议功能的研究到最后的验证测试,将FPGA 的开发流程与关键技术等以实例的方式进行了详细的论述。在SPI通信协议的开发中,不仅对协议进行了详细的功能分析,而且对架构中的每个模块的设计都进行了详细的论述。@@关键词:FPGA;SPI;I2C;UART;静态时序分析;验证环境

    标签: IPCore FPGA CPU

    上传时间: 2013-04-24

    上传用户:vvbvvb123

  • JPEG编解码的FPGA仿真研究.rar

    随着图像声纳技术的发展,对于大数据量图像数据的压缩成为必须要解决的一个课题。本文结合水声图像特点,应用VerilogHDL 语言在Quartus Ⅱ软件环境下设计实现了JPEG基本模式编解码器。 JPEG是国际标准化组织(ISO)和CCITT 联合制定的静态图像的压缩标准,是目前最常使用的图像存储格式。 论文首先介绍了JPEG编码的基本原理,然后根据编码的流程从总体结构上对JPEG编码器进行了模块划分。对于2D—DCT变换采用了行列分离的快速算法;针对水声图像特点采用了DC系数直接编码。以一幅真实的水声图像作为JPEG编码器的测试输入,对编码器输出的码流经过软件编程后正确显示出了JPEG图片,并分析了压缩图像效果和质量。 JPEG解码器采用了和JPEG编码器对称的模块划分,2D—IDCT变换同样采用了行列分离的快速算法;根据JPEG标准中哈夫曼编码的特点,哈夫曼解码采用了浓缩哈夫曼表法,降低了存储资源,提高了解码速度。对经本文设计的JPEG解码器解码后的图片和原图片进行了比较分析,结果表明本设计满足要求。

    标签: JPEG FPGA 编解码

    上传时间: 2013-05-25

    上传用户:sn2080395

  • 基于FPGA芯片的功能仿真平台构建及静态时序分析.rar

    基于FPGA芯片的功能仿真平台构建及静态时序分析

    标签: FPGA 芯片 功能仿真

    上传时间: 2013-06-28

    上传用户:qilin

  • FPGA测试方法研究.rar

    FPGA(Field Programmable Gate Arrays)是目前广泛使用的一种可编程器件,FPGA的出现使得ASIC(Application Specific Integrated Circuits)产品的上市周期大大缩短,并且节省了大量的开发成本。目前FPGA的功能越来越强大,满足了目前集成电路发展的新需求,但是其结构同益复杂,规模也越来越大,内部资源的种类也R益丰富,但同时也给测试带来了困难,FPGA的发展对测试的要求越来越高,对FPGA测试的研究也就显得异常重要。 本文的主要工作是提出一种开关盒布线资源的可测性设计,通过在FPGA内部加入一条移位寄存器链对开关盒进行配置编程,使得开关盒布线资源测试时间和测试成本减少了99%以上,而且所增加的芯片面积仅仅在5%左右,增加的逻辑资源对FPGA芯片的使用不会造成任何影响,这种方案采用了小规模电路进行了验证,取得了很好的结果,是一种可行的测试方案。 本文的另一工作是采用一种FPGA逻辑资源的测试算法对自主研发的FPGA芯片FDP250K的逻辑资源进行了严格、充分的测试,从FPGA最小的逻辑单元LC开始,首先得到一个LC的测试配置,再结合SLICE内部两个LC的连接关系得到一个SLICE逻辑单元的4种测试配置,并且采用阵列化的测试方案,同时测试芯片内部所有的逻辑单元,使得FPGA内部的逻辑资源得完全充分的测试,测试的故障覆盖率可达100%,测试配置由配套编程工具产生,测试取得了完满的结果。

    标签: FPGA 测试 方法研究

    上传时间: 2013-06-11

    上传用户:唐僧他不信佛

  • 基于FPGA的JPEG压缩编码的研究与实现.rar

    随着移动终端、多媒体、通信、图像扫描技术的发展,图像应用日益广泛,压缩编码技术对图像处理中大量数据的存储和传输至关重要。同时, FPGA单片规模的不断扩大,在FPGA芯片内实现复杂的数字信号处理系统也成为现实,因此采用FPGA实现图像压缩已成为一种必然趋势。JPEG静态图像压缩标准应用非常广泛,是图像压缩中主要的标准之一。研究JPEG图像压缩在FPGA上的实现,具有广阔的应用背景。 论文从实际工程应用出发,通过设计图像压缩的IP核,完成JPEG压缩算法在FPGA上的实现。首先阐述JPEG基本模式的压缩编码的标准,然后在设计规划过程中,采用SOC的设计思想,给出整个系统的内部结构、层次划分,对各个模块的HDL实现进行详细的描述,最后完成整体验证。方案采用了IP核复用的设计技术,基于Xilinx公司本身的IP核,进行了再次开发。在研究JPEG标准的核心算法DCT的基础上,加以改进,设计了适合器件结构的基于DA算法的DCT变换的IP核。通过结构和算法的优化,提高了速度,减少占用过多的片内资源。 设计基于Xilinx的Virtex- II系列的FPGA的硬件平台,在ISE7.1中编译综合,最后通过Modelsim仿真验证。分辨率为352×288大小的源图像,在不同的压缩等级设置下,均测试通过。仿真验证的结果表明:基于FPGA的JPEG压缩编码占用较少的硬件资源,可在较高的工作频率下运行,设计在速度和资源利用率方面达到了较优的状态,能够满足一般图像压缩的要求。 整个设计可以作为单独的JPEG编码芯片也可以作为IP核添加到其他系统中去,具有一定的使用价值。

    标签: FPGA JPEG 压缩编码

    上传时间: 2013-04-24

    上传用户:nairui21

  • FPGA的测试

    随着FPGA(FieldProgrammableGateArray)器件的应用越来越广泛且重要,FPGA的测试技术也得到了广泛重视和研究。基于FPGA可编程的特性,应用独立的测试(工厂测试)需要设计数个测试编程和测试向量来完成FPGA的测试,确保芯片在任何用户可能的编程下都可靠工作。 本论文正是针对上述问题,以XilinxXC4000E系列FPGA为主要的研究对象,在详细研究FPGA内部结构的基础上,基于“分治法”的基本思路对FPGA的测试理论和方法做了探索性研究。 研究完成了对可编程逻辑模块(ConfigrableLogicBlock)及其子模块的测试。主要基于“分治法”对CLB及其子模块进位逻辑(CLM)、查找表(LUT)的RAM工作模式等进行了测试划分,分别实现了以“一维阵列”为基础的测试配置和测试向量,以较少了测试编程次数完成了所有CLB资源的测试。 研究完成了对互连资源(ConfigrableInterconnectResource)的测试。基于普通数据总线的测试方法,针对互连资源主要由线段和NMOS开关管组成的特点及其自身的故障模型,通过手工连线实现测试配置,仅通过4次编程就实现了对其完全测试。 在测试理论研究的基础上,我们开发了能对FPGA器件进行实际测试的测试平台。基于硬件仿真器的测试平台通过高速光纤连接工作站上的EDA仿真软件,把软件语言描述的测试波形通过硬件仿真器转化为真实测试激励,测试响应再读回到仿真软件进行观察,能够灵活、快速的完成FPGA器件的配置和测试。该平台在国内首次实现了软硬件协同在线测试FPGA。在该平台支持下,我们成功完成了对各军、民用型号FPGA的测试任务。 本研究成果为国内自主研发FPGA器件提供了有力保障,具有重大科研与实践价值,成功解决了国外公司在FPGA测试技术上的垄断问题,帮助国产FPGA器件实现完全国产化。

    标签: FPGA 测试

    上传时间: 2013-05-17

    上传用户:wangyi39