（）即指程序的正确性验证，经过验证才能认为程序基本正确，在经过一段时间试用，才能证明程序完全正确。可分为代码测试和程序功能测试。
举一反三
- 第8章复习2. （）即指程序的正确性验证，经过验证才能认为程序基本正确，在经过一段时间试用，才能证明程序完全正确。可分为代码测试和程序功能测试。
- 对于程序测试，下列说法正确的是 A: 程序测试只能说明程序有错，不能说明该程序是没有错误的。 B: 程序测试中一般是通过穷举所有的输入以验证程序的正确性 C: 程序测试一般不需要特别的测试用例 D: 经过程序测试以后没有任何问题，就说明该程序是没有错误的。
- 软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。
- 以下关于程序测试的叙述，正确的是______。 A: 程序测试的目的是证明程序的正确性 B: 白盒测试也称为功能测试 C: 黑盒测试也称为结构测试 D: 程序测试要注意检验程序是否有多余的功能
- 程序测试是为了证明程序的正确性