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

静态测试

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

    pclint 静态测试工具 使用文档 pclint 静态测试工具 使用文档 pclint 静态测试工具 使用文档

    标签: pclint 静态测试 文档

    上传时间: 2017-04-29

    上传用户:秦莞尔w

  • 89C51-32只灯测试程序

    32灯测试程度,P0,P1,P2,P3分对每个脚静态测试

    标签: 89 51 32 测试程序

    上传时间: 2019-06-14

    上传用户:baiwcel

  • 无速度传感器矢量控制系统及参数辨识.rar

    该文主要研究的是感应电动机无速度传感器矢量控制变频调速及参数辨识.首先,利用坐标变换的方法推导出感应电动机在两相殂止和两相同步旋转坐标系中的数学模型,并对电机动态特性进行了仿真.用矢量控制理论和电压解耦的方法建立了转差型电压乔量解耦控制系统.利用神经网络的方法和模型参考自适应(MRAS)的方法实现转速辨识,仿真结果验证了辨识方法是可行的.利用系统固有了硬件资源(如PWM逆变器、微机控制系统)发出一定规则的脉冲实现电动机参数的静态测试,仿真结果表明它能为矢量控制系统提供较高精度的电机参数,具有一定的实际意义.为了实现电机转速高速响应的目标,用大规模数字信号处理器DSP产现系统控制,文中给出了控制思想.

    标签: 速度传感器 矢量控制系统 参数辨识

    上传时间: 2013-04-24

    上传用户:84425894

  • 保密通信中RS编解码的FPGA实现

    由于信道中存在干扰,数字信号在信道中传输的过程中会产生误码.为了提高通信质量,保证通信的正确性和可靠性,通常采用差错控制的方法来纠正传输过程中的错误.本文的目的就是研究如何通过差错控制的方法以提高通信质量,保证传输的正确性和可靠性.重点研究一种信道编解码的算法和逻辑电路的实现方法,并在硬件上验证,利用码流传输的测试方法,对设计进行测试.在以上的研究基础之上,横向扩展和课题相关问题的研究,包括FPGA实现和高速硬件电路设计等方面的研究. 纠错码技术是一种通过增加一定的冗余信息来提高信息传输可靠性的有效方法.RS码是一种典型的纠错码,在线性分组码中,它具有最强的纠错能力,既能纠正随机错误,也能纠正突发错误.在深空通信,移动通信以及数字视频广播等系统中具有广泛的应用,随着RS编码和解码算法的改进和相关的硬件实现技术的发展,RS码在实际中的应用也将更加广泛. 在研究中,对所研究的问题进行分解,集中精力研究课题中的重点和难点,在各个模块成功实现的基础上,成功的进行系统组合,协调各个模块稳定的工作. 在本文中的EDA设计中,使用了自顶向下的设计方法,编解码算法每一个子模块分开进行设计,最后在顶层进行元件例化,正确实现了编码和解码的功能. 本文首先介绍相关的数字通信背景;接着提出纠错码的设计方案,介绍RS(31,15)码的编译码算法和逻辑电路的实现方法,RTL代码编写和逻辑仿真以及时序仿真,并讨论了FPGA设计的一般性准则以及高速数字电路设计的一些常用方法和注意事项;最后设计基于FPGA的硬件电路平台,并利用静态和动态的方法对编解码算法进行测试. 通过对编码和解码算法的充分理解,本人使用Verilog HDL语言对算法进行了RTL描述,在Altera公司Cyclone系列FPGA平台上面实现了编码和解码算法. 其中,编码的最高工作频率达到158MHz,解码的最高工作频率达到91MHz.在进行硬件调试的时候,整个系统工作在30MHz的时钟频率下,通过了硬件上的静态测试和动态测试,并能够正确实现预期的纠错功能.

    标签: FPGA 保密通信 RS编解码

    上传时间: 2013-07-01

    上传用户:liaofamous

  • 基于FPGA的数字视频信号发生器

    随着数字技术的高速发展,越来越多的针对数字视频压缩、传送、显示等的设备涌入市场。要从这些良莠不齐的产品中挑选出令人满意的商品,一套良好的数字视频测试设备就必不可少。然而,现阶段大多数数字视频信号源都存在不同的缺点,如测试图像种类太少、没有动态测试源、缺乏专用测试信号等。为有效克服这些缺陷,作者设计并开发了一套基于FPGA的数字视频信号发生器。整个系统包括硬件平台和图像格式转换软件两大部分。硬件平台本身即为独立的信号发生器,可以生成多种测试图像。配备了图像格式转换软件,就可以实现硬件平台从PC机接收各种静态测试图像、动态测试序列,不断更新测试图像库。整个系统具有良好的硬件体系结构、便捷的输入接口,稳定的信号输出,同时操作灵活、方便,易于升级更新。 在系统的开发过程中,使用了多种硬件、软件开发工具,如PROTEL DXP、ISE、MODEL SIM、MATLAB、C#.NET等。由于软硬件调试均由同一人完成,因此整个系统具备良好的统一性和兼容性。 另外,作者还研究并设计了一种针对H.264编解码器压缩损伤的测试信号。评估一个编码器的性能可采用主观评价或客观评价两种方法。其中主观评价最为直接、有效。本文在依托主观评价方法的基础上,结合客观参数的指导性,研究并设计一种通过人眼就可以方便的观测到实际存在的压缩损伤的测试信号,以达到直接对编解码器性能进行比较的目的。

    标签: FPGA 数字视频 信号发生器

    上传时间: 2013-07-19

    上传用户:cxl274287265

  • 认识单片机控制器

    • 相关知识点复习• 初步认识空调窗机控制器ƒ空调器工作原理ƒ用于教学的窗机的功能ƒ控制器电路原理图ƒ控制板实物ƒ电路定性静态测试ƒ故障板测试

    标签: 单片机 控制器

    上传时间: 2013-10-19

    上传用户:exxxds

  • 软件测试的计划与管理-分析软件测试的本质、软件静态分析的作用、软件测试的质量和软件测试的可信度将有利于组织者在更高层次上计划和管理软件测试。

    软件测试的计划与管理-分析软件测试的本质、软件静态分析的作用、软件测试的质量和软件测试的可信度将有利于组织者在更高层次上计划和管理软件测试。

    标签: 软件测试 测试 分析软件

    上传时间: 2014-01-06

    上传用户:qq521

  • 介绍了模拟数字转换器静态和动态参数测试技术以及实现测试的硬件平台及软件 环境

    介绍了模拟数字转换器静态和动态参数测试技术以及实现测试的硬件平台及软件 环境,采用斜波或纯正弦信号作为输入信号,用数字集成电路测试系统控制采样,并将模拟数字 转换后的数据存储,利用测试系统内的软件将存储数据进行变换,来获得模拟数字转换器的静态 参数和动态参数测试结果。该测试方法具有可编程的优点,是非常适用的测试方法。

    标签: 模拟数字转换器 动态参数 测试技术 测试

    上传时间: 2013-11-30

    上传用户:gaome

  • LED静态屏测试程序。通过隔行、隔列、斜线显示

    LED静态屏测试程序。通过隔行、隔列、斜线显示,检验LED显示屏是否出现故障。

    标签: LED 测试程序

    上传时间: 2013-12-24

    上传用户:cccole0605

  • 绿色介面中英文生成静态版,经小递测试

    绿色介面中英文生成静态版,经小递测试,绝无限制。是智能企业网站建设的道选!!谢谢支持。小弟会继续努力的

    标签: 中英文 测试

    上传时间: 2014-05-28

    上传用户:jing911003