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

admin2009-07-15 65

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 B集群(cluster)技术是向一组独立的计算机提供高速通信线路，组成一个共享数据存储空间的服务器系统，提高了系统的数据处理能力;
【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、 D在Serv—U软件用户“目录访问”选项卡中，“目录”权限设置选项主要有“列表”、“创建”和“移除”等，不包括“删除”权限。
A、 B、 C、 D、 B从用户接入的角度来看，光纤到同轴电缆混合网是经过双向改造的有线电视网络，是用户通过有线电视宽带接人Internet的一种方式，其数据传输速率可达10～36Mbit／s。
A、 B、 C、 D、 B漏洞是指计算机系统在硬件、软件、协议设计、具体实现以及系统安全策略等方面存在的缺陷和不足。漏洞扫描工具不是实时监视网络上的入侵，但能够测试和评价系统的安全性，并及时发现安伞漏洞。
某学校拟组建一个小型校园网，具体设计如下：设计要求如下：①终端用户包括：48个校园网普通用户；一个有24个多媒体用户的电子阅览室；一个有48个用户的多媒体教室(性能要求高于电子阅览室)。②服务器提供Web、DNS、E-mail服务。③支持远程教学，可以接人
A、 B、 C、 D、 D弹性分组环是一种在光纤上高效传输IP分组的传输技术，它的工作基础是Cisco公司提出的动态分组传送(DynamicPacketTransport，DPT)技术。弹性分组环RPR
A、 B、 C、 D、 B网桥协议数据单元(BPDU)每隔2s定时发送一次，即更新周期为2s。在网络发生故障或拓扑结构发生变化时也会发送新的BPDU，以便维护生成树树状结构。
下列选项中，哪些因素决定着综合布线时系统所采用的拓扑结构类型()。①工程范围②施工时间③对外配合④设备配置⑤用户需要⑥建设规模
阅读以下说明，回答问题(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主机

随机试题

论有限责任公司股东的权利和义务。
患者，女性，20岁，临床诊断为缺铁性贫血。实验室检查结果与诊断不符合的是
关于砌体房屋的总高度和层数，下列叙述中正确的是()。
建设单位应以(　　)的方式确定环评单位，开展环境影响评价工作。
简述原始凭证的基本内容。
一般资料：王某，女性，22岁，公交车售票员。案例介绍：王某由其母亲带来，主诉两年来经常被人盯着看，她实在忍无可忍，现已严重影响了工作和生活。下面是心理咨询师和求助者的一段咨询对话咨询师：你能说说什么人盯着你吗?王某：
家禽场里鸡、鸭、鹅三种家禽中公禽与母禽数量之比是2：3，已知鸡、鸭、鹅数量之比是8：7：5，公鸡、母鸡数量比是1：3，公鸭、母鸭数量比是3：4。公鹅、母鹅的数量比是多少?
举例阐述在一个2[组间]×3[组内]的混合实验中采用哪些统计方法对两个因素的数据变化趋势、因素的主效应、交互作用进行详细和深入地分析?如果交互作用显著，应如何进行进一步的分析，并对统计结果进行解释。
在信息系统集成项目开发的开始阶段，如果项目存在很多不确定性因素且项目的参与人员还不能完全理解项目开发的范围和需求，那么采用(10)作为此项目的开发模型更符合项目的实际情况。
Whichoneofthefollowingbestdescribes"purchases"inaccounting?______.

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

A、 B、 C、 D、 B集群(cluster)技术是向一组独立的计算机提供高速通信线路，组成一个共享数据存储空间的服务器系统，提高了系统的数据处理能力;

【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、 D在Serv—U软件用户“目录访问”选项卡中，“目录”权限设置选项主要有“列表”、“创建”和“移除”等，不包括“删除”权限。

A、 B、 C、 D、 B从用户接入的角度来看，光纤到同轴电缆混合网是经过双向改造的有线电视网络，是用户通过有线电视宽带接人Internet的一种方式，其数据传输速率可达10～36Mbit／s。

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

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

A、 B、 C、 D、 B网桥协议数据单元(BPDU)每隔2s定时发送一次，即更新周期为2s。在网络发生故障或拓扑结构发生变化时也会发送新的BPDU，以便维护生成树树状结构。

下列选项中，哪些因素决定着综合布线时系统所采用的拓扑结构类型()。①工程范围②施工时间③对外配合④设备配置⑤用户需要⑥建设规模

阅读以下说明，回答问题(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主机

论有限责任公司股东的权利和义务。

患者，女性，20岁，临床诊断为缺铁性贫血。实验室检查结果与诊断不符合的是

关于砌体房屋的总高度和层数，下列叙述中正确的是()。

建设单位应以( )的方式确定环评单位，开展环境影响评价工作。

简述原始凭证的基本内容。

家禽场里鸡、鸭、鹅三种家禽中公禽与母禽数量之比是2：3，已知鸡、鸭、鹅数量之比是8：7：5，公鸡、母鸡数量比是1：3，公鸭、母鸭数量比是3：4。公鹅、母鹅的数量比是多少?

举例阐述在一个2[组间]×3[组内]的混合实验中采用哪些统计方法对两个因素的数据变化趋势、因素的主效应、交互作用进行详细和深入地分析?如果交互作用显著，应如何进行进一步的分析，并对统计结果进行解释。

在信息系统集成项目开发的开始阶段，如果项目存在很多不确定性因素且项目的参与人员还不能完全理解项目开发的范围和需求，那么采用(10)作为此项目的开发模型更符合项目的实际情况。

Whichoneofthefollowingbestdescribes"purchases"inaccounting?______.

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

建设单位应以(　　)的方式确定环评单位，开展环境影响评价工作。