首页> 中文会议>第十五届全国容错计算学术会议（CFTC'13） >面向缺陷检测的函数摘要方法

面向缺陷检测的函数摘要方法

页面导航

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

摘要

函数间分析是静态分析的重要组成部分,函数摘要是一种目前被普遍采用的静态过程间分析方法.针对静态缺陷检测中的过程间分析特点,提出一种面向缺陷检测的函数摘要方法,摘要信息由前置约束信息集合、后置副作用信息集合和状态特征信息集合组成,将函数摘要的计算化作3个数据流分析问题的求解,使其过程可伴随过程内分析进行.对比实验结果表明该方法能有效降低静态缺陷检测的误报和漏报.

著录项

来源
《第十五届全国容错计算学术会议（CFTC'13）》|2013年|74-77106|共5页
会议地点重庆
作者
XIAO Qing; 肖庆; YANG Zhao-hong; 杨朝红; JIN Li-ya; 金丽亚; BI Xue-jun; 毕学军;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件工程; 缺陷检测; 函数摘要; 静态分析;

相似文献

中文文献
外文文献
专利

1. 基于函数调用序列模式和函数调用图的程序缺陷检测方法 [J] . 崔展齐 . 湘潭大学自然科学学报 . 2018,第002期
2. 基于动态焦点损失函数和样本平衡方法的绝缘子缺陷检测方法 [J] . 赵振兵 ,李延旭 ,戚银城 . 电力自动化设备 . 2020,第010期
3. 面向钢丝绳缺陷检测的图像预处理方法 [J] . 杨怀颖 ,陈国栋 ,祝可为 . 福建电脑 . 2021,第001期
4. 面向钢丝绳缺陷检测的图像预处理方法 [J] . 杨怀颖 ,陈国栋 ,祝可为 . 福建电脑 . 2021,第001期
5. 面向卷烟爆珠放行检验的气泡缺陷检测方法 [J] . 徐龙泉 ,李志刚 ,刘勇 . 烟草科技 . 2020,第010期
6. Java语言基于函数摘要的全局分析静态测试方法 [C] . 胡成杰 ,官云战 ,金大海 . 第六届中国测试学术会议 . 2010
7. 面向家具板表面的缺陷检测方法研究 [A] . 吴文涛 . 2021

面向缺陷检测的函数摘要方法

摘要

著录项

相似文献

相关主题

期刊订阅