软件检测之缺陷模式库
来源:互联网 发布:蔡家坡广电网络 编辑:程序博客网 时间:2024/04/29 02:39
此文内容是以LIST的形式,列出与软件缺陷相关特征及其描述。对不同类型的错误有较大粒度的分类,在每一个分类下有若干具体的错误形式的描述,这些描述包括但不限于:错误名称(NAME)、错误描述(DESCRIPTION)、示例错误代码(SAMPLE)、可能还会提供可行修改方案(PATCH,说可能是因为如果我太懒就不想写了)。
*程序语法错不在此列,因其与程序员编程能力、具体语言特征以及编译器所能支持的程序特性相关。
*此LIST会持续不定期更新。
====================================
CATEGORY 1:subtle semantic errors(most of these are runtime errors)
[1] :
NAME: branches errors
DESCRIPTION: redundant program ingredient after branches
SAMPLE:
if( ... ); return;PATCH: delete redundant program ingredient
[2]
NAME: undefined symbol
DESCRIPTION: binary can not find and correctly link to the specified symbol.
SAMPLE: Most of these errors are caused by you reference a symbol from a lib, but not correctly specify the path of the lib(either static lib or dynamic lib)
The other situation included but not limit to that such as you declared an "inline" function in a class while define it in the source file.
CATEGORY 2: general semantic errors
[1]
NAME: memory leak
DESCRIPTION: malloc new memory from heap and forget to release it; or does not release it in all control flow pathes.
SAMPLE:
pt=new xxx;...... // no deletePATCH: release related memory in all related control flow path
CATEGORY 3: concurrency bugs
[1]
NAME: data race
DESCRIPTION: two threads modify the same shared memory without synchronization, at least one of them are write operation
SAMPLE:
int glo;thread 1glo=1;thread 2:local=glo;PATCH: add suitable synchronization between related threads.
TO BE CONTINUED ...
- 软件检测之缺陷模式库
- vidi电子产品缺陷检测软件外观检测自学习人工智能软件
- [个体软件过程]之缺陷管理--缺陷&缺陷查找技术
- 软件缺陷谁之过?
- 软件缺陷度量之旅
- 软件测试之缺陷等级
- 软件测试之缺陷预防
- 软件测试之-软件缺陷管理
- 缺陷检测之——detect_indent_fft
- Halcon学习笔记之缺陷检测(一)
- Halcon学习笔记之缺陷检测1
- Halcon学习笔记之缺陷检测2
- Halcon学习笔记之缺陷检测
- [个体软件过程]之缺陷管理--缺陷预测
- 基于机器视觉的孔壁缺陷检测------软件系统
- VIDI软件在粗糙金属表面缺陷检测中的应用
- 个体软件过程之缺陷管理
- 测试之软件引入缺陷的原因
- 教务系统总结四(思想)
- JSP企业面试题
- 解读Python内存管理机制
- Hibernate事件监听
- C++6.0调试篇:变量的观察--watch窗口的技巧
- 软件检测之缺陷模式库
- 跟踪方面最新论文
- 自定义消息处理示例
- 马云建言新同事:三年内需经看、信、思考等五步
- WCF一步一步往前爬(五)
- linux常用操作命令
- WP7编程 XNA框架中播放动画
- 定时器Timer
- R语言,图形