【摘 要】
:
基于缺陷模式的代码缺陷检测分析技术具有使用简单、查找速度快、能够检测出其他测试工具无法检测出来的软件缺陷等特点,是近些年来静态代码分析技术中发展比较迅速的新技术
论文部分内容阅读
基于缺陷模式的代码缺陷检测分析技术具有使用简单、查找速度快、能够检测出其他测试工具无法检测出来的软件缺陷等特点,是近些年来静态代码分析技术中发展比较迅速的新技术。但是目前基于这种技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩展其缺陷检测能力。本文在DTS缺陷检测系统的基础上提出一种支持用户定制缺陷模式的方法,该方法能够让用户根据实际情况需要定制相应的软件缺陷模式,扩充缺陷模式库,目的是检测程序代码中是否包含相关的软件缺陷。本文提出了一种缺陷模式描述语言,用于描述软件缺陷模式。该缺陷模式描述语言包含64种谓词,大约86种计算模式。用户使用这些谓词来定义缺陷模式。缺陷模式自定制主要包括用户定制的缺陷模式描述文件、缺陷模式解析模块和缺陷分析计算单元。其中缺陷模式解析模块由解析器、谓词合法性验证器、谓词类型验证器、谓词计算模式合法性验证器组成。缺陷模式定制分为两类:语法类缺陷模式定制和源代码缺陷模式定制。在应用方面,使用这两类缺陷模式定制实现了国家军用标准上一部分规则。为了证明其有效性,对两类缺陷模式定制分别进行了大工程测试。通过分析测试结果,证明了方法的有效性。
其他文献
现当今,我国经济发展十分迅速,国有企业也得到快速发展,如何才能避免财务风险,加强国有企业的资金监管变得愈发重要.本文就集中核算模式下国有企业资金监管工作展开讨论,分析
人们已经进入了大数据时代,而在大数据时代下,现代企业内部经营管理工作正面临着改革,管理会计在企业中的地位越来越重要,但是由于大数据时代所带来的是前所未有的海量数据信
作为国家电网公司服务新机场建设的主力军,国网北京大兴供电公司深入贯彻习总书记在考察北京新机场期间的指示精神,在上级党委和公司党委的坚强领导下,强化党内政治文化引领,
我国的经济发展日新月异,国家的经济水平以及人均收入有显著的增加,我国建筑业的发展推动国家的经济发展,改善了人民的生活质量,进而为建筑幕墙行业带来了全新的发展.幕墙是
随着社会的不断发展,通讯技术、计算机网络技术越来越广泛的应用到企业以及政府机关的办公系统中.而对于审计档案管理工作来说,工作模式的变革虽然给工作者带来一定的方便,但
现当今,随着我国经济的快速发展,而为进一步深化基本医疗保险支付方式改革,更好地保障参保人员权益、规范医疗服务行为、控制医疗费用不合理增长,国务院发布了《关于进一步深
在人们的日常生活和工作过程中都离不开电力资源的供应,电力企业在为人们提供出相关的电力服务过程中需要收取一定的费用,因此电能计量工作受到了人们广泛的关注和重视,不断
在目前社会发展水平全面提升背景下,各行业都得到显著发展,其中,电力行业作为一项和群众联系最为紧密的工作,更应该加强研究和探索,只有这样才能满足社会发展中对电力资源的
古语中“没有规矩,不成方圆”涉及的就是标准化的问题,标准化的方法是现代工业的发展的基本方法.在信息化建设中标准化也起到关键作用.随着计算机及互联网络的发展,改变了企
随着常州市人民的生活水平的不断提升,人均产生生活垃圾数也在不断的增加.传统的垃圾转运体系已不适用于目前的情况,目前新型垃圾转运站的建设已经在如火如荼地进行中,但是在