第 1 章 假想的编译程序 第 2 章 自己设计并使用断言 第 3 章 为子系统设防 第 4 章 对程序进行逐条跟踪 第 5 章 糖果机界面 第 6 章 风险事业 第 7 章 编码中的假象 第 8 章 剩下来的就是态度问题