检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

C/C++程序资源泄漏的静态检查研究

C/C++程序资源泄漏的静态检查研究

作者：马红刚西安电子科技大学

学位级别：硕士

本文针对C／C++程序中资源泄漏安全漏洞的静态检查进行了研究。为了达到查找C／C++程序中的安全漏洞，提高软件安全性的目的，本文设计并实现了一种静态检查资源泄漏的方法。该方法以GCC编译器完成语法分析后得到的中间表示为分析对象... 详细信息

本文针对C／C++程序中资源泄漏安全漏洞的静态检查进行了研究。为了达到查找C／C++程序中的安全漏洞，提高软件安全性的目的，本文设计并实现了一种静态检查资源泄漏的方法。该方法以GCC编译器完成语法分析后得到的中间表示为分析对象，通过记录资源的申请与释放，结合安全规则实现安全检查。首先，对资源泄漏的表现进行分类，并采用语法制导翻译的方法构建安全规则。其次，设计出指针节点和资源节点，记录资源的使用情况;针对分支语句，使用一种流敏感的分析方法，模拟程序的动态执行;采用自下而上分析实现了跨过程检查。最后，结合抽象语法树的具体节点给出了安全检查的算法，完成了静态检查工具的实现。本文的检查方案实现在C／C++静态检查工具XDCHECK中，实验证明该方法是有效的。

关键词：资源泄漏静态检查安全漏洞安全模式

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

代码缺陷静态检查与预测的相互增强方法研究

代码缺陷静态检查与预测的相互增强方法研究

作者：张旭南京大学

学位级别：硕士

随着软件系统的日益复杂,软件质量越来越受到人们的关注。由于软件设计和编码错误产生的软件缺陷使得软件产品不能满足用户需求或者在系统运行中出现意料之外的结果和行为。严重的软件缺陷会导致巨大的经济损失甚至威胁生命安全。发现... 详细信息

随着软件系统的日益复杂,软件质量越来越受到人们的关注。由于软件设计和编码错误产生的软件缺陷使得软件产品不能满足用户需求或者在系统运行中出现意料之外的结果和行为。严重的软件缺陷会导致巨大的经济损失甚至威胁生命安全。发现和找到软件中的缺陷是很困难的,软件开发人员和质量保障人员采取一系列措施来尽早发现软件缺陷,保证软件产品质量。静态检查技术和缺陷预测技术能够帮助开发人员发现软件缺陷。静态检查技术通过使用静态检查工具,在不执行代码的情况下发现代码中存在的潜在异常,向开发者提示各种警告信息,开发者审查警告信息对代码做出必要的修正。缺陷预测技术通过充分挖掘软件仓库历史数据,发现代码特征和软件缺陷之间的关系,构建缺陷预测模型,向开发者推荐有可能包含缺陷的软件模块。静态检查技术和缺陷预测技术帮助软件实践参与者了解软件缺陷分布,合理分配有限的人力物力资源,提高软件测试和维护的效率。在已有研究中,大多数研究者一般聚焦静态检查技术和缺陷预测技术其中之一展开,鲜有交集。尽管静态检查的结果是警告信息,缺陷预测的结果是依据预测结果排序后的模块序列,但是两者拥有共同的目标一—发现软件中的缺陷。那么,静态检查技术同缺陷预测技术能否彼此增强,即静态检查产生的警告信息能否提升缺陷预测的性能?缺陷预测的结果能否改进静态检查警告的排序?为回答这些问题,本文进行一系列研究和实验,主要工作和结论如下:(1)对静态检查工具检测缺陷的能力进行实证研究,分析两款静态检查工具FindBugs和PMD检测缺陷的召回率和精度,同时将静态检查技术同缺陷预测技术相比较。结果表明,静态检查工具能够检测出相当数量的软件缺陷,但是检测缺陷的精度比较低,同缺陷预测技术相比,随着代码审查工作量增大,静态检查工具检测缺陷的能力比不上缺陷预测技术。(2)提出使用静态检查产生的警告信息提升缺陷预测性能的方法。将静态检查产生警告类别和数目作为度量元,构建基于警告信息的缺陷预测模型。实验结果表明,静态警告的度量能够提升缺陷预测的性能。其中,PMD相比于FindBugs在缺陷预测中提升更明显,综合使用两款工具会产生更好的预测结果,静态检查工具产生的警告信息能够成为现有缺陷预测的有益补充。(3)提出使用缺陷预测结果优化静态检查警告排序的方法。将缺陷预测产生的软件模块缺陷概率作为静态检查警告的排序依据,同时使用基于软件依赖图k-core分解的模块核心度值修正静态检查警告排序。实验结果表明,基于缺陷预测结果的排序策略能够优化静态检查警告的排序。总体来看,静态检查和缺陷预测尽管存在诸多的不同,但是两者都能够相互影响、相互增益、相互补充。

