第七章软件结构的健壮性——测试与测试优先编程

1. 软件测试（Software Test） 测试：发现程序中的错误，提高程序正确性的信心。 程序确认的基本方法： 形式化推理（Formal reasoning） 代码评审（Code review） 测试（Testing） 为什么要测试？ 提高软件质量的重要手段 确认是否达到可用的级别（用户需求） 关注系统的某一个侧面的质量特性 是否满足需求spec（正确性） 是否能够正确相应所有可能的需求（正确

>>阅读原文<<