静态检查相关论文
随着软件系统的日益复杂,软件质量越来越受到人们的关注。由于软件设计和编码错误产生的软件缺陷使得软件产品不能满足用户需求或......
C/C++语言开发者追求的是语言的高效性、灵活性,为此在不同程度上忽略了语言的安全性。而且由于程序员能力上的不够或者粗心大意,严重......
本文针对C/C++程序中资源泄漏安全漏洞的静态检查进行了研究。为了达到查找C/C++程序中的安全漏洞,提高软件安全性的目的,本文设计并实......
本文主要研究函数依赖关系分析与异常安全模式构建。函数依赖关系分析是构建异常安全模式的基础,通过分析函数调用关系在程序中的各......
保持铁路线路设备质量高水平状态、是确保高速铁路运输安全的基本保证。线路设备质量的提高,需要进一步完善轨道状态、提高检测......
给出了对静态检查可执行程序时序安全漏洞中的2个主要问题的研究结果:1)2种新的时序安全漏洞模型;2)建立二进制程序的下推自动机方法......
综合控制柜是集电源转换与控制、空调机组控制、照明控制、蓄电池欠压保护等功能单元于一体的智能型综合控制柜.本文对控制柜进行......
有些故障不能通过静态检查发现,而动态检查车辆可以更加准确地了解评估车辆的现实技术状况,对公正、全面、准确、科学地评估二手车价......
编辑同志: rn 我想买 1台联合收割机,不知应注意什么问题 ?请介绍有关知识好吗 ? rn吉安小刘 rn 1看机型是否合适 rn 联合收割机按......
该文从水电站电气安装调试出发,介绍中小型水电站同期系统的静态、动态检查的步骤及常见故障,介绍模拟电压试验法。供参考。......
期刊
该文从水电站电气安装调试出发,介绍中小型水电站同期系统的静态、动态检查的步骤及常见故障,介绍模拟电压试验法并以事例辅以说明......
期刊
程序调试是在程序开发中保证程序质量的一个重要手段,也是计算机实验教学的一个重要环节,本文以FORTRAN 77语言程序设计为例,探讨......
为了保证Windows环境下C/C++和Java软件产品质量,对C/C++代码和Java代码进行静态检查非常重要。以SVN作为软件配置管理工具,将重量......
为进一步规范兽药GMP检查验收活动.加快兽药GMP实施进程,根据《兽药管理条例》和《兽药生产质量管理规范》,农业部修订了《兽药生产质......
例14 故障现象:无受话。分析检修:更换喇叭无效,检查LM386,发现第⑥脚无电源,检查MCU的SPK、MUTE为低电平(异常)。静态检查MCU第(36)脚至SPK......
文章提出了汽车空调系统“1”、“O”检查概念,并详细阐述了汽车空调“1”、“0”检查内容和方法。......
<正> 随着农村经济的发展,农民对变型运输机的需求量不断上升,预计这几年中,农村运输机械将会出现一个更新换代的高峰。如何选购变......
为了保证基于Linux与Vx Works操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与Clear Case作为配置管......
农业部日前修订了《兽药生产质量管理规范检查验收办法》。按照修订后的《办法》。自2005年6月1日起取消兽药GMP静态检查,对检查验......
挑选一辆二手车,在静态检查之后还要试驾一下,这个大家都知道。然而动态检查都查哪些方面?怎么查?查出问题怎么办?不了解没关系,我们来告......
故障现象:开机后,机器各状态不能正常转换.其中热消毒不能停止,温度不升,不能进入冲洗程序,按冲洗键后,所有由+24V驱动的指示灯全......
为解决主动网络安全威胁问题,从编程语言角度分析了语言级的主动网络的安全需求,使用软件机制而不是硬件机制保护主机防止恶意代码......
该文从水电站电气安装调试出发,介绍中小型水电站同期系统的静态、动态检查的步骤及常见故障,并以事例辅以说明,供参考。......
随着我国经济的高速增长,汽车制造业的不断发展,中国的汽车行业已经进入高速发展的通道,车辆鉴定评估也已初步渗透到社会的各个领域之......
<正>2018年6月13日,一款名为"奔跑的兔子"的地铁隧道智能巡检机器人在"2018北京国际城市轨道交通展览会"上惊艳亮相,吸引了众多参......
本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,针对Java多线程序研究,总结出了从多线Java程序自动生成安全相......
发动机气缸漏气,主要是由于缸隙过大、活塞环磨损、气门密封不严及缸垫损坏等原因引起。为进一步诊断漏气部位,减少不必要的拆卸,......
1 前言 近年来,随着我国铁路客、货列车提速,货运列车重载,行车密度日益增加,对线路的破坏作用也日趋严重,轨道状态变化加快几何尺......
为进一步规范兽药GMP检查验收活动,加快兽药GMP实施进程,根据《兽药管理条例》和《兽药生产质量管理规范》,农业部修订了《兽药生产质......
1.首先要选好粉碎机和动力机的安装位置。长期固定作业的,应将其机组固定在水泥基座上。机组必须安装牢固,无松动;两机皮带轮应处......
本文对C语言程序设计题的自动评分方法进行了研究,在比较结果的评分方法基础上,设计了动态评阅与静态评阅相结合的方法,使评分结果更......
农业部修订的《兽药生产质量管理规范检查验收办法》自2005年6月1日施行,原《兽药生产质量管理检查验收办法》(农业部公告第267号)同......
1.选好粉碎机和动力机的安装位置.长期固定作业的,应将其机组固定在水泥基座上;机组必须安装牢固,可靠无松动;两机皮带轮应处在一......
对轨道几何形位静态检查项目设置的原理进行推导,建立了静态保养标准与动态平稳性之间的关系,为轨道几何形位静态检查项目管理值的......
异常作为C++语言的错误处理机制,为C++程序设计提供了很多便利.恰当使用异常可以提高程序的健壮性,但不当使用会导致程序运行效率降低,......
为了使锅炉达到设计额定蒸发量,针对某煤化工企业的循环流化床锅炉出力不足的情况,通过静态检查和热态调整试验,提出在运行中,锅炉......
为进一步规范兽药GMP检查验收活动,加快兽药GMP实施进程,根据<兽药管理条例>和<兽药生产质量管理规范>,农业部修订了<兽药生产质量......
为了保证基于VxWorks平台的软件代码的质量,对软件源代码进行静态检查非常重要。以ClearCase作为配置管理工具,将重量级静态检查工......
通过对机车轮乘制下新的检修形势的分析,提出了确立以机车检查为主、修理为辅,检、修分离,检查范围模块化等建议;只有将机车检查从检修......
软件产品交付用户使用后,需要解决软件产品在使用过程中的各类问题与缺陷。对于VXWORKS操作系统开发的软件产品,通常采用热补丁技......
铁路线路设备质量状态主要依据轨检车检查、机车车载式轨道动态监测系统和静态检查,这三种检查方式在数据处理与利用方面均存在不......
单缸直喷式节能型柴油机与传统涡流式柴油机相比,具有省油、节水、启动性能好、功率大等优点,已越来越广泛地用作农业机械的配套动......
期刊