程序设计缺陷分析与实践最新章节目录

封面

版权信息

前言

第1章 程序设计缺陷静态分析

1.1 软件测试分类

1.2 静态分析方法

1.2.1 文档审查

1.2.2 代码审查

1.2.3 技术评审

1.2.4 代码走查

1.2.5 评审类型比较

1.2.6 静态分析的优点

第2章 C/C++语言程序设计缺陷分析

2.1 编码风格

2.1.1 符号误用问题

2.1.2 变量初始化问题

2.1.3 函数返回值问题

2.1.4 其他

2.2 内存管理

2.3 内存泄漏

2.4 缓冲区溢出

2.5 指针问题

2.5.1 空指针解引用

2.5.2 其他

2.6 安全缺陷

2.7 C++中和类有关的编程错误

2.8 其他

第3章 Java语言程序设计缺陷分析

3.1 编码风格

3.2 安全缺陷

第4章 软件质量静态度量

4.1 有关概念

4.2 软件质量模型

4.2.1 McCall模型

4.2.2 Boehm模型

4.2.3 ISO9126模型

4.2.4 ISO/IEC 25010质量模型

4.2.5 关系模型

4.3 软件质量静态度量方法

4.3.1 软件质量静态度量简介

4.3.2 源代码行（LOC）度量

4.3.3 Halstead软件科学度量

4.3.4 McCabe度量

4.3.5 Henry & Kafura 方法

4.3.6 LCSAJ密度

4.3.7 C&K度量

4.3.8 MOOD度量

4.3.9 其他软件质量度量

第5章 常用静态分析工具与使用实践

5.1 PolySpace——运行时错误静态检查工具

5.1.1 PolySpace Verifier

5.1.2 PolySpace Viewer

5.2 Klocwork——代码静态检查工具

5.2.1 工程创建与分析

5.2.2 分析结果查看

5.3 Testbed——静态和动态测试工具

5.3.1 单个文件分析

5.3.2 分析结果查看

5.3.3 多个文件批量分析

5.4 McCabe IQ2——软件质量保证工具

5.4.1 McCabe EQ

5.4.2 McCabe Test

5.4.3 McCabe Reengineer

附录A 软件需求规格说明审查单

附录B 用户手册审查单

参考文献