程序正确性证明最常用的方法是【】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

admin2009-07-15 46

问题程序正确性证明最常用的方法是【】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

选项

答案归纳断言法

解析

转载请注明原文地址:https://jikaoti.com/ti/Iuh7FFFM

本试题收录于：三级信息管理技术题库NCRE全国计算机三级分类

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 B集群(cluster)技术是向一组独立的计算机提供高速通信线路，组成一个共享数据存储空间的服务器系统，提高了系统的数据处理能力;
A、 B、 C、 D、 D弹性分组环RPR采用双环结构，将沿顺时针传输的光纤环称做外环，将沿逆时针传输的光纤环称做内环，RPR的内环和外环都可以用统计复用的方法传输IP分组，同时可以实现“自愈环”的功能，RP
A、 B、 C、 D、 A在配置访问控制列表的规则中，关键字“any”代表的通配符掩码是255．255．255．255的反码，即0．0．0．0，所以选A。
A、 B、 C、 D、 D0utlookExpress是电子邮件客户端软件，NetMeeting是Inter。net的通信软件，Ac—cess是数据库软件。
若要求某服务器系统年停机时间小于等于45分钟，则该服务系统的可用性至少达到______。
下列选项中，关于网络需求调研与系统设计的基本原则描述不正确的是()。
在层次化园区网络设计中，是接入层的功能是______。
ISS的SafeSuite是一套用于网络安全扫描的软件工具，它包括——。
A、 B、 C、 D、 D在用户单位制定项目建设任务书，并且确定网络信息系统建设任务之后，项目承担单位的首要任务就是网络用户调查和网络工程需求分析。网络工程需求分析要从实际出发，通过现场实地调研，收集第一手资
A、 B、 C、 D、 A在热备份中有一个很大的问题就是数据有效性和完整性问题，如果备份过程产生了数据不一致性，会导致数据的不可用。解决此问题的方法是对于一些总是处于打开状态的重要数据文件，备份系统可以采取文

随机试题

A．金铃子散B．丹参饮C．少腹逐瘀汤D．复元活血汤E．桃红四物汤(1999年第95，96题)心腹痛，痛势较轻，郁闷不适，舌暗脉沉者，治疗选用()
能感受旋转变速运动时位置变化的刺激的结构是
具有芳香气味的药材一般不适用于()。
心脏骤停后最容易发生的继发性病理变化是
金融期货交易实行保证金制度和每日结算制度，交易者均以（）为交易对手。
下列关于公司债券上市的说法中，错误的是()。
BOT项目发起人(　　)。
李某是甲企业的中层管理人员，2018年第四季度发生了以下经济行为：(1)每月工资20000元，因表现突出，10月份另发5000元给李某作为奖励。(2)10月以160万元的价格，转让一套两年前无偿受赠获得的房产。原捐赠人取得该房屋的实际购
“网红经济和网红现象一方面受到热捧，一方面受到非议和质疑。”这表明()。
如果高层管理人员本人不参与薪酬政策的制定，公司最后确定的薪酬政策就不会成功。另外，如果有更多的管理人员参与薪酬政策的制定，告诉公司他们认为重要的薪酬政策，公司最后确定的薪酬政策将更加有效。以上陈述如果为真，以下哪项陈述不可能有假?

最新回复(0)

程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

三级信息管理技术

NCRE全国计算机三级

A、 B、 C、 D、 B集群(cluster)技术是向一组独立的计算机提供高速通信线路，组成一个共享数据存储空间的服务器系统，提高了系统的数据处理能力;

A、 B、 C、 D、 D弹性分组环RPR采用双环结构，将沿顺时针传输的光纤环称做外环，将沿逆时针传输的光纤环称做内环，RPR的内环和外环都可以用统计复用的方法传输IP分组，同时可以实现“自愈环”的功能，RP

A、 B、 C、 D、 A在配置访问控制列表的规则中，关键字“any”代表的通配符掩码是255．255．255．255的反码，即0．0．0．0，所以选A。

A、 B、 C、 D、 D0utlookExpress是电子邮件客户端软件，NetMeeting是Inter。net的通信软件，Ac—cess是数据库软件。

若要求某服务器系统年停机时间小于等于45分钟，则该服务系统的可用性至少达到______。

下列选项中，关于网络需求调研与系统设计的基本原则描述不正确的是()。

在层次化园区网络设计中，是接入层的功能是______。

ISS的SafeSuite是一套用于网络安全扫描的软件工具，它包括——。

A、 B、 C、 D、 D在用户单位制定项目建设任务书，并且确定网络信息系统建设任务之后，项目承担单位的首要任务就是网络用户调查和网络工程需求分析。网络工程需求分析要从实际出发，通过现场实地调研，收集第一手资

A、 B、 C、 D、 A在热备份中有一个很大的问题就是数据有效性和完整性问题，如果备份过程产生了数据不一致性，会导致数据的不可用。解决此问题的方法是对于一些总是处于打开状态的重要数据文件，备份系统可以采取文

A．金铃子散B．丹参饮C．少腹逐瘀汤D．复元活血汤E．桃红四物汤(1999年第95，96题)心腹痛，痛势较轻，郁闷不适，舌暗脉沉者，治疗选用()

能感受旋转变速运动时位置变化的刺激的结构是

具有芳香气味的药材一般不适用于()。

心脏骤停后最容易发生的继发性病理变化是

金融期货交易实行保证金制度和每日结算制度，交易者均以（）为交易对手。

下列关于公司债券上市的说法中，错误的是()。

BOT项目发起人( )。

“网红经济和网红现象一方面受到热捧，一方面受到非议和质疑。”这表明()。

程序正确性证明最常用的方法是【】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

BOT项目发起人(　　)。