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

一种悬挂指针故障的静态检测方法

孙涛  宫云战  金大海  
【摘要】:悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言中常见悬挂指针故障进行了分析,建立了悬挂指针类型故障模型,设计并实现了一种悬挂指针故障的静态检测方法.通过函数摘要实现跨函数分析,方法能够同时检测函数内和函数间的悬挂指针故障.实验证明,该方法能够检测出故障点,误报率低.该方法已应用于软件测试系统中进行实际项目的缺陷检测.

手机知网App
【参考文献】
中国期刊全文数据库 前3条
1 肖庆;杨朝红;毕学军;;一种基于故障模式状态机的测试方法[J];北京化工大学学报(自然科学版);2007年S1期
2 杨朝红;宫云战;肖庆;毕学军;;基于模型的软件测试[J];北京化工大学学报(自然科学版);2007年S1期
3 肖庆;宫云战;杨朝红;金大海;王雅文;;一种路径敏感的静态缺陷检测方法[J];软件学报;2010年02期
中国重要会议论文全文数据库 前1条
1 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
【共引文献】
中国期刊全文数据库 前10条
1 张明杰;雷迅;宋恒;李强;;操作系统共享数据临界保护正确性测试方法[J];北京航空航天大学学报;2011年10期
2 金大海;宫云战;杨朝红;肖庆;;函数后置信息在软件静态测试中的应用[J];北京邮电大学学报;2010年06期
3 田俊峰;韩金娥;杜瑞忠;王勇;;基于软件行为轨迹的可信性评价模型[J];计算机研究与发展;2012年07期
4 刘贵堂;周正;周鲁苹;;软件行为的一种静态可信度量模型[J];海军航空工程学院学报;2012年04期
5 周虹伯;金大海;宫云战;;基于域敏感指向分析的区间运算在软件测试中的应用[J];计算机研究与发展;2012年09期
6 孙昌爱;程庆顺;;基于故障的布尔表达式测试技术综述[J];计算机科学;2013年03期
7 刘莉;金大海;宫云战;;提高区间运算的循环处理精度[J];清华大学学报(自然科学版);2011年S1期
8 杨睿;金大海;宫云战;马跃;;Java中空指针引用故障的静态检测方法[J];清华大学学报(自然科学版);2011年S1期
9 杨学红;黄俊飞;宫云战;;死路径语义下BPEL路径敏感性缺陷分析[J];软件学报;2012年03期
10 夏玉辉;万琳;李鸣;王洪艳;;基于变量使用的静态测试方法研究[J];计算机工程与设计;2009年09期
中国重要会议论文全文数据库 前9条
1 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 王斌;张伟;段见飞;张威;;基于软件运行记录的测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
5 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
6 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
7 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年
8 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
9 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国博士学位论文全文数据库 前3条
1 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
2 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
3 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
中国硕士学位论文全文数据库 前10条
1 陈昊;灰盒代码审计在Web安全检测中的应用研究与实现[D];北京邮电大学;2011年
2 叶可可;BPEL缺陷测试系统的设计和实现[D];北京邮电大学;2011年
3 孙涛;悬挂指针的静态检测方法研究[D];北京邮电大学;2011年
4 胡成杰;Java语言基于函数摘要的过程间静态测试方法研究[D];北京邮电大学;2011年
5 裴志强;基于缺陷模式的资源不良行为的静态检测[D];北京邮电大学;2011年
6 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
7 宋颖;面向嵌入式C的软件缺陷检测技术的研究与实现[D];北京邮电大学;2011年
8 汤根生;基于CPS的实时系统的面向方面的测试方法[D];广东工业大学;2011年
9 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
10 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 姚红;C语言中的指针[J];济南教育学院学报;1999年02期
2 王征风;孙中桥;贾先;;浅谈C语言中指针变量的定义与应用[J];科技信息(科学教研);2007年27期
3 张明伟;;C语言中指针研究与总结[J];科技信息;2009年29期
4 杨延玉;;C语言中的地址类型[J];平原大学学报;2005年06期
5 游贵荣;;C/C++语言指针教学研究[J];福建商业高等专科学校学报;2006年03期
6 霍艳玲;王党利;;C语言中指针使用技巧探讨[J];邢台职业技术学院学报;2006年05期
7 贾纳豫;颜鸿淋;李春萍;;C语言中指针变量的教学探讨[J];中国科技信息;2009年14期
8 徐少文;王虹;;指针与数组、字符串的学习[J];九江学院学报(自然科学版);2010年04期
9 刘平;赵焕平;;浅谈C语言中指针的用法[J];电脑知识与技术(学术交流);2006年20期
10 余建宝;;C语言指针探究[J];科技经济市场;2006年08期
中国重要会议论文全文数据库 前10条
1 孙涛;宫云战;金大海;;一种悬挂指针故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
2 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
3 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
4 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
5 白哥乐;杨朝红;王雅文;;多线程死锁静态检测方法研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
6 王建东;曾庆凯;;整数漏洞现状研究[A];2011年全国通信安全学术会议论文集[C];2011年
7 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
8 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
9 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
10 张广梅;陈蕊;李晓维;;面向软件故障检测的数据流分析[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
中国重要报纸全文数据库 前7条
1 成都 立本;PIC单片机C语言程序——实例9[N];电子报;2007年
2 江秀云;二级C语言语言指针问题解析[N];中国电脑教育报;2003年
3 徐罗滨 张伟 徐秋芸;Fortran内存的动态申请[N];计算机世界;2002年
4 电子工业出版社副编审 董娅;为数字出版物质管开药方[N];中国新闻出版报;2007年
5 南京邮电学院 李建忠;非安全代码[N];计算机世界;2002年
6 何靖;《高级语言程序设计》学习要点(下)[N];中国电脑教育报;2003年
7 磁动力工作室 明浩;单片机C语言入门讲座(七)——运算符和表达式(2)[N];电子报;2005年
中国博士学位论文全文数据库 前4条
1 李倩;Java程序指向分析研究[D];南京大学;2012年
2 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
3 张立勇;软件源代码安全分析研究[D];西安电子科技大学;2011年
4 杨克峤;Java程序优化与数据竞争检测的研究[D];复旦大学;2010年
中国硕士学位论文全文数据库 前10条
1 孙涛;悬挂指针的静态检测方法研究[D];北京邮电大学;2011年
2 杨杰;C2VHDL编译中的指针映射方法研究[D];哈尔滨工程大学;2011年
3 刘刚;指针程序的分析以及循环不变形状图的推断[D];中国科学技术大学;2011年
4 乔凯旋;程序可视化表示中指针信息抽取、存储与表示方法的研究[D];浙江工业大学;2012年
5 栾绍楠;C/C++程序中指针有效性的静态检测[D];西安电子科技大学;2006年
6 袁柱;嵌入式C程序指针检测研究与系统实现[D];大连理工大学;2012年
7 郭全萍;指针编程题的标准化及其自动评分方法的研究[D];哈尔滨工业大学;2007年
8 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
9 谢龙;JSP跨站脚本漏洞静态检测技术的研究与实现[D];中山大学;2011年
10 饶坤;C/C++源代码静态检测系统的设计和实现[D];北京化工大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026