第七章第五节 测试

认可"测试"的价值，搞清楚"测试优先"的哲理

程序正确确认的基本方法:

• 形式化推理
• 代码评审
• 测试

白盒测试：对程序内部代码结构的测试

黑盒测试：对程序外部表现出来的行为的测试

 

基本过程：

先写spec

再写符合spec的测试用例

写代码、执行测试、有问题再改、再执行测试用例，直到通过它

 

 

黑盒测试：

划分等价类，注意边界条件

Eg：

 

 

 

• 在测试类的顶端写策略

 

 

• 在每个测试方法前说明测试用例是如何选择的

（这部分摘自博客）

 

 

回归测试：一旦程序被修改，重新执行之前的所有测试

一旦发现bug，要马上写一个可重现该bug的测试用例，并将其加入测试库