验证循环程序的完全正确性，必须证明循环的（ ）。
A: 可终止性
B: 可理解性
C: 可重复性
D: 可进行性
A: 可终止性
B: 可理解性
C: 可重复性
D: 可进行性
A
举一反三
内容
- 0
【09_1_08】软件的可维护性变量可分解为对多种因素的度量，下述各种因素（ ）是可维护度量的内容。 A: 可测试性 B: 可测试性、可理解性 C: 可测试性、可理解性、可修改性 D: 可测试性、可理解性、可修改性、可复用性
- 1
下面可以衡量程序的可维护性的是（ ） A: 可修正性 B: 可理解性 C: 可移植性 D: 可测试性
- 2
科学理论必须具有可检验性，表现为（） A: 可证实性 B: 可证伪性 C: 可重复性 D: 可解释性
- 3
把一个信息系统设计成若干模块的方法称为模块化，这样做的可以使结构整体上具有较高的（）。 A: 正确性、可理解性与可维护性 B: 正确性、流畅性与可维护性 C: 正确性、流畅性与可理解性 D: 流畅性、可理解性与可维护性
- 4
可维护的特性中，相互矛盾的是( )。 A: 可修改性和可理解性 B: 可测试性和可理解性 C: 效率和可修改性 D: 可理解性和可读性