收藏本站
《第十四届全国容错计算学术会议(CFTC'2011)论文集》2011年
收藏 | 手机打开
二维码
手机客户端打开本文

JAVA中空指针引用故障的静态检测方法

杨睿  金大海  宫云战  马跃  
【摘要】:空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态测试方法耗时又耗力且很难达到全面覆盖的效果,本文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。此方法已在DTS中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。

【共引文献】
中国期刊全文数据库 前10条
1 李金凤;;讨论式教学方法在编译原理课程中的应用[J];黑龙江科技信息;2012年31期
2 袁世忠;邵伟民;沈俊;许东;;工科生《编译原理》课程教学的探析和实践[J];教育教学论坛;2013年05期
3 刘高原;张国平;;基于Nutch的搜索引擎技术[J];平顶山学院学报;2008年05期
4 杨睿;金大海;宫云战;马跃;;Java中空指针引用故障的静态检测方法[J];清华大学学报(自然科学版);2011年S1期
5 董勐;;用MFC设计PL/0语言简易编译器界面处理研究[J];软件导刊;2008年08期
6 陈玮;关文祥;周学才;;客户端运动控制器指令程序编译器的实现[J];济南大学学报(自然科学版);2009年03期
7 左春华;张广泉;郭亮;;用于C语言程序验证的性质描述语言C-PDL[J];苏州大学学报(自然科学版);2007年03期
8 李冬梅,施海虎,贺莉娜,王潇爽;“个人介绍”主题人机会话系统[J];计算机工程与设计;2005年09期
9 潘晓芳;万波;杨林;;基于文件存储GIS的SQL解析器的设计与实现[J];计算机工程与设计;2006年02期
10 张蓝博;张善从;陈蔚薇;;嵌入式系统中的代码动态链接模型[J];计算机工程与设计;2008年16期
中国重要会议论文全文数据库 前8条
1 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 孙涛;宫云战;金大海;;一种悬挂指针故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
4 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
5 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
6 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年
7 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
8 翁志恒;饶楠;张定会;;GSM/WCDMA双模手机测试系统PC部分的软件设计[A];第七届青年学术会议论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 高晓雷;SOZRSL软件需求规格说明语言及其求精[D];上海大学;2004年
3 滕少华;基于对象监控的分布式协同入侵检测[D];广东工业大学;2008年
4 余顺周;编译型数控系统及其关键技术的研究[D];哈尔滨工业大学;2007年
5 马雄波;基于PC机的开放式多轴软数控系统关键技术研究与实现[D];哈尔滨工业大学;2007年
6 陈圣波;Web应用建模和验证方法研究[D];上海大学;2008年
7 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
8 孙玉强;并行语法分析中几类算法的设计与研究[D];西安电子科技大学;2008年
9 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
10 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘丽苹;C-to-VHDL语言转换关键技术的研究与实现[D];哈尔滨工程大学;2010年
2 王浩;基于XML的开放式工业机器人解释器的研究[D];华南理工大学;2010年
3 叶可可;BPEL缺陷测试系统的设计和实现[D];北京邮电大学;2011年
4 孙涛;悬挂指针的静态检测方法研究[D];北京邮电大学;2011年
5 胡成杰;Java语言基于函数摘要的过程间静态测试方法研究[D];北京邮电大学;2011年
6 裴志强;基于缺陷模式的资源不良行为的静态检测[D];北京邮电大学;2011年
7 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
8 叶佳杰;基于C/C++语言的函数级程序理解可视化的研究与实现[D];浙江工业大学;2012年
9 杨睿;数组空指针故障的静态测试方法与实现[D];北京邮电大学;2012年
10 张健;农业专家系统开发工具及知识表示方法研究[D];昆明理工大学;2002年
【相似文献】
中国期刊全文数据库 前10条
1 张怡;可视化Java开发工具一览[J];中国计算机用户;1997年25期
2 ;Java在运输业巨子——CSX公司中的应用[J];电子展望与决策;1998年05期
3 吴限;意外的发现[J];中文信息;1998年Z1期
4 ;旋转的咖啡杯[J];个人电脑;1999年04期
5 黄凯;基于JAVA的CORBA程序[J];电子科技;2001年21期
6 潘锦;Java编程[J];贵阳金筑大学学报;2001年03期
7 陈卫荣;浅谈Java的数据库接口JDBC[J];宁德师专学报(自然科学版);2002年04期
8 郝晓玲,于秀艳;基于JSP的系统设计与实现[J];情报科学;2004年08期
9 拜朝峰;林琳;黄林鹏;孙永强;;部分计值综述[J];计算机科学;2004年04期
10 康会来;JAVA 3D动画的实现[J];电脑知识与技术;2005年06期
中国重要会议论文全文数据库 前10条
1 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 姜久雷;;在Visual J++6.0环境下编写纯Java代码的方法[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
3 唐焕春;;《Java程序设计》精品课程建设[A];2010无锡职教教师论坛论文集[C];2010年
4 阔永红;陈健;韩博凯;;基于Java的电话费查询系统的开发[A];中国电子学会第七届学术年会论文集[C];2001年
5 淮永建;张先勇;郝重阳;;Java 3D API和虚拟现实[A];中国体视学学会图像分析专业、中国体视学学会仿真与虚拟现实专业、中国航空学会信号与信息处理专业第一届联合学术会议论文集[C];2000年
6 刘一童;;远程监控的Java实现[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
7 王育欣;安伟;;基于软件工程的JAVA移植策略方法研究[A];创新沈阳文集(A)[C];2009年
8 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年
9 许晖;;应用XML实现Java对象序列化技术简述[A];Java技术及应用的进展——第七届中国Java技术及应用交流大会文集[C];2004年
10 俞磊;刘百祥;赵泽宇;江杰;;使用和改进Hibernate实现Java数据持久化[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
中国重要报纸全文数据库 前10条
1 ;WebGain整合Java开发[N];中国计算机报;2001年
2 广东 王诗瑞;学做Java特效[N];中国电脑教育报;2000年
3 Warton;来!深入Java的第一步[N];电脑报;2004年
4 Warton;Java中的流程控制[N];电脑报;2004年
5 中国地质大学 陈小洁;为Java加速[N];计算机世界;2002年
6 Warton;Java的异常处理[N];电脑报;2004年
7 湖南 樊星;Java滤镜特效图片应用一例[N];电脑报;2001年
8 雨纹;Java集成开发实现个性化[N];中国计算机报;2002年
9 河北 刘坤峰;初学java常用开发工具介绍[N];中国电脑教育报;2004年
10 ;Oracle Java开发工具换新颜[N];中国高新技术产业导报;2001年
中国博士学位论文全文数据库 前10条
1 杨克峤;Java程序优化与数据竞争检测的研究[D];复旦大学;2010年
2 高国福;中国肿瘤防治数据库的建立[D];中国协和医科大学;2006年
3 祝玉华;基于Multi Agents的WebGIS的研究和实践[D];解放军信息工程大学;2004年
4 陈永华;WebGIS三维可视化的研究[D];解放军信息工程大学;2000年
5 张锋铭;虚拟企业工作流研究及基于多代理和Web服务的原型系统实现[D];西北工业大学;2002年
6 张家晨;软件重构方法的研究[D];吉林大学;2004年
7 张志猛;面向理解的OORE关键技术研究[D];浙江大学;2004年
8 窦郁宏;程序挖掘中构件描述和检索的研究[D];中南大学;2002年
9 王保保;先进制造系统PDMS研究[D];西安电子科技大学;2000年
10 刘建宾;过程蓝图设计方法学及其支撑工具[D];西北大学;2003年
中国硕士学位论文全文数据库 前10条
1 朱静伟;基于JAVA/CORBA分布式数据库访问技术研究及实现[D];西安电子科技大学;2001年
2 陈盈;图书管理EJB的构建和应用[D];大连铁道学院;2003年
3 沈忠山;基于MVC模式的WebGIS设计与实现[D];武汉大学;2004年
4 刘大龙;基于Java的物流仓储管理系统的构建[D];武汉纺织大学;2010年
5 皇甫俊彦;大型金融信息系统从C#到Java移植的研究和实现[D];浙江大学;2011年
6 张晓春;基于Java的测井数据格式解编系统的设计与实现[D];吉林大学;2011年
7 赵斗生;基于网络新技术的PDM研究[D];机械科学研究院;2002年
8 杜欣然;利用JSP技术开发基于WEB的人事工资管理系统[D];大连铁道学院;2003年
9 刘向辉;基于Java的移动终端中间件的研究与设计[D];华东师范大学;2005年
10 常虹;基于B/S架构的通用题库系统[D];吉林大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026