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

admin2009-07-15 70

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

【1】：：B6D7：2706【2】182.215.32.0【3】255.255.255.255【4】182.215.63.254【5】0.0.7.6在IPv6中，地址扩充为128位，并且为IPv4保留了～部分地址空间。按IPv6的地址的表示方法，
A、 B、 C、 D、 DOSPF协议使用层次结构的区域划分，将一个自治系统内部划分成一个主干区域和若干个区域，主干区域连接多个区域，主干区域内部的路由器称为主干路由器，连接各个区域的路由器称为区域边界路由器
A、 B、 C、 D、 A防火墙的作用是：检查所有从外部网络进入内部网络和从内部网络流出到外部网络的数据包；执行安全策略，限制所有不符合安全策略要求的数据包通过；具有防攻击能力，保证自身的安全性。
A、 B、 C、 D、 B漏洞是指计算机系统在硬件、软件、协议设计、具体实现以及系统安全策略等方面存在的缺陷和不足。漏洞扫描工具不是实时监视网络上的入侵，但能够测试和评价系统的安全性，并及时发现安伞漏洞。
下列关于入侵检测系统探测器获取网络流量的方法中，错误的是
R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(a)所示，当R1收到R2发送的如下图(b)的(V，D)报文后，R1更新的4个路由表项中距离值从上到下依次为0、2、3、3那么，①②③④可能的取值依次为
若要求某服务器系统年停机时间小于等于45分钟，则该服务系统的可用性至少达到______。
网络系统分层设计的另一个好处是可以方便地分配与规划带宽，有利于均衡负荷，提高网络效率。经验数据是：层次之间的上联带宽与下联带宽之比一般控制在()。
请根据图3所示网络结构回答下列问题。(1)填写路由器RG的路由表项①至⑥。(2)路由器RC为Cisco路由器，并且有以下配置：access-list130denyudpanyanyeq1434access-list130

随机试题

妊娠期口腔预防的重点应是
心绞痛发生的主要原因是
【背景资料】某水库除险加固工程内容有：(1)溢洪道的闸墩与底板加固，闸门更换；(2)土坝黏土灌浆、贴坡排水、护坡和坝顶道路重建。施工项目根据合同工期、设备、人员、场Ω地等具体情况编制了施工总进度计划，形成的时标网络图如图1(单位：d)所示。图1施工进
认为人有自我实现的需要，提倡应充分发挥人的潜能的心理学理论是()。
组织公民行为是指一种由员工自主决定的行为，不包括在员工的正式工作要求当中，但它无疑会促进组织的有效性。根据上述定义，下列属于组织公民行为的是()。
在输入输出控制方法中，采用(1)可以使得设备与主存间的数据块传送无需CPU干预。
VBA程序流程控制的方式是
我们学校的留学生______大多数。
Farmers’MarketsCharlotteHollinsknowsshefacesabattle.The23-year-oldBritishfarmerandher21-year-oldbrotherBen
YouwillhearabankconversationbetweenadepartmentdirectorSteveandanewcustomerHansa.Foreachquestion(23-30),ma

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

【1】：：B6D7：2706【2】182.215.32.0【3】255.255.255.255【4】182.215.63.254【5】0.0.7.6在IPv6中，地址扩充为128位，并且为IPv4保留了～部分地址空间。按IPv6的地址的表示方法，

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

A、 B、 C、 D、 A防火墙的作用是：检查所有从外部网络进入内部网络和从内部网络流出到外部网络的数据包；执行安全策略，限制所有不符合安全策略要求的数据包通过；具有防攻击能力，保证自身的安全性。

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

下列关于入侵检测系统探测器获取网络流量的方法中，错误的是

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

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

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

请根据图3所示网络结构回答下列问题。(1)填写路由器RG的路由表项①至⑥。(2)路由器RC为Cisco路由器，并且有以下配置：access-list130denyudpanyanyeq1434access-list130

妊娠期口腔预防的重点应是

心绞痛发生的主要原因是

认为人有自我实现的需要，提倡应充分发挥人的潜能的心理学理论是()。

组织公民行为是指一种由员工自主决定的行为，不包括在员工的正式工作要求当中，但它无疑会促进组织的有效性。根据上述定义，下列属于组织公民行为的是()。

在输入输出控制方法中，采用(1)可以使得设备与主存间的数据块传送无需CPU干预。

VBA程序流程控制的方式是

我们学校的留学生______大多数。

Farmers’MarketsCharlotteHollinsknowsshefacesabattle.The23-year-oldBritishfarmerandher21-year-oldbrotherBen

YouwillhearabankconversationbetweenadepartmentdirectorSteveandanewcustomerHansa.Foreachquestion(23-30),ma

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