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

admin2009-07-15 71

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 D弹性分组环RPR采用双环结构，将沿顺时针传输的光纤环称做外环，将沿逆时针传输的光纤环称做内环，RPR的内环和外环都可以用统计复用的方法传输IP分组，同时可以实现“自愈环”的功能，RP
A、 B、 C、 D、 D性能管理包括系统监视器、性能日志和警报。系统监视器提供有关操作系统特定组件和用于搜集性能数据的服务器程序所使用资源的详细信息，并图形化显示性能监视数据。性能日志和警报提供数据记录能力
A、 B、 C、 D、 D0utlookExpress是电子邮件客户端软件，NetMeeting是Inter。net的通信软件，Ac—cess是数据库软件。
当前SNMP管理体系结构中的核心是MIB-2。MIB-2是由______维护的。
A、 B、 C、 D、 A关于典型的高端路由器可靠性与可用性指标应该达到：①无故障连接工作时间大于10万小时；②系统故障恢复时间小于30min；③系统具有自动保护切换功能，主备用切换时间小于50ms；④SDH
网络系统分层设计的另一个好处是可以方便地分配与规划带宽，有利于均衡负荷，提高网络效率。经验数据是：层次之间的上联带宽与下联带宽之比一般控制在()。
A、 B、 C、 D、 D弹性分组环是一种在光纤上高效传输IP分组的传输技术，它的工作基础是Cisco公司提出的动态分组传送(DynamicPacketTransport，DPT)技术。弹性分组环RPR
A、 B、 C、 D、 C防火墙是在网络之间通过执行控制策略来保护网络的系统，它包括硬件和软件。防火墙安装的位置一定是在内部网络与外部网络之间。防火墙主要功能有：①检查所有从外部网络进入内部网络和从内部网络流
两个相互不感知(完全不了解其他进程是否存在)的进程，其潜在的控制问题是()。

随机试题

休克的根本问题是【】
有关肥胖症发生原因的描述，错误的是
(2004)道路红线与建筑控制线对场地的控制，以下哪一条是不正确的?
结构钢材的主要力学性能指标包括：
对于持久性污染物(连续排放)，沉降作用明显的河段适用的水质模式是(　　　)。
A省B市C化工园区某大型化工厂成立于2010年11月，2012年动工建设，2014年投料试车，属于燃料型化工企业。公司拥有十余套生产装置，主要产品为汽油、柴油、煤油、液化气等。二催车间是该企业新建裂解(裂化)车间，其工艺是重油裂化制汽油、柴油，主
恩格斯指出：社会一旦有技术上的需要，这种需要就会比十所大学更能把科学推向前进。整个流体静力学就是由于16世纪和17世纪意大利治理山区河流的需要而产生的。这说明()。
一、注意事项请先仔细阅读给定的资料，然后按照后面提出的“作答要求”依次作答。二、给定资料1．2008年，山东省生产总值达到3.1万亿元，仅次于广东。但是，进入去年9月份之后，国际金融危机对山东经济的影响进一步显现并日益加重：工业生产增幅
RuthSimmonsjoinedGoldmanSachs’sboardasanoutsidedirectorinJanuary2000;ayearlatershebecamepresidentofBrownUni
(2011下集管)在信息系统安全技术体系中，环境安全主要指中心机房的安全保护。以下不属于该体系环境安全内容的是______。

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

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

A、 B、 C、 D、 D性能管理包括系统监视器、性能日志和警报。系统监视器提供有关操作系统特定组件和用于搜集性能数据的服务器程序所使用资源的详细信息，并图形化显示性能监视数据。性能日志和警报提供数据记录能力

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

当前SNMP管理体系结构中的核心是MIB-2。MIB-2是由______维护的。

A、 B、 C、 D、 A关于典型的高端路由器可靠性与可用性指标应该达到：①无故障连接工作时间大于10万小时；②系统故障恢复时间小于30min；③系统具有自动保护切换功能，主备用切换时间小于50ms；④SDH

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

A、 B、 C、 D、 D弹性分组环是一种在光纤上高效传输IP分组的传输技术，它的工作基础是Cisco公司提出的动态分组传送(DynamicPacketTransport，DPT)技术。弹性分组环RPR

A、 B、 C、 D、 C防火墙是在网络之间通过执行控制策略来保护网络的系统，它包括硬件和软件。防火墙安装的位置一定是在内部网络与外部网络之间。防火墙主要功能有：①检查所有从外部网络进入内部网络和从内部网络流

两个相互不感知(完全不了解其他进程是否存在)的进程，其潜在的控制问题是()。

休克的根本问题是【】

有关肥胖症发生原因的描述，错误的是

(2004)道路红线与建筑控制线对场地的控制，以下哪一条是不正确的?

结构钢材的主要力学性能指标包括：

对于持久性污染物(连续排放)，沉降作用明显的河段适用的水质模式是( )。

恩格斯指出：社会一旦有技术上的需要，这种需要就会比十所大学更能把科学推向前进。整个流体静力学就是由于16世纪和17世纪意大利治理山区河流的需要而产生的。这说明()。

RuthSimmonsjoinedGoldmanSachs’sboardasanoutsidedirectorinJanuary2000;ayearlatershebecamepresidentofBrownUni

(2011下集管)在信息系统安全技术体系中，环境安全主要指中心机房的安全保护。以下不属于该体系环境安全内容的是______。

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

对于持久性污染物(连续排放)，沉降作用明显的河段适用的水质模式是(　　　)。