验证循环程序的完全正确性，必须证明循环的
举一反三
- 验证循环程序的完全正确性，必须证明循环的（ ）。 A: 可终止性 B: 可理解性 C: 可重复性 D: 可进行性
- 验证循环程序的完全正确性，必须证明循环的（ ）。 A: 可终止性 B: 可理解性 C: 可重复性 D: 可进行性
- （）即指程序的正确性验证，经过验证才能认为程序基本正确，在经过一段时间试用，才能证明程序完全正确。可分为代码测试和程序功能测试。
- 第8章复习2. （）即指程序的正确性验证，经过验证才能认为程序基本正确，在经过一段时间试用，才能证明程序完全正确。可分为代码测试和程序功能测试。
- 找到合适的循环不变式能验证 A: 程序的部分正确性。 B: 程序的全部正确性。 C: 程序的全部错误。 D: 程序的全部逻辑错误。