测试优先的编程,要求完备的规约:(需要经验)
- 规约
- 测试
- implement
测试不是保证软件质量的最重要手段。
测试的层次:
- 单元测试:单个方法
- 集成测试
- 系统测试:兼容性
——最后,穿插其中的,回归测试,即,若高层次的测试改动了代码内容,需重新进行低层次的测试
静态测试:不运行
动态测试:Junit就是这样的
黑盒测试:针对规约,进行等价类划分,从每个等价类中选一个测试用例&边界。由于划分方法不止一种,有两种处理方式,一是尽量做到笛卡尔积的全覆盖(标准),二是将每种划分方法的每个等价类都覆盖一次。
白盒测试:针对代码,边界值针对分支。