正确性
可靠性
可维护性
有效性
第1题:
提高程序的可渎性和易维护性的关键是使程序结构【 】。
第2题:
在屏蔽软件错误的容错系统中,冗佘附加技术的构成不包括( )。
A.关键程序和数据的冗余存储及调用 B.冗余备份程序的存储及调用 C.实现错误检测和错误恢复的程序 D.实现容错软件所需的固化程序
第3题:
证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保证程序不发生错误。
第4题:
要保证程序在多次反复使用过程中不发生错误,关键应该提高程序的()。
第5题:
第6题:
提高程序可读性与易维护性的关键是使程序结构______。
第7题:
A.错误
B.正确
第8题:
程序正确性证明最常用的方法是【 】,它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证程序不发生错误。
第9题:
第10题:
要编写高质量的程序,判断程序质量的首要标准是程序的(),要保证程序在多次反复使用过程不发生错误,应该保证程序的()。