（ ）认为结果并不能证明手段的正确性。
举一反三
- 形式化化方法并不能保证软件的正确性，是有助于开发高质量软件的一种手段。
- 逻辑证明在检验真理过程中具有重要作用，但它并不能充当检验真理的标准，原因在于（ ）。 A: 逻辑推理所展现的仅仅是命题形式之间的必然联系，它并不涉及命题的内容 B: 逻辑证明标准是确定性和不确定性的统一 C: 逻辑推理规则本身的正确性也是逻辑所不能证明的 D: 逻辑证明的结论是否正确，最终也还要实践来检验
- 软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。
- 存查煤样的测定结果只能证明原化验结果是否正确，不能证明原采样和制样是否正确。
- 下列一个测试结果的说法正确的是：（）。 A: 一个测试用例来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作 B: 一个测试记录来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作 C: 一个测试结果来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作 D: 一个测试数据集来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作