关键词：软件缺陷静态检查缺陷预测排序增强

静态检查和动态检测数据相结合应用指导高速线路维修工作

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

静态检查和动态检测数据相结合应用指导高速线路维修工作

第十五届粤、京、港、沪铁道学会学术年会第八届世界轨道交通发展研究会年会

作者：李立军仝研邯郸工务段

保持铁路线路设备质量高水平状态、是确保高速铁路运输安全的基本保证。线路设备质量的提高,需要进一步完善轨道状态、提高检测精度,把静态检查数据和动态检测数据紧密结合应用,以更好地指导高速线路维修工作。本文经过现场实践,具体分... 详细信息

保持铁路线路设备质量高水平状态、是确保高速铁路运输安全的基本保证。线路设备质量的提高,需要进一步完善轨道状态、提高检测精度,把静态检查数据和动态检测数据紧密结合应用,以更好地指导高速线路维修工作。本文经过现场实践,具体分析、应用静态和动态检测资料,根据检测资料对现场病害进行精确定位,采用对水平、轨距、三角坑、高低和轨向等病害进行精调作业的方法,使高速线路维修工作取得了事半功倍的效果。

关键词：静态检查动态检测数据应用线路维修

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

线路动态与静态检查的数值差

铁道运营技术 1999年第4期5卷 160-165页

作者：张未北京铁路局工务处 100860

1 前言近年来,随着我国铁路客、货列车提速,货运列车重载,行车密度日益增加,对线路的破坏作用也日趋严重,轨道状态变化加快几何尺寸难以保持。这种形势,不仅给线路维修方式、方法提出了新课题,而且也向原有的轨道检查手段提出了挑战。

关键词：静态检查轨检车轨道结构临界横向抗力轨距扩大钢轨动态检测横向荷载静态检测提速线路

在线全文

学校读者我要写书评

暂无评论

C++与Java软件重量级静态检查

计算机技术与发展 2016年第8期26卷 17-23页

作者：姜文刘立康西安电子科技大学通信工程学院陕西西安710071

为了保证Windows环境下C/C++和Java软件产品质量,对C/C++代码和Java代码进行静态检查非常重要。以SVN作为软件配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,分别对C/C++代码和Java代码进行重量级静... 详细信息

为了保证Windows环境下C/C++和Java软件产品质量,对C/C++代码和Java代码进行静态检查非常重要。以SVN作为软件配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,分别对C/C++代码和Java代码进行重量级静态检查。详细叙述了Windows环境下软件配置管理工具SVN客户端安装,SVN版本库的代码更新,对C/C++和Java代码分别进行Coverity和Fortify编译器的配置、编译脚本编写和在ICP-CI任务管理页面上配置检查任务。介绍了静态检查处理过程,分析了出现各种常见问题的原因并提出了相应的解决方案。给出了一个软件产品中C/C++代码模块和Java代码模块的重量级静态检查应用案例。工作实践表明,进行重量级静态检查有助于及时发现并解决C/C++和Java软件源代码的各种缺陷和安全漏洞,从而提高软件产品的质量和安全性。

关键词： Windows操作系统静态检查持续集成安全漏洞

在线全文

学校读者我要写书评

暂无评论

基于持续集成的PC-Lint静态检查

计算机技术与发展 2016年第11期26卷 31-36页

