收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于静态测试工具的软件测试方法研究

李华莹  于秀山  
【摘要】:静态测试是软件测试的一种重要方法,利用静态测试工具可以方便测试人员和程序员较早的发现并消除代码缺陷.本文以Klocwork K7作为静态测试工具,分析了该静态测试工具能够检测的软件缺陷类型,给出了工具在项目中的应用结果以及缺陷定和消除方法.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 袁阳;槐博超;陈巨龙;;基于VxWorks平台的嵌入式实时软件测试方法[J];船电技术;2010年08期
2 马海云;;基于概率统计的测试用例生成技术研究[J];自动化与仪器仪表;2010年04期
3 耿立伟;;浅谈程序关联性分析法在软件测试中的应用[J];电脑知识与技术;2010年21期
4 张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
5 高传平;谈利群;宫云战;;基于抽象语法树的代码静态自动测试方法研究[J];北京化工大学学报(自然科学版);2007年S1期
6 陈世基;;面向基本路径的软件测试方法研究[J];软件导刊;2007年21期
7 曾凌峰;;浅谈软件测试方法[J];科技资讯;2006年03期
8 方贤文;赵艳;殷志祥;;基于Petri网的软件测试分析[J];计算机技术与发展;2007年02期
9 袁敏;王志刚;李琼;;浅析软件测试中故障模型的建立[J];电脑知识与技术(学术交流);2007年12期
10 袁敏;王志刚;李琼;;浅析软件测试中故障模型的建立[J];电脑知识与技术(学术交流);2007年16期
11 冯捷;;软件测试浅谈[J];电脑知识与技术;2005年36期
12 周晓宇;聂长海;徐宝文;陈火旺;;两两组合覆盖测试数据自动生成集成工具的设计与实现[J];计算机科学;2005年01期
13 崔亮飞;;基于LABVIEW的软件平台测试[J];信息系统工程;2010年09期
14 穆兵;HT-RTU操作系统总体方案设计[J];计算机工程与设计;1992年03期
15 孟小丰;;数字校正网络动态特性的软件测试方法[J];航天控制;2008年04期
16 吴潮;赵羚云;刘丽娜;;软件测试方法的分析与研究[J];成才之路;2008年32期
17 赵亮;罗文兵;宋铮;;基于数据交换模型的测试方法[J];湖北工业大学学报;2010年05期
18 聂长海;;关于软件测试的几点思考[J];计算机科学;2011年02期
19 范峥;刘孟华;陈丙炎;;基于软相敏检波算法的电感传感器测量电路的设计[J];河南机电高等专科学校学报;2006年04期
20 王振操;;系统测试的应用[J];信息技术与标准化;2007年07期
中国重要会议论文全文数据库 前10条
1 李华莹;于秀山;;基于静态测试工具的软件测试方法研究[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
2 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[A];第六届中国测试学术会议论文集[C];2010年
3 栾静;贺英杰;;软件测试方法及用例的设计分析[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
4 郑成文;张海粟;韩柯;陈昱松;张乐飞;;一种基于相似性度量的软件测试方法[A];第六届中国测试学术会议论文集[C];2010年
5 姚勇涛;李晓光;伍理勋;郭淑英;任恒良;张逸成;;燃料电池汽车用DC/DC变换器静态测试结果介绍[A];2002中国电动汽车研究与开发[C];2002年
6 宫云战;;软件测试技术的研究进展[A];第十届全国容错计算学术会议论文集[C];2003年
7 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
8 曹慧丹;沈昱明;赖际舟;;微硅加速度计标定及试验研究[A];第六届全国信息获取与处理学术会议论文集(2)[C];2008年
9 高秀敏;徐文东;干福熹;;蓝光光存储材料研究平台的构建[A];上海市激光学会2005年学术年会论文集[C];2005年
10 张威;李辉;毕学军;宫云战;;内存泄漏故障静态测试方法研究[A];第四届中国测试学术会议论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 李勇;基于软件事务内存的并行程序验证[D];中国科学技术大学;2011年
2 刘煜坤;数字集成电路测试方法研究[D];哈尔滨理工大学;2009年
3 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
4 李克文;软件质量测评模型与测试数据生成方法研究[D];天津大学;2012年
5 王茂龙;结构损伤识别与模型更新方法研究[D];东南大学;2003年
6 唐见兵;作战仿真系统可信性研究[D];国防科学技术大学;2009年
7 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
8 赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
9 张红良;陆用高精度激光陀螺捷联惯导系统误差参数估计方法研究[D];国防科学技术大学;2010年
10 吴鸿云;集矿机牵引性能若干影响因素研究[D];中南大学;2010年
中国硕士学位论文全文数据库 前10条
1 赵宇峰;面向对象软件静态测试自动生成类图的研究[D];西安理工大学;2003年
2 周荣;安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究[D];北京交通大学;2012年
3 叶皑;自动售检票软件测试方法及其工具应用研究[D];东华大学;2010年
4 赵承霞;面向用户的软件柔点测试[D];燕山大学;2010年
5 李雷;基于SCADE的CBTC区域控制器软件测试方法研究[D];北京交通大学;2011年
6 苏青琴;基于抽象解释的嵌入式程序不变量静态测试研究与实现[D];南京航空航天大学;2012年
7 刘翠娟;Web应用中静态测试的研究[D];西北大学;2004年
8 王文清;软件测试方法在教育网络平台开发中的应用[D];上海师范大学;2010年
9 尹晋;基于Testbed和Polyspace的装备软件静态测试研究[D];哈尔滨工程大学;2012年
10 朱叶;基于可信包装的可信软件构造模型[D];河北大学;2011年
中国重要报纸全文数据库 前10条
1 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
2 记者 孙绪闻;首汽服务“两会”汽车接受检验[N];首都建设报;2007年
3 记者 蒙华;《材料负离子发生量的测试方法》建材行业标准有望年底出台[N];中国建材报;2006年
4 思博伦通信 曲博、吴杰、黄歆宇;两种IPTV测试战略[N];中国计算机报;2005年
5 记者 焦健通讯员 林本武;专家为襄樊汉江大桥全面“体检”[N];人民铁道;2008年
6 本报记者 高荆萍;大柴,从欧I出发[N];中国机电日报;2001年
7 小米;谁为风险买单?[N];中国电脑教育报;2003年
8 王建蓉 王恩光;中级车“PK”速腾夺冠[N];经理日报;2006年
9 中国软件评测中心;5类软件测试工具[N];中国计算机报;2005年
10 刘文;思博伦:志在IPTV中国世界[N];通信产业报;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978