静态检查相关论文
随着软件系统的日益复杂,软件质量越来越受到人们的关注。由于软件设计和编码错误产生的软件缺陷使得软件产品不能满足用户需求或......
C／C++语言开发者追求的是语言的高效性、灵活性，为此在不同程度上忽略了语言的安全性。而且由于程序员能力上的不够或者粗心大意，严重......
本文针对C／C++程序中资源泄漏安全漏洞的静态检查进行了研究。为了达到查找C／C++程序中的安全漏洞，提高软件安全性的目的，本文设计并实......
本文主要研究函数依赖关系分析与异常安全模式构建。函数依赖关系分析是构建异常安全模式的基础，通过分析函数调用关系在程序中的各......
保持铁路线路设备质量高水平状态、是确保高速铁路运输安全的基本保证。线路设备质量的提高，需要进一步完善轨道状态、提高检测......
综合控制柜是集电源转换与控制、空调机组控制、照明控制、蓄电池欠压保护等功能单元于一体的智能型综合控制柜.本文对控制柜进行......
有些故障不能通过静态检查发现，而动态检查车辆可以更加准确地了解评估车辆的现实技术状况，对公正、全面、准确、科学地评估二手车价......
目前我国的二手车鉴定评估体系还处于初始状态，国内整个二手车鉴定评估行业还没有一套科学、统一、严谨的鉴定方法和评估理论。 ......
该文从水电站电气安装调试出发,介绍中小型水电站同期系统的静态、动态检查的步骤及常见故障,介绍模拟电压试验法并以事例辅以说明......
期刊
为了保证Windows环境下C/C++和Java软件产品质量,对C/C++代码和Java代码进行静态检查非常重要。以SVN作为软件配置管理工具,将重量......
例14 故障现象：无受话。分析检修：更换喇叭无效，检查LM386，发现第⑥脚无电源，检查MCU的SPK、MUTE为低电平（异常）。静态检查MCU第（36）脚至SPK......
文章提出了汽车空调系统“1”、“O”检查概念，并详细阐述了汽车空调“1”、“0”检查内容和方法。......
为了保证基于Linux与Vx Works操作系统的C/C＋＋软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与Clear Case作为配置管......
<正>2018年6月13日,一款名为"奔跑的兔子"的地铁隧道智能巡检机器人在"2018北京国际城市轨道交通展览会"上惊艳亮相,吸引了众多参......
本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示，针对Java多线程序研究，总结出了从多线Java程序自动生成安全相......
发动机气缸漏气,主要是由于缸隙过大、活塞环磨损、气门密封不严及缸垫损坏等原因引起。为进一步诊断漏气部位,减少不必要的拆卸,......
本文对C语言程序设计题的自动评分方法进行了研究，在比较结果的评分方法基础上，设计了动态评阅与静态评阅相结合的方法，使评分结果更......
对轨道几何形位静态检查项目设置的原理进行推导,建立了静态保养标准与动态平稳性之间的关系,为轨道几何形位静态检查项目管理值的......
异常作为C＋＋语言的错误处理机制,为C＋＋程序设计提供了很多便利.恰当使用异常可以提高程序的健壮性,但不当使用会导致程序运行效率降低,......
为了保证基于VxWorks平台的软件代码的质量,对软件源代码进行静态检查非常重要。以ClearCase作为配置管理工具,将重量级静态检查工......
在牛羊检疫过程中,临诊检查是牛羊检疫工作的重要组成部分。牛羊屠宰上市销售之前,对牛羊进行严格的临诊检查,能够及时发现牛羊群......
通过对机车轮乘制下新的检修形势的分析，提出了确立以机车检查为主、修理为辅，检、修分离，检查范围模块化等建议；只有将机车检查从检修......
软件产品交付用户使用后,需要解决软件产品在使用过程中的各类问题与缺陷。对于VXWORKS操作系统开发的软件产品,通常采用热补丁技......
铁路线路设备质量状态主要依据轨检车检查、机车车载式轨道动态监测系统和静态检查,这三种检查方式在数据处理与利用方面均存在不......
<正>随着人们物质生活水平的不断提高,食品安全问题越来越受到人们的重视,对农畜产品进行检疫,可以有效保证其质量安全,从而为人们......
本文从静态检查、动态检查和利用辅助仪器检查等方面对二手车的性能提供了技术鉴定方法,为二手车的交易提供了参考。......
根据铁路工务检测养修工作分离的需要,用GJY-H-3型轨道检查仪代替手工道尺对线路几何状态进行检查,分析对比了检查仪与手工道尺检......
随着社会信息化程度的不断提高,计算机应用能力的培训得到迅猛发展,考核中使用的传统手工阅卷已经逐渐走向计算机自动评阅。目前自......
多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程......
汽车在使用过程中,随着里程表读数的不断上升,加上机件的摩擦和自然力的作用,车辆本身的有形损耗和无形损耗也在不断加剧,且损耗差......
软件度量是针对软件开发项目、过程及产品进行数据定义、收集和分析的持续度量化过程;持续集成工具上的的构建工程每 天自动完成从......
牛羊检疫一般采取临诊检查的方法,该方法简单易行。临诊检查主要借助一些器械或者是凭借人的器官感知来对动物的排泄物、体温、脉......
为了保证基于Linux环境的C/C＋＋软件代码的质量,对软件源代码进行静态检查非常重要。以SVN作为配臵管理工具,将重量级静态检查工具Cov......
PC-Lint是一款历史悠久、使用广泛的静态代码检查工具。为了保证C/C＋＋软件产品的质量,许多软件开发组织都把PC-Lint检查作为代码走查......
针对铁路线路设备质量状态主要依据轨检车检查、机车车载式轨道动态监测系统检测和静态检查在数据处理与利用方面存在的不足,在充......
本文主要对我矿的MT-08发动机缸体穴蚀这一重大故障的发生原因、专业维修、故障点的判断和对此类故障点的管控措施的制定做了详细......
