软件构造之测试总结

测试

1.测试与调试：测试是检测错误的一种手段，调试是诊断和纠正已经检测到的错误的根本原因的手段
2.静态测试：不执行程序，在源代码上进行测试
3.白盒测试：对程序内部代码结构的测试
4.黑盒测试：对程序外部变现出来的行为的测试=>检查程序是否符合规约
5.test case={输入+执行条件+期望结果}
6.TFP：测试优先编程：尽早并经常测试，边开发边测试
写规格说明->写符合的测试->写代码->测试
7.单元测试：针对最小的模型开展测试，隔离各个模块；等价类划分：将被测函数输入域划分为等价类，从等价类中导出测试用例注意考虑边界值分析；典型的白盒测试：对程序所有执行路径进行等价类划分，找出有代表性的最简单的路径（如循环只执行一次），设计测试用例使每一条路径至少覆盖一次
8.回归测试：一旦程序改变，重新执行之前的所有测试
9.编写测试策略。