静态测试

静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过...

资源总数
500

静态测试 热门资料

查看全部 500 份 →

该文介绍落锤动标装置的工作原理及其功能,阐明了传感器准静态绝对校准的定义、方法,按照传感器的压力量程,分别设计了相关模型段的重锤- 油缸组件,根据大量实验数据,建立各压力段的绝对校准模型,并且通过实验

2024-02-15 7 静态测试

软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上，将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中，给出了一种基于自动机理论的检测软件

2024-05-04 4 静态测试

·论文摘要：提供了一种低成本的数字图像处理解决方案。研究了以DSP为核心的高性能压缩和处理系统。系统使用CCD获取原始数字图像数据，采用快速算法实现了核心的二维DCT变换，经过编码后，在一个16位定点DSP上实现了快速图像压缩。实验证明，该...

2024-07-10 3 静态测试