pclint 静态测试工具 使用文档 pclint 静态测试工具 使用文档 pclint 静态测试工具 使用文档
pclint 静态测试工具 使用文档 pclint 静态测试工具 使用文档 pclint 静态测试工具 使用文档...
静态测试技术资料
📦 资源总数：13533
💻 源代码：24598
静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。
🔥 静态测试热门资料
查看全部13533个资源 »89C51-32只灯测试程序
32灯测试程度，P0,P1,P2,P3分对每个脚静态测试。...
无速度传感器矢量控制系统及参数辨识.rar
该文主要研究的是感应电动机无速度传感器矢量控制变频调速及参数辨识.首先,利用坐标变换的方法推导出感应电动机在两相殂止和两相同步旋转坐标系中的数学模型,并对电机动态特性进行了仿真.用矢量控制理论和电压解耦的方法建立了转差型电压乔量解耦控制系统.利用神经网络的方法和模型参考自适应(MRAS)的方法实现转...
保密通信中RS编解码的FPGA实现
由于信道中存在干扰,数字信号在信道中传输的过程中会产生误码.为了提高通信质量,保证通信的正确性和可靠性,通常采用差错控制的方法来纠正传输过程中的错误.本文的目的就是研究如何通过差错控制的方法以提高通信质量,保证传输的正确性和可靠性.重点研究一种信道编解码的算法和逻辑电路的实现方法,并在硬件上验证,利...
基于FPGA的数字视频信号发生器
随着数字技术的高速发展，越来越多的针对数字视频压缩、传送、显示等的设备涌入市场。要从这些良莠不齐的产品中挑选出令人满意的商品，一套良好的数字视频测试设备就必不可少。然而，现阶段大多数数字视频信号源都存在不同的缺点，如测试图像种类太少、没有动态测试源、缺乏专用测试信号等。为有效克服这些缺陷，作者设计并...
💻 静态测试源代码
查看更多 »📂 静态测试资料分类