编译错误、运行时错误与语义错误，“程序的调试”一节

增量式开发，“增量式开发”一节

打印语句与Scaffold，“增量式开发”一节

gdb，第 10 章 gdb

DbC与Assertion，“折半查找”一节