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

admin2009-07-15 80

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

选项

答案归纳断言法

解析

转载请注明原文地址:https://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、 C在病毒的生存期内，典型的病毒将经历潜伏阶段、繁殖阶段、触发阶段和执行阶段。其中，处于潜伏阶段的病毒最终要由某个事件来激活；在繁殖阶段，病毒将通过与自身完全相同的副本放入其他程序或者磁
A、 B、 C、 D、 A防火墙的作用是：检查所有从外部网络进入内部网络和从内部网络流出到外部网络的数据包；执行安全策略，限制所有不符合安全策略要求的数据包通过；具有防攻击能力，保证自身的安全性。
A、 B、 C、 D、 D在Windows中，tracert命令通过发送包含不同TTL的IcMP报文并监听回应报文，来探测到达目的计算机的路径。-d：表示不将IP地址解析为主机名与指定计算机的连接；-h：表示
A、 B、 C、 D、 A从图中可以看出，NAT的工作原理如下：内部网络地址为10．0．0．1，端口号为3342的主机希望访问Internet上地址为135．2．1．1，端口号为80的服务器。当数据包到NAT
某学校拟组建一个小型校园网，具体设计如下：设计要求如下：①终端用户包括：48个校园网普通用户；一个有24个多媒体用户的电子阅览室；一个有48个用户的多媒体教室(性能要求高于电子阅览室)。②服务器提供Web、DNS、E-mail服务。③支持远程教学，可以接人
下列选项中，关于网络需求调研与系统设计的基本原则描述不正确的是()。
A、 B、 C、 D、 B无源光纤网PON是ITU的SG15研究组在G.983建议“基于无源光纤网的高速光纤接入系统”进行标准化得到的。该建议分为两个部分：1．OC3，155．520Mbit/s的对
下列选项中，关于利用新一代网络技术组建大型企业网的基本结构设计原则的描述不正确的是()。
下列选项中，哪些因素决定着综合布线时系统所采用的拓扑结构类型()。①工程范围②施工时间③对外配合④设备配置⑤用户需要⑥建设规模

随机试题

热导率是物质导热能力的标志，热导率值越大，导热能力越弱。()
[*]
肺源性心脏病肺动脉高压形成的最主要的因素是
中国甲公司与德国乙公司于2011年4月签订了购买一批食品的合同。合同采用CFR术语，由某航运公司的“大洋”轮承运，将该批货物从马塞运往中国青岛．甲公司向中国人民保险公司投保了水渍险。“大洋”轮在运输途中遇小雨，因货舱舱盖不严而使部分货物湿损。请问依2010
(2009年)采用滴定剂的电位分析法，滴定终点的确定是用()。
临界区是指并发进程中访问共享变量的
在考生文件夹下，打开文档WORD1.DOCX，按照要求完成下列操作并以该文件名（WORD1.DOCX）保存文档。将正文第二段（“黄山集泰山之雄伟……全人类的瑰宝。”）分为等宽的两栏；栏间加分隔线；在页面底端居中位置插入页码，样式为“普通数字2”。
Allthewisdomoftheages,allthestoriesthathavedelightedmankindforcenturies,areeasilyandcheaply【21】toallofus【22
Whatdoesthewomanmean?
Thegreenhouseeffectcausestroublebyraisingthetemperatureoftheplanet.The【1】riseisnotverymuch,buttheEarth’secos

最新回复(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、 C在病毒的生存期内，典型的病毒将经历潜伏阶段、繁殖阶段、触发阶段和执行阶段。其中，处于潜伏阶段的病毒最终要由某个事件来激活；在繁殖阶段，病毒将通过与自身完全相同的副本放入其他程序或者磁

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

A、 B、 C、 D、 D在Windows中，tracert命令通过发送包含不同TTL的IcMP报文并监听回应报文，来探测到达目的计算机的路径。-d：表示不将IP地址解析为主机名与指定计算机的连接；-h：表示

A、 B、 C、 D、 A从图中可以看出，NAT的工作原理如下：内部网络地址为10．0．0．1，端口号为3342的主机希望访问Internet上地址为135．2．1．1，端口号为80的服务器。当数据包到NAT

下列选项中，关于网络需求调研与系统设计的基本原则描述不正确的是()。

A、 B、 C、 D、 B无源光纤网PON是ITU的SG15研究组在G.983建议“基于无源光纤网的高速光纤接入系统”进行标准化得到的。该建议分为两个部分：1．OC3，155．520Mbit/s的对

下列选项中，关于利用新一代网络技术组建大型企业网的基本结构设计原则的描述不正确的是()。

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

热导率是物质导热能力的标志，热导率值越大，导热能力越弱。()

[*]

肺源性心脏病肺动脉高压形成的最主要的因素是

(2009年)采用滴定剂的电位分析法，滴定终点的确定是用()。

临界区是指并发进程中访问共享变量的

Allthewisdomoftheages,allthestoriesthathavedelightedmankindforcenturies,areeasilyandcheaply【21】toallofus【22

Whatdoesthewomanmean?

Thegreenhouseeffectcausestroublebyraisingthetemperatureoftheplanet.The【1】riseisnotverymuch,buttheEarth’secos

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