软件构造 6.5 内容总结

测试优先的编程，要求完备的规约：（需要经验）

1. 规约
2. 测试
3. implement

测试不是保证软件质量的最重要手段。

测试的层次：

1. 单元测试：单个方法
2. 集成测试
3. 系统测试：兼容性

——最后，穿插其中的，回归测试，即，若高层次的测试改动了代码内容，需重新进行低层次的测试

静态测试：不运行

动态测试：Junit就是这样的

黑盒测试：针对规约，进行等价类划分，从每个等价类中选一个测试用例&边界。由于划分方法不止一种，有两种处理方式，一是尽量做到笛卡尔积的全覆盖（标准），二是将每种划分方法的每个等价类都覆盖一次。

白盒测试：针对代码，边界值针对分支。