【摘 要】
：
静态缺陷检测结果存在误报和漏报的问题,需要逐一进行人工确认。大量的人工确认工作降低了检测效率,增加了使用静态检测软件的成本,甚至使得一部分软件公司拒绝使用静态检测
论文部分内容阅读
静态缺陷检测结果存在误报和漏报的问题,需要逐一进行人工确认。大量的人工确认工作降低了检测效率,增加了使用静态检测软件的成本,甚至使得一部分软件公司拒绝使用静态检测工具。本文提出了一种基于相似数据来源的警报关联技术,该技术将具有相同判定结果的的警报关联起来,聚为一类,并在结果文件中加以标注。在进行人工确认工作时,审阅者只需对一类关联警报中的一个进行确认,就可以得到这一类警报的审查结果,这将大大提升人工确认的效率。本文提出的警报关联方法基于警报点相关变量的定值信息。为了全面、准确的提取定值信息,本文构建了一种符号化的定值模型,该模型聚合了定值的结构、变量、常量和位置特征。根据上述模型,提取每一个警报的定值信息,将具有相同或者相似定值信息的警报关联起来。实验结果显示,基于相似数据来源的警报关联方法可以将检测结果中近71%的警报关联起来。
其他文献
合成孔径雷达(Synthetic Aperture Radar,SAR)是一种全天时、全天候、主动对地观测传感器,实现SAR图像目标识别具有重要意义。由于SAR图像获取成本高以及SAR图像目标姿态敏感
随着信息通信技术的发展,无线业务带来的巨大需求量使得频谱资源紧缺问题日益凸显。并且传统的静态频谱分配政策也导致了频谱利用率低的问题。认知无线电技术通过对于周围频
如今,移动设备相当普及,为人们的日常生活带来了极大的便利。但是移动设备的存储空间、CPU计算能力,以及电量等资源有限,在资源有限的移动设备上执行资源密集型应用程序会消
在新课程改革的形势背景下,如果要提高高中地理教学的效率和效果,就需要从各个方面开展教学工作。高三地理的复习是需要地理老师有效地培养和提高学生的阅读能力的,这是需要
纤维素是自然界中含量最丰富的碳水化合物,能够水解成葡萄糖或者脱水形成其他重要的平台化合物,如5-羟甲基糠醛,乙酰丙酸等。纤维素传统的水解方法主要是液体酸水解和酶水解,但是存在污染环境、成本过高等缺陷。固体酸催化剂因其环保、高效等优点而受到人们的广泛关注,常见的固体酸催化剂有离子交换树脂、沸石、金属氧化物等,然而这些固体酸也有成本昂贵、活性差、催化效率低等缺点。因此,研究新型的固体酸催化纤维素水解具
路由技术是Ad hoc网络实现可靠传输的基础,自Ad hoc问世以来一直受到广泛关注。随着网络规模的扩展,拓扑变化更加复杂,通信开销越来越大,Ad hoc路由技术开始倾向于将Ad hoc网
教育发展有两个主题,学生发展和教师发展,教师素养的高低影响着教育的品质。为了构建和谐、优质的教育体系,提升教师的核心素养十分关键。高中历史教师在长期的教学中,随着工作积极性和自我发展的意识降低,会阻碍教学质量的提高,也不利于历史教师自身价值的发挥。那么,如何提高历史教师的核心素养,使历史课堂更丰富,更有意义呢?这个问题引起了作者对高中历史教师核心素养提升的思考。本文首先分析了提升高中历史教师核心素
移动互联网和虚拟现实等技术的快速发展,海量移动设备接入网络,用户终端对数据类型的需求开始多样化,尤其是影音内容在数据类型中所占比例呈现升高态势,这些数据的大量需求导
智能芯片技术的快速发展使得移动设备的计算性能、存储性能等都有了很大的提升,但很多情况下,单一移动智能设备仍不可避免地存在电量低、运行内存不足等问题。如何充分利用近
使用移动通信的用户与日俱增,这一趋势大大的促进了相关技术的进步。为了满足用户越来越多的的通信需求,在无线通信领域采用了各种各样的通信制式与调制方式。也正是因为如此