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

admin2009-07-15 76

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 D在网络系统分层设计巾，层次之间的上联带宽与下一级带宽之比一般控制在1：20。如果一个接入交换机有24个10／100Mbit／s端口，那么其上联带宽可以控制在(24×100)／20=
A、 B、 C、 D、 C带内网络管理是指利用数据通信网(DCN)或公共交换电话网(PSTN)拨号，对网络设备进行数据配置。带外网络管理是指利用网络管理协议(SNMP)建立网络管理系统，实时采集网络数据，产生
A、 B、 C、 D、 ARPR是一种在光纤上高速传输IP分组的传输技术，它的工作基础是cisco公司提出的动态分组传送(DPT)技术。弹性分组环RPR采用的是双环结构，这一点与FDDI结构相同。
R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(a)所示，当R1收到R2发送的如下图(b)的(V，D)报文后，R1更新的4个路由表项中距离值从上到下依次为0、2、3、3那么，①②③④可能的取值依次为
网络系统分层设计的另一个好处是可以方便地分配与规划带宽，有利于均衡负荷，提高网络效率。经验数据是：层次之间的上联带宽与下联带宽之比一般控制在()。
单位时间内通过路由器或线路的通信量用于描述()。
A、 B、 C、 D、 D在用户单位制定项目建设任务书，并且确定网络信息系统建设任务之后，项目承担单位的首要任务就是网络用户调查和网络工程需求分析。网络工程需求分析要从实际出发，通过现场实地调研，收集第一手资
A、 B、 C、 D、 A在热备份中有一个很大的问题就是数据有效性和完整性问题，如果备份过程产生了数据不一致性，会导致数据的不可用。解决此问题的方法是对于一些总是处于打开状态的重要数据文件，备份系统可以采取文
R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(A)所示，当R1收到R2发送的如下图(B)的[V，D]报文后，R1更新的4个路由表项中距离值从上到下依次为0、3、3、4。那么，①②③④可能的取值依次为______。
在计算机系统中，下列哪些进程存在与时间有关的相互制约问题?()

随机试题

分离黄酮类化合物最常用的方法是（）
维生素B2100μg相当于
面层应具有()和高低温稳定性，并且其表面层还应具有良好的平整度和粗糙度。
下列说法中错误的是()。
下列各项关于股份支付的相关说法中，正确的是()。
已知实际利率为10％，通货膨胀率为5％，那么可以得出名义利率等于15％。()
“我们的儿童是我们国家的未来的公民，也是世界的公民，他们将创造历史。”马卡连柯的这句话体现了他对教育目的所持的观点是()。
A、14．2B、16．4C、18．6D、15A(6．4—0．9)+1=6．5；(6．8—1．6)+1=6．2；(?一7．2)+1一8=14．2。
IntheUnitedStates,itisnotcustomarytotelephonesomeoneveryearlyinthemorning.Ifyoutelephonehimearlyintheday,
下列关于宽带城域网技术的描述中，错误的是()。

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

A、 B、 C、 D、 D在网络系统分层设计巾，层次之间的上联带宽与下一级带宽之比一般控制在1：20。如果一个接入交换机有24个10／100Mbit／s端口，那么其上联带宽可以控制在(24×100)／20=

A、 B、 C、 D、 C带内网络管理是指利用数据通信网(DCN)或公共交换电话网(PSTN)拨号，对网络设备进行数据配置。带外网络管理是指利用网络管理协议(SNMP)建立网络管理系统，实时采集网络数据，产生

A、 B、 C、 D、 ARPR是一种在光纤上高速传输IP分组的传输技术，它的工作基础是cisco公司提出的动态分组传送(DPT)技术。弹性分组环RPR采用的是双环结构，这一点与FDDI结构相同。

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

网络系统分层设计的另一个好处是可以方便地分配与规划带宽，有利于均衡负荷，提高网络效率。经验数据是：层次之间的上联带宽与下联带宽之比一般控制在()。

单位时间内通过路由器或线路的通信量用于描述()。

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

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

在计算机系统中，下列哪些进程存在与时间有关的相互制约问题?()

分离黄酮类化合物最常用的方法是（）

维生素B2100μg相当于

面层应具有()和高低温稳定性，并且其表面层还应具有良好的平整度和粗糙度。

下列说法中错误的是()。

下列各项关于股份支付的相关说法中，正确的是()。

已知实际利率为10％，通货膨胀率为5％，那么可以得出名义利率等于15％。()

“我们的儿童是我们国家的未来的公民，也是世界的公民，他们将创造历史。”马卡连柯的这句话体现了他对教育目的所持的观点是()。

A、14．2B、16．4C、18．6D、15A(6．4—0．9)+1=6．5；(6．8—1．6)+1=6．2；(?一7．2)+1一8=14．2。

IntheUnitedStates,itisnotcustomarytotelephonesomeoneveryearlyinthemorning.Ifyoutelephonehimearlyintheday,

下列关于宽带城域网技术的描述中，错误的是()。

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