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

admin2009-07-15 38

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

选项

答案归纳断言法

解析

转载请注明原文地址:https://kaotiyun.com/show/WefZ777K

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 DOSPF协议使用层次结构的区域划分，将一个自治系统内部划分成一个主干区域和若干个区域，主干区域连接多个区域，主干区域内部的路由器称为主干路由器，连接各个区域的路由器称为区域边界路由器
A、 B、 C、 D、 C在病毒的生存期内，典型的病毒将经历潜伏阶段、繁殖阶段、触发阶段和执行阶段。其中，处于潜伏阶段的病毒最终要由某个事件来激活；在繁殖阶段，病毒将通过与自身完全相同的副本放入其他程序或者磁
A、 B、 C、 D、 D在Windows中，tracert命令通过发送包含不同TTL的IcMP报文并监听回应报文，来探测到达目的计算机的路径。-d：表示不将IP地址解析为主机名与指定计算机的连接；-h：表示
A、 B、 C、 D、 B漏洞是指计算机系统在硬件、软件、协议设计、具体实现以及系统安全策略等方面存在的缺陷和不足。漏洞扫描工具不是实时监视网络上的入侵，但能够测试和评价系统的安全性，并及时发现安伞漏洞。
R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(a)所示，当R1收到R2发送的如下图(b)的(V，D)报文后，R1更新的4个路由表项中距离值从上到下依次为0、2、3、3那么，①②③④可能的取值依次为
若要求某服务器系统年停机时间小于等于45分钟，则该服务系统的可用性至少达到______。
下列选项中，不属于网络基础服务系统的是()。
下列选项中，关于利用新一代网络技术组建大型企业网的基本结构设计原则的描述不正确的是()。
A、 B、 C、 D、 A在热备份中有一个很大的问题就是数据有效性和完整性问题，如果备份过程产生了数据不一致性，会导致数据的不可用。解决此问题的方法是对于一些总是处于打开状态的重要数据文件，备份系统可以采取文
阅读以下说明，回答问题(1)～(4)。说明：设有A、B、C、D共4台主机都处在同一个物理网络中，A主机的IP地址是192.155.12.112，B主机的IP地址是192.155.12.120，C主机的IP地址是192.155.12.176，D主机

随机试题

急症术前准备不妥的是
患者，女，21岁。1年前右足外伤，近日感觉右足疼痛。X线片见下图：需要考虑哪些疾病
钙排泄的主要器官是
某药品批发企业经营范围包括中药材、中药饮片和生物制品。企业具有较好的避光、避风、防虫、防鼠设备：有一个独立冷库，有用于冷库温度自动检测、记录、调控、报警的设备，冷库制冷设备有双回路供电系统，有封闭式的运输冷藏、冷冻药品的冷藏车；建有符合质量管理要求的计算机
公司内部筹资的来源包括（）。
下列()不属于现金支出的有效管理。
如果某一投资项目所有正指标均大于或等于相应的基准指标，反指标小于或等于基准指标，则可以断定该投资项目完全不具备财务可行性。()
Overthepastcentury,allkindsofunfairnessanddiscriminationhavebeencondemnedormadeillegal.【F1】Butoneinsidiousform
下列关于综合布线系统的描述中，错误的是
Miserabilists’fearofchange:idealists’hopeforabetterworld:anall-purposeadultnostalgiaforlostyouth:allthesethin

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

A、 B、 C、 D、 DOSPF协议使用层次结构的区域划分，将一个自治系统内部划分成一个主干区域和若干个区域，主干区域连接多个区域，主干区域内部的路由器称为主干路由器，连接各个区域的路由器称为区域边界路由器

A、 B、 C、 D、 C在病毒的生存期内，典型的病毒将经历潜伏阶段、繁殖阶段、触发阶段和执行阶段。其中，处于潜伏阶段的病毒最终要由某个事件来激活；在繁殖阶段，病毒将通过与自身完全相同的副本放入其他程序或者磁

A、 B、 C、 D、 D在Windows中，tracert命令通过发送包含不同TTL的IcMP报文并监听回应报文，来探测到达目的计算机的路径。-d：表示不将IP地址解析为主机名与指定计算机的连接；-h：表示

A、 B、 C、 D、 B漏洞是指计算机系统在硬件、软件、协议设计、具体实现以及系统安全策略等方面存在的缺陷和不足。漏洞扫描工具不是实时监视网络上的入侵，但能够测试和评价系统的安全性，并及时发现安伞漏洞。

R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(a)所示，当R1收到R2发送的如下图(b)的(V，D)报文后，R1更新的4个路由表项中距离值从上到下依次为0、2、3、3那么，①②③④可能的取值依次为

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

下列选项中，不属于网络基础服务系统的是()。

下列选项中，关于利用新一代网络技术组建大型企业网的基本结构设计原则的描述不正确的是()。

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

阅读以下说明，回答问题(1)～(4)。说明：设有A、B、C、D共4台主机都处在同一个物理网络中，A主机的IP地址是192.155.12.112，B主机的IP地址是192.155.12.120，C主机的IP地址是192.155.12.176，D主机

急症术前准备不妥的是

患者，女，21岁。1年前右足外伤，近日感觉右足疼痛。X线片见下图：需要考虑哪些疾病

钙排泄的主要器官是

公司内部筹资的来源包括（）。

下列()不属于现金支出的有效管理。

如果某一投资项目所有正指标均大于或等于相应的基准指标，反指标小于或等于基准指标，则可以断定该投资项目完全不具备财务可行性。()

Overthepastcentury,allkindsofunfairnessanddiscriminationhavebeencondemnedormadeillegal.【F1】Butoneinsidiousform

下列关于综合布线系统的描述中，错误的是

Miserabilists’fearofchange:idealists’hopeforabetterworld:anall-purposeadultnostalgiaforlostyouth:allthesethin

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