基于缺陷模式匹配的静态源码分析技术研究

发布时间：2017-11-23 14:53

  本文关键词：基于缺陷模式匹配的静态源码分析技术研究

  更多相关文章： 软件测试 静态代码 缺陷模式 检测器

【摘要】：随着信息技术的飞速发展,应用软件的规模不断扩大,越来越多的软件安全问题频频出现,因此如何保证和提高软件质量日益成为一个备受关注的问题。研究表明,在测试阶段修正错误所付出的成本比代码编写阶段多出10倍,因此以静态分析的方式来检测软件质量能大大降低投入成本。基于缺陷模式的软件测试是近些年发展起来的一种程序源代码静态分析技术,主要用于自动或者半自动的软件缺陷检测及预防,此类缺陷检测工具由于效率高和使用简单等特点在高可信软件测试中得到了广泛应用。所谓的缺陷模式,是指程序中经常发生的错误或缺陷所呈现出的特定规律。缺陷模式通常由具有领域程序设计经验的人或者测试人员总结出来。本文通过利用开源软件为实验工具,运用静态分析的相关理论,自定义检测器对软件项目做测试得出了一些存在的问题。
【作者单位】： 北京邮电大学计算机学院;
【分类号】：TP311.53
【正文快照】： 0引言随着信息技术的发展,软件的规模不断扩大,越来越多的软件安全问题频频出现,因此如何保证和提高软件质量在互联网中成为一个备受关注的问题。根据Boehm的统计,在软件开发总成本中,用在测试上的开销要占30%到50%,对于某些关系人类生命安全的关键软件[1],其测试费用甚至高达

【相似文献】

中国期刊全文数据库 前10条

1 刘胜;软件测试及其自动化[J];信息技术;2001年03期

2 黄萍,万志军;舰载指控软件测试[J];舰船电子工程;2002年05期

3 孔学东,李丹,刘杰;软件测试实验室能力认可研究[J];电子产品可靠性与环境试验;2003年03期

4 杨光岩;浅谈软件测试的组织与管理[J];中国金融电脑;2003年04期

5 赵彬,辛文逵;目前软件测试发展中的误区[J];信息与电子工程;2003年04期

6 杨根兴,宗宇伟;软件测试不确定性研究及解决途径[J];计算机工程;2004年07期

7 ;旋极科技公司推动关键软件测试[J];单片机与嵌入式系统应用;2004年06期

8 刘利君;走出软件测试的困境[J];软件世界;2004年05期

9 林钦,潘健鸿;对软件测试的进一步研究及探讨[J];中国科技信息;2005年16期

10 王泓;软件测试文件的编制[J];电子产品可靠性与环境试验;2005年05期

中国重要会议论文全文数据库 前10条

1 王彦丽;骆力明;;软件测试理论与软件测试实践教学体系探索[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

2 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

3 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

4 蒋方纯;陆云帆;谢晓勇;;软件测试理论中的阴阳学说[A];第六届中国测试学术会议论文集[C];2010年

5 马秦晋;刘世英;徐小辉;惠煜;;软件测试的重要性及现状分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年

6 徐拾义;;软件测试新概念-软件内建自测试(摘要)[A];第十届全国容错计算学术会议论文集[C];2003年

7 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年

8 符开桂;胡泽平;;浅谈软件测试应把握的几个问题[A];海南省通信学会学术年会论文集（2006）[C];2006年

9 蒋方纯;;基于覆盖率的组合测试在游戏软件测试中的应用与分析[A];第五届中国测试学术会议论文集[C];2008年

10 黄碧玲;;软件测试的风险管理及应用[A];浙江省电子学会2012学术年会论文集[C];2012年

中国重要报纸全文数据库 前10条

1 赵健;软件测试将成行业新宠[N];中国企业报;2006年

2 张磊;软件测试何以成为就业新宠？[N];中华工商时报;2006年

3 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年

4 仲琪;软件测试人才进入“黄金时代”[N];北京人才市场报;2007年

5 李思;软件测试,你了解多少？[N];上海金融报;2008年

6 邵强;越南有望成世界顶级软件测试中心[N];人民邮电;2008年

7 王莉;天津软件测试中心成立[N];中国贸易报;2000年

8 本报实习记者 汤浔芳;软件测试职业前景看好[N];计算机世界;2008年

9 王宇;首届中国软件测试$研讨会将召开[N];中国计算机报;2003年

10 ;测试空间：专业软件测试外包服务商[N];中国计算机报;2013年

中国博士学位论文全文数据库 前8条

1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年

2 张广梅;软件测试与可靠性评估[D];中国科学院研究生院（计算技术研究所）;2006年

3 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年

4 蔡立志;基于形式化的软件测试复用若干关键技术的研究[D];上海大学;2009年

5 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年

6 王鸿燕;GIS软件测试的关键问题与应用实践[D];武汉大学;2010年

7 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年

8 姚砺;面向对象软件测试的研究[D];浙江大学;2002年

中国硕士学位论文全文数据库 前10条

1 郑凯;基于GQM软件测试有效性评估模型的研究[D];西南交通大学;2015年

2 田奇才;基于云计算的移动app测试研究[D];陕西师范大学;2015年

3 高瑞敏;基于演化算法的软件测试资源分配问题的研究[D];中国科学技术大学;2015年

4 马骏杰;软件测试Bug管理系统设计与实现[D];电子科技大学;2014年

5 赵萃娟;质量管理在软件测试组织中的应用研究[D];上海交通大学;2014年

6 林晨;嵌入式箭载计算机控制软件测试关键技术研究[D];上海交通大学;2014年

7 张露丹;中冶北方人力资源管理系统的设计与实现[D];大连理工大学;2015年

8 周慧婷;Solution Configurator项目测试方法的设计与实现[D];南京大学;2014年

9 竺晓梅;基于RUP的软件测试质量管理的研究与实现[D];复旦大学;2013年

10 陆海婧;SaaS应用公共测试平台的设计与实现[D];北京工业大学;2014年

，

本文编号：1218827