首页> 中文会议>第三届全国软件测试会议与移动计算、栅格、智能化高级论坛 >过程间的空指针引用故障静态检测方法

过程间的空指针引用故障静态检测方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重于过程内,许多通过函数参数或者返回值进行传递的指针由于函数间分析的复杂性导致其检测相对困难。提出了一种以函数摘要做基础进行函数间分析、同时利用状态机对函数间的空指针引用错误进行检测的方法。同时,过程内利用了路径敏感的特性减少了误报。

著录项

来源
《第三届全国软件测试会议与移动计算、栅格、智能化高级论坛》|2009年|53-56|共4页
会议地点武汉
作者
张冠楠; 宫云战; 金大海;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
静态分析; 空指针引用; 函数摘要; 静态检测; 故障模式; 路径敏感特性;

相似文献

中文文献
外文文献
专利

1. 一种多敏感空指针引用错误的静态检测方法 [J] . 白杨 ,王蠫屏 . 中国科技论文 . 2014,第010期
2. 一种多敏感空指针引用错误的静态检测方法 [J] . 白杨 ,王瑀屏 . 中国科技论文 . 2014,第010期
3. 空指针解引用错误检测的静态方法研究 [J] . 徐厚峰 ,马晓东 . 计算机工程与科学 . 2009,第003期
4. 过程间的非法计算故障静态检测方法 [J] . 邹欣 ,宫云战 ,金大海 . 计算机研究与发展 . 2010,第S1期
5. 面向二进制程序的空指针解引用错误的检测方法 [J] . 傅玉 ,邓艺 ,孙晓山 . 计算机学报 . 2018,第003期
6. JAVA中空指针引用故障的静态检测方法 [C] . 杨睿 ,金大海 ,宫云战 . 第十四届全国容错计算学术会议 . 2011
7. 基于CEGAR的C程序空指针解引用检测 [A] . 段钊 . 2014

过程间的空指针引用故障静态检测方法

摘要

著录项

相似文献

相关主题

期刊订阅