静态检查相关论文
随着软件系统的日益复杂,软件质量越来越受到人们的关注。由于软件设计和编码错误产生的软件缺陷使得软件产品不能满足用户需求或......
C／C++语言开发者追求的是语言的高效性、灵活性，为此在不同程度上忽略了语言的安全性。而且由于程序员能力上的不够或者粗心大意，严重......
本文针对C／C++程序中资源泄漏安全漏洞的静态检查进行了研究。为了达到查找C／C++程序中的安全漏洞，提高软件安全性的目的，本文设计并实......
本文主要研究函数依赖关系分析与异常安全模式构建。函数依赖关系分析是构建异常安全模式的基础，通过分析函数调用关系在程序中的各......
保持铁路线路设备质量高水平状态、是确保高速铁路运输安全的基本保证。线路设备质量的提高，需要进一步完善轨道状态、提高检测......
综合控制柜是集电源转换与控制、空调机组控制、照明控制、蓄电池欠压保护等功能单元于一体的智能型综合控制柜.本文对控制柜进行......
有些故障不能通过静态检查发现，而动态检查车辆可以更加准确地了解评估车辆的现实技术状况，对公正、全面、准确、科学地评估二手车价......
目前我国的二手车鉴定评估体系还处于初始状态，国内整个二手车鉴定评估行业还没有一套科学、统一、严谨的鉴定方法和评估理论。 ......
该文从水电站电气安装调试出发,介绍中小型水电站同期系统的静态、动态检查的步骤及常见故障,介绍模拟电压试验法并以事例辅以说明......
期刊
