程序静态分析结果的交互式排序方法研究

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:liufengsheng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件开发的过程当中,软件测试是必不可少的一部分,而在软件测试的过程中,会使用静态分析工具来对程序代码进行分析。时至今日,静态分析技术大力发展,通过执行模拟的技术可以使静态分析工具发现以前只有动态分析才能够发现的错误,比如符号执行、抽象解释、值依赖分析等等,并使用数学约束求解方法使之路径减少或者分析代码可达性以降低误报增长率。现在的静态分析测试工具,从科学研究和实用性两个方面都有比较大的提高空间,目前业界效率最高的静态分析工具依然存在很高的误报率,而能够测试出的错误类型也只有数百种。静态分析工具会找出大量的缺陷报告,然而其中大部分都是误报,需要开发人员手动的去检查辨别哪些缺陷属于误报,哪些是真正的缺陷。如此一来,大大减慢了程序开发的进度,也给程序开发人员带来了不小的麻烦。因此,如果能使报告重新排序,使真正的缺陷报告排在报告的最前端,使误报排在报告队列的末端,那么对于开发人员,对于整个项目开发过程都是十分有帮助的。首先,本文分析了国内外静态分析报告排序算法,归纳总结静态分析的相关技术,为后面的投票排序方法奠定了基础。然后,通过分析静态分析工具生成的报告相关特性,发现正报和误报的一些规律,并结合我们开发的软件安全分析平台,提出了交互式排序方法,让开发人员可以对报告进行交互式投票,通过使用投票排序算法,和少量的交互式操作就能够得到更高效的排序结果。最后,利用软件安全分析平台对测试用例进行测试分析排序实验,验证了交互式排序方法的有效性及软件安全分析平台的实用性。
其他文献
目的探讨经尿道前列腺电切术后尿潴留原因及治疗体会。方法回顾分析我院1998年3月至2007年4月行经尿道前列腺电切术463例,术后出现尿潴留20例, 其中14例重置尿管3~5天,拔管后
会议
随着陆地能源资源的日益枯竭,人类逐渐把目光投向了占地球表面积70%的海洋,而想获得这些海洋资源,海洋工程结构物是必不可少的。在海洋工程结构物的设计制造中,其环境载荷的预报是一个重要环节。在海洋中,波浪都是非线性的,平衡态波是研究非线性波演化的基础,因此,研究平衡态波系下结构物的波浪载荷具有重要意义。相比与传统的物理模型实验,计算流体力学仿真越来越受到各地从事该领域的科研工作者的欢迎。在诸多计算流体
随着移动通信的飞速发展,频谱资源越来越稀缺,非正交多址接入(Nonorthogonal Multiple Access,NOMA)因其优良的频谱利用效率,成为未来无线网络有力的候选者。在本文中,我们调
微弱信号检测技术是一门近现代的新兴技术学科,是一种将弱信号从噪声中提取出来的信号处理方法。此技术的应用领域非常广泛,涉及到航天技术、生物医学、图像处理、电子科学、
网络中的高影响力节点对网络的结构和功能具有的重要影响,因此高影响力节点挖掘是网络科学的关键问题之一。本文将就高影响力节点识别的两个方面展开研究:本文的第一部分主要研究在动态网络中重要节点识别算法的时间偏向性问题。以引文网络作为研究对象,考察了传统的节点中心性算法对高影响力论文的识别情况,发现这些算法识别出的高影响力论文在时间上均有较大程度的时间偏向性,多数算法更倾向于选择年龄较大的经典论文而忽略较
近年来,随着多媒体教室、直播课堂、VR教学等新型教学方式的出现,信息技术与教育教学的深度融合已成为现代教学发展的趋势,上述教学方式在给学生带来课堂新体验的同时也对教
随着通信系统的快速发展与升级,基于基片集成波导(Substrate Integrated Waveguide,SIW)技术的研究已经成为微波毫米波天线的研究热点。尤其是第五代移动通信系统(5G)已开始部署,
人们的生活和工作与网络紧密相连,网络活动占据日常生活的比重越来越大,由此产生了大量数据。如此多的数据给服务器集群造成了巨大的压力,由此引发了资源分配的问题。资源分
光学相干断层扫描成像技术(Optical Coherence Tomography,OCT)是一门新型的医学影像技术,具有无辐射、非接触、成像速度快、高分辨率以及性价比高等优势。谱域OCT技术与时域
近年来社工机构的数量不断增加,社工行业的从业者也在逐年上升,社工服务得到了蓬勃发展,但是社工行业的离职率依然高居不下,导致社工团队的稳定性较差,严重阻碍了社工的专业