第一章讲述了如何通过深入挖掘定义正确的问题;第二、三章讲述如何选择算法和数据结构去平衡真正的需求;第四章则通过程序验证技术来确定程序的正确性;而这一章讲了如果实际的编写代码并测试
当我们经过分析、理论验证程序之后,就要亲手编写程序。程序写完不代表结束,还要花费一定时间,来编写脚手架(scaffolding)来测试代码,并了解运行时间
断言既可以用来指导程序代码的开发,也可以用来判断程序的正确性。assert(expression)
的作用是计算表达式expression,如果其值为假(即为0),那么它先向stderr打印一条出错信息,然后通过调用abort来终止程序运行
通过编写自动测试程序计时工具,使得每次改动实验之后都能使得程序达到预期的性能。