【摘 要】
:
随着应用软件规模的日益增大,软件的运行环境越来越复杂,应用软件使用的中间件、第三方程序库越来越多,软件中包含的缺陷也越来越多。及时发现程序中的缺陷是软件领域的重要研究
论文部分内容阅读
随着应用软件规模的日益增大,软件的运行环境越来越复杂,应用软件使用的中间件、第三方程序库越来越多,软件中包含的缺陷也越来越多。及时发现程序中的缺陷是软件领域的重要研究内容。
程序静态分析是查找软件缺陷的有效途径之一。程序静态分析通过分析程序的源代码或者目标码,推测程序在运行时可能表现出来的行为,进而发现代码中可能存在的缺陷。基于缺陷模式匹配静态分析技术将程序代码与预先描述好的缺陷模式进行匹配以发现程序中的缺陷。这种分析方法简单、高效,能够检查出程序中大量存在的违反程序设计规范的缺陷,并已经被现有的许多静态分析工具所采用,如FindBugs、PMD、Jlint、Lint4j、Metacompilation和SABER。
经过调研发现大量的缺陷模式是时序相关的,静态分析工具的分析能力跟其缺陷知识库有很大关系,具有越多的缺陷知识就能检查出更多的缺陷。为了提高静态分析工具的可扩展性我们设计了静态分析工具CODA(COde DefectAnalysis),将其缺陷分析引擎与缺陷知识库分离开来,使得用户只需要按照模板添加缺陷模式就能够扩展CODA的分析能力。本文主要研究CODA中的时序相关缺陷模式,分析模式描述方法,建立缺陷模式收集平台,设计并实现用于检查时序相关缺陷的分析引擎,以完成对此类缺陷的过程内及跨过程查找。
其他文献
人脸老化是人脸表观随时间推移呈现的一种非人为控制的、必然的、不可逆转的缓慢变化,对人脸老化的建模是人脸相关研究的一个重要方面,吸引了来自计算机视觉、图形学、心理学
本文的研究内容是动态身份认证。设计了一种可以实现双向认证的动态身份认证方案,并实现了该方案的C/S模型。 文中首先从现有的身份认证系统出发,分析研究了基于S/KEY协议的
绿原酸作为蒲公英中的有效成分,在食品保鲜和医学领域均有着广泛的应用.为进一步提高绿原酸的提取效率、加强药理活性研究,本文整理了近年来蒲公英中绿原酸的提取方法,归纳总
随着社会的进步,人工智能技术也有了快速的发展,给人们的生活带来了一定的改变,也为工业发展带来了变革,在很大程度上促进了现代社会的进步,文明的发展.电气自动化是非常有利
基于构件的软件开发是网络环境下大型分布式企业开发的重要形式。构件通过封装一定的功能来提供可以复用、组装的软件资源,对外提供软件服务。传统的构件技术通过中间件提供事
视频编码技术以及网络传输技术和用户终端设备计算能力的飞速发展催生出多种类型的视频服务,如视频电话和会议、移动流媒体、视频监控、IPTV等。然而,异构网络的时变特性,用户终
文档作为信息的载体,在人类历史和社会进步中发挥着重要作用。近年来随着电子技术的发展,电子文档日益普及。同时网络技术的迅速发展,手持移动设备的成本愈加低廉、性能愈加强大
自20世纪80年代末利用卫星技术开展对候鸟迁徙进行跟踪研究以来,极大地促进了候鸟迁徙研究的发展,并取得了很大的成功。针对青海湖地区爆发的禽流感疫情,开展了青海湖候鸟的卫星
黑龙江出版的《老年日报》2004 年3月18日“红叶”专栏刊《抒怀》诗:“人生七十古来稀,我把古稀当孩啼。不断奉献不畏苦,珍惜今天好时机。”作者是在抒发胸怀,虽然年
“Aged
民用飞行器重要的性能都是随着飞行器质量的增加而下降的,对于飞艇这类几乎完全由气体浮力维持升力的飞行器,其性能与质量的矛盾尤为突出.以复合材料制造的夹层结构和帽型筋