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

admin2009-07-15 82

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

(1)首先根据IP地址和子网掩码来确定A、B、C、D这4台主机所在子网地址、直接广播地址和主机地址，主机A的计算方法如下：子网掩码为11111111．11111111．11111111．11100000，子网地址为192．155．12．96，主机地址为0．
A、 B、 C、 D、 CNAT可以分“一对一”、“多对多”两种类型，实现地址“一对一”转换的方法属于静态NAT，即配置一个内部专用IP地址对应一个公用IP地址。如果每个内部网络的N个用户可以共享M个全局IP
A、 B、 C、 D、 B根据网络拓扑结构的不同，入侵检测系统的探测器可以通过以下3种方式部署在被检测的网络中：①流量镜像方式。②在网络中新增一台集线器改变网络拓扑结构，通过集线器获取数据包。
若要求某服务器系统年停机时间小于等于45分钟，则该服务系统的可用性至少达到______。
下列选项中，不属于网络基础服务系统的是()。
A、 B、 C、 D、 D弹性分组环是一种在光纤上高效传输IP分组的传输技术，它的工作基础是Cisco公司提出的动态分组传送(DynamicPacketTransport，DPT)技术。弹性分组环RPR
A、 B、 C、 D、 D网络防攻击研究的主要问题如下。(1)网络可能遭到哪些人的攻击；(2)攻击类型与手段可能有哪些；(3)如何及时检测并报告网络被攻击；(4)如何采
下列选项中，哪一项的实质是一种条件的控制，病毒程序可以依据设计者的要求，在一定条件下实施攻击()。
ISS的SafeSuite是一套用于网络安全扫描的软件工具，它包括——。
当网络规模扩大时，适合执行最短路径优先算法的是IGP协议，每个路由器向网络中的其他路由器发布()。当路上信息改变后，路由器按照Dijkstra算法更新路由表。

随机试题

日本军事行政指挥链为()
人民法院作出的破产公告应当包括的内容是()
A．银柴胡B．前胡C．柴胡D．防风E．白头翁有“蚯蚓头”的药材是
患者，男，40岁。两耳轰鸣，按之不减，听力减退，兼见烦躁易怒，咽干，便秘，脉弦。治疗应首选
在第三产程中，对产妇的评估最重要的是
甲于1999年10月30日表示将赠与乙5000元，且已实际支付乙2000元，同年12月1日，乙在与甲之子丙的一次纠纷中，将丙打成重伤，下列选项中哪些是正确的?
关于税法的效力与解释，下列表述正确的有()。
学生学习和模仿的榜样是教师的（）。
Ifateacherregardslanguageasaskill,ahabit,andwanthisstudentstodomuchmechanicalexercisestomasterlanguage,the
ClassificationofLodgingPlacesThetouristindustryhasitsownsystemtoclassifydifferenttypesoflodgingplaces.Five

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

(1)首先根据IP地址和子网掩码来确定A、B、C、D这4台主机所在子网地址、直接广播地址和主机地址，主机A的计算方法如下：子网掩码为11111111．11111111．11111111．11100000，子网地址为192．155．12．96，主机地址为0．

A、 B、 C、 D、 CNAT可以分“一对一”、“多对多”两种类型，实现地址“一对一”转换的方法属于静态NAT，即配置一个内部专用IP地址对应一个公用IP地址。如果每个内部网络的N个用户可以共享M个全局IP

A、 B、 C、 D、 B根据网络拓扑结构的不同，入侵检测系统的探测器可以通过以下3种方式部署在被检测的网络中：①流量镜像方式。②在网络中新增一台集线器改变网络拓扑结构，通过集线器获取数据包。

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

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

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

A、 B、 C、 D、 D网络防攻击研究的主要问题如下。(1)网络可能遭到哪些人的攻击；(2)攻击类型与手段可能有哪些；(3)如何及时检测并报告网络被攻击；(4)如何采

下列选项中，哪一项的实质是一种条件的控制，病毒程序可以依据设计者的要求，在一定条件下实施攻击()。

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

当网络规模扩大时，适合执行最短路径优先算法的是IGP协议，每个路由器向网络中的其他路由器发布()。当路上信息改变后，路由器按照Dijkstra算法更新路由表。

日本军事行政指挥链为()

人民法院作出的破产公告应当包括的内容是()

A．银柴胡B．前胡C．柴胡D．防风E．白头翁有“蚯蚓头”的药材是

患者，男，40岁。两耳轰鸣，按之不减，听力减退，兼见烦躁易怒，咽干，便秘，脉弦。治疗应首选

在第三产程中，对产妇的评估最重要的是

甲于1999年10月30日表示将赠与乙5000元，且已实际支付乙2000元，同年12月1日，乙在与甲之子丙的一次纠纷中，将丙打成重伤，下列选项中哪些是正确的?

关于税法的效力与解释，下列表述正确的有()。

学生学习和模仿的榜样是教师的（）。

Ifateacherregardslanguageasaskill,ahabit,andwanthisstudentstodomuchmechanicalexercisestomasterlanguage,the

ClassificationofLodgingPlacesThetouristindustryhasitsownsystemtoclassifydifferenttypesoflodgingplaces.Five

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