程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
以下关于代码复用说法错误的是()。 A、提高了开发效率B、降低了程序的错误率C、提高了程序的可维护性D、影响程序的功能
结构化程序设计思想的主要目的是()。 A.提高程序的可靠性B.保证程序的正确性C.提高程序的可读性和可维护性D.支持模块的可重用性
提高软件的可维护性可采取很多措施，下列( )不在措施之列。A．提供没有错误的程序B．建立质量保证制度C．改进程序文档质量D．明确软件质量标准
下列选项中,不是对程序设计的质量主要要求的是( ) A、源程序的技巧性B、源程序的可维护性C、源程序的正确性D、源程序的可读性
在大型程序设计过程中,最后考虑的是程序的(). A.可维护性B.可靠性C.可理解性D.效率
由于计算机处理过程的自动化和程序化，保证凭证的正确性成了会计信息可靠性的关键。()
要编写高质量的程序，判断程序质量的首要标准是程序的（），要保证程序在多次反复使用过程不发生错误，应该保证程序的（）。
源程序投入运行后，发现的问题或错误应容易修改，这是指源程序的（）A、正确性B、可读性C、可调试性D、可维护性
程序设计的质量要求不包括（）。A、正确性B、可维护性C、可靠性D、资源利用的最小性
程序的可维护性、可靠性和可理解性比程序的效率更重要。
软件特性中，在给定的时间间隔内，程序成功运行的概率指的是（）。A、有效性B、可适应性C、正确性D、可靠性
使用不合理的或错误的数据进行系统测试的目的是保证系统的（）A、正确性B、可靠性C、可理解性D、可维护性
要编写高质量的程序，判断程序质量的首要标准是程序的（），要保证程序在多次反复使用过程中不发生错误，应该保证程序的（）。
程序设计要求容错性好，称为程序的（）A、健壮性B、可靠性C、可维护性
应用程序应该具有较强的容错能力，这属于程序设计的（）A、正确性B、可理解性C、可维护性D、可靠性
测试的目的是（），而不是对正确性进行形式化证明。A、要暴露程序中的bugB、要纠正程序中的错误C、要暴露程序中的错误D、要纠正程序中的bug
好的程序设计风格，能够提高程序的（）。A、正确性B、可读性C、可用性D、可维护性
系统测试是测试系统的（）A、正确性B、可靠性C、程序的错误D、系统的错误E、设计错误
填空题要编写高质量的程序，判断程序质量的首要标准是程序的（），要保证程序在多次反复使用过程不发生错误，应该保证程序的（）。
单选题使用不合理的或错误的数据进行系统测试的目的是保证系统的（）A正确性B可靠性C可理解性D可维护性
单选题程序设计的质量要求不包括（）。A正确性B可维护性C可靠性D资源利用的最小性
单选题源程序投入运行后，发现的问题或错误应容易修改，这是指源程序的（）A正确性B可读性C可调试性D可维护性
单选题要保证程序在多次反复使用过程中不发生错误，关键应该提高程序的（）。A正确性B可靠性C可维护性D有效性
多选题好的程序设计风格，能够提高程序的（）。A正确性B可读性C可用性D可维护性
填空题要编写高质量的程序，判断程序质量的首要标准是程序的（），要保证程序在多次反复使用过程中不发生错误，应该保证程序的（）。
单选题程序注释的作用是，为了提高（）？A可维护性B正确性C每日编写代码D适用性