静态分析论文

一、浅析McCabe度量法的意义及应用（论文文献综述）杨阳[1]（2021）在《基于机器学习的程序路径可达性判定方法研究与实现》文中研究表明结构测试中,不可达路径会浪费大量测试...

论文摘要本文介绍了作者在面向嵌入式C语言的软件测试方面所做的工作,包括嵌入式C缺陷模型的描述以及使用扩展的缺陷模式状态机进行缺陷检测,通过设计缺陷模式的统一描述和统一检测框架,...

论文摘要随着计算机技术的飞速发展,嵌入式系统不仅在人们日常生活中应用越来越广泛,同时在一些高端领域如航空、军事相关的控制领域发挥着日益关键的作用,相关领域对嵌入式软件的安全性、...

论文摘要在石化行业,大型压力容器的法兰面密封槽在线修复处理难度极大,而离线修复时,投入的人力、物力又太大,停产时间长,对工业生产影响大。BX0型镗铣床就是针对这一问题进行研究而...

论文摘要近年来,随着数字集成电路工艺的迅速发展,芯片集成度的进一步提高,电路规模变得越来越大,复杂度也越来越高,其功能正确性也越来越受到人们的重视。然而,如何保证集成电路设计的...

论文摘要时至今日,软件的安全漏洞已经成为黑客进行攻击的重要途径。任何在软件设计或实现中所带来的安全漏洞,都有可能成为以后安全事件的隐患,给社会带来巨大的损失。数组越界是缓冲区溢...

论文摘要JSP作为一种基于JavaServlet的Web开发技术,在动态网页开发方面正在得到越来越广泛的应用,只存在于动态网页的跨站脚本攻击(XSS)漏洞,一样存在于JSP应用...

论文摘要车架是整车核心总成之一,车辆中其他许多重要部件也以车架为安装载体,行驶中车架还会承受各种复杂载荷综合作用,因此车架强度和刚度在设计阶段非常关键。鉴于车架的重要性,本文以...

论文摘要随着光伏发电技术的迅速发展,提高发电效率一直是国内外研究的热点。太阳光线跟踪是提高发电效率的有效途径之一。太阳能跟踪系统已从过去单轴跟踪系统向着双轴跟踪、自动化、智能化...

论文摘要随着互联网的飞速发展,Web应用程序变得越来越普及,全社会对计算机网络的依赖程度越来越高,同时网络安全问题日益突出。攻击者利用Web浏览器和Web浏览器插件的漏洞来传播...

论文摘要钢铁冶炼行业的不断发展,炉顶装料设备也在进行着不断的发展和完善。高炉炉顶装料设备作为冶炼生产企业中灵魂和命脉,它的性能好坏是钢铁企业十分关注的焦点。整体设备的性能好坏取...

论文摘要随着软件规模越来越大,故障和漏洞在所难免,再加之软件开发和运行环境从封闭、静态环境到开放、动态环境转变所导致的很多不确定因素的存在,软件很多时候不以人们期望的方式工作,...

论文摘要随着计算机技术的快速发展,软件在各行各业得到了广泛应用,它已经成为我们日常生活不可缺少的组成部分。软件经过编译和测试,每千行代码中平均有10-20个缺陷。虽然软件公司通...

论文摘要本文对铜自动包装生产线致密工位的下顶式压力机出现的稳定性问题进行了分析和研究,并根据出现偏斜载荷的现象,建立了该压力机的机身力学模型,利用大型有限元分析软件ANSYS为...

论文摘要嵌入式应用软件广泛使用的C语言并不是一种安全编程语言,一个重要原因是其标准中存在大量未定义行为和不安全的用法,而对于未定义行为,不同编译器给出不同的解释,从而产生大量安...

论文摘要随着我国经济全球化进程的不断加快,我国对国际能源及原材料市场的依赖程度在不断加深。国际原油及工业原材料价格的不断攀升,对我国的经济发展造成了极大的负担。汽车作为能源消耗...

论文摘要自上世纪70年代末改革开放以来,我国经济高速发展着。但在经济快速发展的同时,我国行业间的收入差距也在不断扩大。行业间收入差距的过分扩大是与我国构建社会主义和谐社会的目标...

论文摘要车架作为汽车的承载基体,安装着发动机、传动系、转向系、悬架、驾驶室、货厢等有关部件和总成,承受着传递给它的各种力和力矩。深入了解车架的动静态特性是车架结构设计、改进和优...

论文摘要本文主要对电磁式位移传感器专家系统的电磁性能进行研究,该电磁式位移传感器主要应用于飞机,用来对舵机的震动、位移等参数进行测量。传感器的铁心连接到飞机的一个舵机上,通过铁...

论文摘要本文针对潍坊宝利汽车公司设计生产的WFG9380TDP半挂车车架,采用有限元法,对车架进行了静力学分析。以半挂车虚拟样机仿真结果为基础,对车架的动态性能进行了评估。研究...