收藏本站
《第四届中国测试学术会议论文集》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于静态分析的面向故障测试方法

肖庆  杨朝红  毕学军  
【摘要】:软件的故障模式就是总结那些经常出现、并具有一定模式的故障。经过大量的源码分析,我们总结出一些极具代表性的错误模式。在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法。我们已经基本实现了提出的所有故障模式并建立了一个原型系统。在应用中发现这种面向故障模式的测试方法有以下优点:1、不需要设计任何测试用例,自动化程度高;2、结果相对较为客观,测试结果可复现;3、针对性强,针对的都是用户关心的却又用其他方法难以找出的故障。

【参考文献】
中国期刊全文数据库 前1条
1 肖庆,张威,宫云战,陈曼青;内存泄漏的一种静态分析方法[J];装甲兵工程学院学报;2004年02期
【共引文献】
中国重要会议论文全文数据库 前2条
1 孙晓丽;夏良正;;数据视频制播平台中的Client式播控[A];全国自动化新技术学术交流会会议论文集(一)[C];2005年
2 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
中国硕士学位论文全文数据库 前1条
1 周高嵚;基于白箱测试的源代码在线评测系统[D];北京化工大学;2005年
【同被引文献】
中国期刊全文数据库 前1条
1 王越;刘冬懿;金茂忠;;基于设计模式的可扩展Java静态分析器设计[J];计算机应用;2006年S1期
中国重要会议论文全文数据库 前2条
1 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
2 张威;李辉;毕学军;宫云战;;内存泄漏故障静态测试方法研究[A];第四届中国测试学术会议论文集[C];2006年
【相似文献】
中国期刊全文数据库 前10条
1 陶幸辉;宋志刚;;嵌入式飞控软件测试方法研究及实践[J];软件导刊;2011年08期
2 ;瑞萨电子选用Wind River软件测试解决方案提升Android效能[J];中国电子商情(基础电子);2011年09期
3 ;瑞萨电子选用Wind River软件测试解决方案提升Android效能[J];计算机安全;2011年08期
4 张健;徐宝文;;《软件测试》专辑前言[J];计算机学报;2011年06期
5 ;瑞萨电子选用Wind River软件测试解决方案提升Android效能[J];工业控制计算机;2011年08期
6 刘杰;;软件测试中的测试用例复用技术[J];考试周刊;2011年56期
7 张军威;;浅谈如何以软件测试推动军工软件工程化[J];硅谷;2011年14期
8 张云舟;;基于项目化的软件测试课程建设[J];济南职业学院学报;2011年04期
9 蔡素梅;;UML模型与软件测试[J];电脑开发与应用;2011年07期
10 连尧;唐思源;安丰亮;;辅助决策类软件测试方法研究[J];科技信息;2011年15期
中国重要会议论文全文数据库 前10条
1 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
2 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
3 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
4 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
5 王晓宇;徐拾义;;基于模块关系图的测试程序生成[A];第十届全国容错计算学术会议论文集[C];2003年
6 郭瑞杰;宫云战;杨朝红;;软件安全性测试技术研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
7 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
8 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
9 夏玉辉;张威;万琳;王洪艳;;不可达代码的一种静态测试方法[A];第四届中国测试学术会议论文集[C];2006年
10 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 常量;软件测试人才炙手可热  “定制培训”模式走俏职场[N];大众科技报;2005年
2 展拓;软件测试人才炙手可热[N];光明日报;2005年
3 中国软件行业协会软件出版分会副秘书长 张志明;软件测试意识有待加强[N];中国计算机报;2003年
4 邵强;越南有望成世界顶级软件测试中心[N];人民邮电;2008年
5 惠普企业服务事业部全球产品营销-应用服务部门 Paul Ashwood;通过软件测试降低成本和风险[N];中国保险报;2011年
6 本报记者 霍娜;软件测试迷航[N];中国计算机报;2010年
7 罗峻;软件测试:质量敲门砖[N];中国计算机报;2004年
8 萧齐;软件测试也有大市场[N];中国航天报;2011年
9 王萌;软件测试人才缺口巨大[N];中国质量报;2005年
10 本报记者褚宁;软件测试:期盼“第三者”[N];解放日报;2003年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
3 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
4 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
5 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
6 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
7 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
8 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
9 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
10 史亮;测试数据自动生成技术研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前10条
1 张冠楠;基于扩展状态机的软件缺陷检测技术的研究与实现[D];北京邮电大学;2010年
2 曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
3 张苗;进化测试中嵌套If-Else和函数调用结构的适值函数设计[D];西安电子科技大学;2008年
4 刘利枚;基于51系列的嵌入式软件测试系统研究与实现[D];电子科技大学;2005年
5 祖伟;嵌入式电子海图系统的软件测试应用研究[D];哈尔滨工程大学;2006年
6 汪立;80C196系列单片机测控系统软件全数字仿真测评技术研究[D];中国工程物理研究院;2007年
7 褚蕾;基于静态源码分析的软件安全测试技术研究与实现[D];电子科技大学;2010年
8 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
9 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
10 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026