作者：姜文刘立康西安电子科技大学通信工程学院陕西西安710071

PC-Lint是一款历史悠久、使用广泛的静态代码检查工具。为了保证C/C++软件产品的质量,许多软件开发组织都把PC-Lint检查作为代码走查的第一道工序。PC-Lint工具提供了大量的检查选项,需要合理地配置检查选项,从而减少误报,提高查错、排... 详细信息

PC-Lint是一款历史悠久、使用广泛的静态代码检查工具。为了保证C/C++软件产品的质量,许多软件开发组织都把PC-Lint检查作为代码走查的第一道工序。PC-Lint工具提供了大量的检查选项,需要合理地配置检查选项,从而减少误报,提高查错、排错的效率。通过四个常用类型的应用实例,详细叙述了PC-Lint工具在各种应用和开发环境中lnt文件配置方法。详细叙述了基于持续集成PC-Lint的静态检查方法,以Clear Case作为软件配置管理工具,将PC-Lint静态检查工具集成到持续集成工具ICP-CI上,对C/C++软件模块进行静态检查,有助于发现更多的源代码缺陷。最后介绍了PC-Lint静态检查的应用案例。长期的工作实践表明,进行PC-Lint静态检查有助于及时发现C/C++软件代码的各种缺陷,从而提高软件代码的质量和降低软件开发的成本。

关键词： PC-Lint 静态检查 lnt配置文件持续集成

基于Linux环境的C/C++软件重量级静态检查

在线全文

学校读者我要写书评

暂无评论

微型电脑应用 2016年第5期32卷 12-15页

作者：姜文刘立康西安电子科技大学西安电子科技大学通信工程学院

为了保证基于Linux环境的C/C++软件代码的质量,对软件源代码进行静态检查非常重要。以SVN作为配臵管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对C/C++源代码进行静态检查。详细叙述了Linux环境下配臵... 详细信息

为了保证基于Linux环境的C/C++软件代码的质量,对软件源代码进行静态检查非常重要。以SVN作为配臵管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对C/C++源代码进行静态检查。详细叙述了Linux环境下配臵管理工具SVN客户端安装、SVN版本库的代码更新、Coverity和Fortify编译器的配臵、ICP-CI的任务管理页面上配臵检查任务。分析了检查过程中出现各种问题的原因并给出相应的解决方案。最后介绍了一个应用重量级静态检查的案例。工作实践表明静态检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。

关键词： Linux操作系统静态检查持续集成安全漏洞

基于VxWorks平台的软件重量级静态检查

在线全文

学校读者我要写书评

暂无评论

微型机与应用 2016年第6期35卷 79-81,84页

作者：姜文刘立康西安电子科技大学通信工程学院陕西西安710071

为了保证基于VxWorks平台的软件代码的质量,对软件源代码进行静态检查非常重要。以ClearCase作为配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对软件源代码进行静态检查。详细叙述了Coverity和Fort... 详细信息

为了保证基于VxWorks平台的软件代码的质量,对软件源代码进行静态检查非常重要。以ClearCase作为配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对软件源代码进行静态检查。详细叙述了Coverity和Fortify编译器的配置,以及在ICP-CI工具的任务管理页面上配置检查任务。分析了检查过程中出现各种问题的原因并给出相应的解决方案。最后介绍了一个典型案例。工作实践表明,静态检查有助于及时发现并解决软件源代码的各种缺陷,从而提高软件质量和安全性。

关键词：嵌入式操作系统静态检查持续集成安全漏洞

在线全文

学校读者我要写书评

暂无评论

轨道几何形位静态检查原理及应用

铁道标准设计 2005年第8期25卷 105-108页

作者：韩清强武勇上海铁路局阜阳工务段安徽阜阳236021 武汉铁路局武汉4330071

对轨道几何形位静态检查项目设置的原理进行推导,建立了静态保养标准与动态平稳性之间的关系,为轨道几何形位静态检查项目管理值的设置提供理论依据,对指导养护具有重要意义,尤其是对时速200km区段的轨道养护具有重要参考价值。

关键词：铁路轨道几何形位静态检查