内容简介

世界著名程序员，曾4次在国际c语言编程大赛（IOCCC）中折桂。他是FreeBSD操作系统的核心开发人员之一，开发了大量开源软件，包括所有BSD system上的sed编辑器、大受好评的建模引擎UMLGraph和C语言源码分析与重构工具CScout.在英国理工学院获得了软件工程硕士和计算机科学博士学位之后，他目前任教于希腊雅典经济管理大学，领导着一个欧盟资助的开源软件质量协作研究项目。他是IEEE software杂志的编委和专栏作家，曾获Usenix协会终生成就奖，也是网络百科全书Wikipedia的一位活跃作者。出本书外，他的《代码阅读》一书曾获得2004年的Jolt生产效率大奖。

作品目录

第1章　概述
1.1　软件质量
1.1.1　用户、制造者和管理者眼中的质量
1.1.2　质量属性
1.1.3　紧张的世界
1.2　本书阅读指南
1.2.1　排版约定
1.2.2　图示
1.2.3　图表
1.2.4　汇编代码
1.2.5　练习
1.2.6　补充材料
1.2.7　工具
进阶阅读
第2章　可靠性
2.1　输入问题
2.2　输出问题
2.2.1　不完整输出或输出缺失
2.2.2　在错误的时刻输出的正确结果
2.2.3　错误的格式
2.3　逻辑问题
2.3.1　偏差为一的错误与循环迭代
2.3.2　被忽视的极端情况
2.3.3　被遗漏的情况、条件测试和步骤
2.3.4　被遗漏的方法
2.3.5　多余的功能
2.3.6　曲解
2.4　计算问题
2.4.1　不正确的算法或计算
2.4.2　表达式中错误的操作数
2.4.3　表达式中错误的运算符
2.4.4　运算符优先级问题
2.4.5　溢出、下溢和符号转换错误
2.5　并发与时序问题
2.6　接口问题
2.6.1　不正确的例程或参数
2.6.2　没有正确测试返回值
2.6.3　没有提供错误检测或恢复
2.6.4　资源泄漏
2.6.5　误用面向对象功能
2.7　数据处理问题
2.7.1　不正确的数据初始化
2.7.2　引用错误的数据变量
2.7.3　越界引用
2.7.4　不正确的下标使用
2.7.5　不正确的比例或数据单位
2.7.6　不正确的数据打包与解包
2.7.7　不一致的数据
2.8　容错
2.8.1　管理策略
2.8.2　空间冗余
2.8.3　时间冗余
2.8.4　可复原性
锦囊妙计
进阶阅读
第3章　安全性
3.1　脆弱代码
3.2　缓冲区溢出
3.3　竞态条件
3.4　问题API
3.4.1　容易出现缓冲区溢出的函数
3.4.2　格式字符串漏洞
3.4.3　路径与命令行解释器的元字符漏洞
3.4.4　临时文件
3.4.5　不适合密码用途的函数
3.4.6　可篡改数据
3.5　不可信输入
3.6　结果验证
3.7　数据与特权泄漏
3.7.1　数据泄漏
3.7.2　特权泄漏
3.7.3　Java的方法
3.7.4　分离特权代码
3.8　特洛伊木马
3.9　工具　110锦囊妙计
进阶阅读
第4章　时间性能
4.1　测量技术
4.1.1　负载评定
4.1.2　受限于I/O的任务
4.1.3　受限于内核的任务
4.1.4　受限于CPU的任务与剖析工具
4.2　算法复杂性
4.3　独立的代码
4.4　与操作系统交互
4.5　与外设交互
4.6　"不请自来"的交互
4.7　高速缓存处理
4.7.1　一个简单的系统调用高速缓存
4.7.2　替换策略
4.7.3　预先计算结果
锦囊妙计
进阶阅读
第5章　空间性能
5.1　数据
5.1.1　基本数据类型
5.1.2　聚合数据类型
5.1.3　对齐
5.1.4　对象
5.2　内存组织
5.3　内存层次结构
5.3.1　主存及其高速缓存
5.3.2　磁盘高速缓存与分列内
5.3.3　交换区与基于文件的磁盘存储
5.4　进程/操作系统接口
5.4.1　内存分配
5.4.2　内存映射
5.4.3　数据映射
5.4.4　代码映射
5.4.5　访问硬件资源
5.4.6　进程间通信
5.5　堆内存管理
5.5.1　堆碎片
5.5.2　堆剖析
5.5.3　内存泄漏
5.5.4　垃圾收集
5.6　栈内存管理
5.6.1　栈框架
5.6.2　栈空间
5.7　代码
5.7.1　设计时
5.7.2　编码时
5.7.3　构建时
锦囊妙计
进阶阅读
第6章　可移植性
6.1　操作系统
6.2　硬件与处理器体系结构
6.2.1　数据类型的属性
6.2.2　数据存储
6.2.3　特定于计算机的代码
6.3　编译器与语言扩展
6.4　图形用户界面
6.5　国际化与本地化
6.5.1　字符集
6.5.2　区域
6.5.3　消息
锦囊妙计
进阶阅读
第7章　可维护性
7.1　测量可维护性
7.1.1　可维护性指数
7.1.2　面向对象程序的度量
7.1.3　包的依赖度度量
7.2　可分析性
7.2.1　一致性
7.2.2　表达式的格式化
7.2.3　语句的格式化
7.2.4　命名习惯
7.2.5　语句级别的注释
7.2.6　版本注释
7.2.7　视觉结构：块与缩进
7.2.8　表达式、函数与方法的长度
7.2.9　控制结构
7.2.10　布尔表达式
7.2.11　可辨认性与内聚性
7.2.12　依赖与耦合
7.2.13　代码块注释
7.2.14　数据声明注释
7.2.15　正确的标识符名字
7.2.16　依赖的位置
7.2.17　不确定性
7.2.18　可审查性
7.3　可变性
7.3.1　识别
7.3.2　隔离
7.4　稳定性
7.4.1　封装与数据隐藏
7.4.2　数据抽象
7.4.3　类型检查
7.4.4　编译时断言
7.4.5　运行时检查与查看时断
7.5　可测试性
7.5.1　单元测试
7.5.2　集成测试
7.5.3　系统测试
7.5.4　测试覆盖度分析
7.5.5　偶发性测试
7.6　开发环境的影响
7.6.1　增量构建
7.6.2　调整构建性能
锦囊妙计
进阶阅读
第8章　浮点运算
8.1　浮点表示法
8.1.1　量度误差
8.1.2　舍入
8.1.3　内存格式
8.1.4　规格化与隐含的一个位
8.1.5　阶码偏移
8.1.6　负数
8.1.7　反向规格化数
8.1.8　特殊值
8.2　舍入
8.3　溢出
8.4　下溢
8.5　相消
8.6　吸收
8.7　无效运算
锦囊妙计
进阶阅读
附录A　源代码致谢
参考文献
· · · · · ·

