首页> 中文会议>第六届中国测试学术会议 >过程间的非法计算故障静态检测方法

过程间的非法计算故障静态检测方法

页面导航

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

摘要

非法计算是程序中常见的故障，极易导致系统崩溃．例如：除0运算、对负数开平方根运算等．现有的测试方法大多只能检测过程内的非法计算故障．本文提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法．该方法首先对可能存在非法计算的函数提取相应的函数摘要，然后利用函数摘要实现跨函数间的分析．实验结果表明，我们的方法能检测出更多的非法计算故障点，同时有效的提高非法计算故障检测的准确性．

著录项

来源
《第六届中国测试学术会议》|2010年|130-134|共5页
会议地点合肥
作者
邹欣; 宫云战; 金大海;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件测试; 静态分析; 非法计算; 函数摘要;

相似文献

中文文献
外文文献
专利

1. 过程间的非法计算故障静态检测方法 [J] . 邹欣 ,宫云战 ,金大海 . 计算机研究与发展 . 2010,第S1期
2. 一种过程内及过程间数组越界故障的静态检测方法 [J] . 董娜 ,宫云战 ,金大海 . 计算机研究与发展 . 2010,第S1期
3. 非法计算故障的静态测试 [J] . 曹文静 ,宫云战 . 计算机辅助设计与图形学学报 . 2007,第001期
4. 非法计算故障的一种静态测试方法 [J] . 王璇 ,刘涛 ,宫云战 . 计算机工程与设计 . 2006,第014期
5. C程序非法计算缺陷的静态检测 [J] . 董玉坤 . 计算机工程与应用 . 2016,第019期
6. 过程间的空指针引用故障静态检测方法 [C] . 张冠楠 ,宫云战 ,金大海 . 第三届全国软件测试会议与移动计算、栅格、智能化高级论坛 . 2009
7. 基于函数摘要的C++过程间静态分析研究 [A] . 王留帅 . 2017

过程间的非法计算故障静态检测方法

摘要

著录项

相似文献

相关主题

期刊订阅