软件测试与质量保证 课件 第6章 静态测试.pptx

第6章静态测试;2;3;代码质量;高质量程序代码的关键要素;软件开发规范;软件开发规范举例;软件开发规范举例;阿里巴巴Java开发手册;阿里巴巴Java开发手册;阿里巴巴Java开发手册;阿里巴巴Java开发手册;AlibabaJavaCodeGuideLines;14;;;缺陷检测工具;缺陷模式;缺陷模式分类;语法缺陷——低性能模式;语法缺陷——疑问代码模式;语法缺陷——规则模式;语义缺陷——故障模式;故障模式的空指针引用（NPDF）例子;缓冲区溢出（BOF）例子;故障模式的内存泄漏（MLF）例子;数组越界故障的故障模式（OBAF）例子;使用未初始化变量故障模式（UVF）例子