作者简介

世界著名程序员，曾4次在国际c语言编程大赛（IOCCC）中折桂。他是FreeBSD操作系统的核心开发人员之一，开发了大量开源软件，包括所有BSD system上的sed编辑器、大受好评的建模引擎UMLGraph和C语言源码分析与重构工具CScout.在英国理工学院获得了软件工程硕士和计算机科学博士学位之后，他目前任教于希腊雅典经济管理大学，领导着一个欧盟资助的开源软件质量协作研究项目。他是IEEE software杂志的编委和专栏作家，曾获Usenix协会终生成就奖，也是网络百科全书Wikipedia的一位活跃作者。出本书外，他的《代码阅读》一书曾获得2004年的Jolt生产效率大奖。

精彩摘录

维护工作分为渐进行为（progressiveactivities）和反回归行为（antiregressiveactivites）。渐进行为能增强系统的功能，反回归行为能弥补演变产生的负面影响，例如重构。

——引自第293页

关注软件过程而不是产品本身是有价值的，而且有时候还是绝对必要的目标。想象一下如果不是生产自行车而是建造航空母舰。美国海军绝不可能只通过检查完工的航空母舰就确定它是符合需求。海军需要做的是检查与航空母舰建造过冲相关的过程元素，这可能包括设计师的资质证明、焊点的X射线成像板，以及所有组件的验收测试结果。如果过分强调过程，代价就是损害产品本身以及用户，结果不可避免的南辕北辙。各种敏捷软件开发方法学（agilesoftwaredevelopmentmethodology），它们信奉变化而非刻板地遵循计划，关注个体胜于过程。

——引自第2页