第七章第五节 测试
认可"测试"的价值，搞清楚"测试优先"的哲理
程序正确确认的基本方法:
- 形式化推理
- 代码评审
- 测试
白盒测试：对程序内部代码结构的测试
黑盒测试：对程序外部表现出来的行为的测试
基本过程：
先写spec
再写符合spec的测试用例
写代码、执行测试、有问题再改、再执行测试用例，直到通过它
黑盒测试：
划分等价类，注意边界条件
Eg：
- 在测试类的顶端写策略
- 在每个测试方法前说明测试用例是如何选择的
（这部分摘自博客https://www.cnblogs.com/zhangyushuqing/p/9175278.html）
回归测试：一旦程序被修改，重新执行之前的所有测试
一旦发现bug，要马上写一个可重现该bug的测试用例，并将其加入测试库