（ ）认为结果并不能证明手段的正确性。
道义论
举一反三
- 形式化化方法并不能保证软件的正确性，是有助于开发高质量软件的一种手段。
- 逻辑证明在检验真理过程中具有重要作用，但它并不能充当检验真理的标准，原因在于（ ）。 A: 逻辑推理所展现的仅仅是命题形式之间的必然联系，它并不涉及命题的内容 B: 逻辑证明标准是确定性和不确定性的统一 C: 逻辑推理规则本身的正确性也是逻辑所不能证明的 D: 逻辑证明的结论是否正确，最终也还要实践来检验
- 软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。
- 存查煤样的测定结果只能证明原化验结果是否正确，不能证明原采样和制样是否正确。
- 下列一个测试结果的说法正确的是：（）。 A: 一个测试用例来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作 B: 一个测试记录来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作 C: 一个测试结果来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作 D: 一个测试数据集来验证所观察到的结果与所期望的是否一致，并不能证明对于所有的输入数据程序都能够正确工作
内容
- 0
精密度反映了测量结果的重现性，准确度反映了测量结果的正确性。
- 1
因果模型并不能证明因果性。()
- 2
实践是检验真理的惟一标准，但并不排斥逻辑证明的作用，这是因为 A: 逻辑证明给实践作最后的检验和判决 B: 逻辑证明可以论证实践无法直接检验的科学理论的正确性 C: 逻辑规律是永恒真理 D: 逻辑证明是一种探索真理、论证真理的手段
- 3
系统测试的目的是为了证明系统的正确性。 A: 正确 B: 错误
- 4
测试是为了证明软件的正确性。