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

admin2009-07-15 44

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 CNAT可以分“一对一”、“多对多”两种类型，实现地址“一对一”转换的方法属于静态NAT，即配置一个内部专用IP地址对应一个公用IP地址。如果每个内部网络的N个用户可以共享M个全局IP
A、 B、 C、 D、 B从用户接入的角度来看，光纤到同轴电缆混合网是经过双向改造的有线电视网络，是用户通过有线电视宽带接人Internet的一种方式，其数据传输速率可达10～36Mbit／s。
A、 B、 C、 D、 A从图中可以看出，NAT的工作原理如下：内部网络地址为10．0．0．1，端口号为3342的主机希望访问Internet上地址为135．2．1．1，端口号为80的服务器。当数据包到NAT
阅读以下说明，回答问题(1)～(5)。SSL(SecureSocketLayer)是目前解决传输层安全问题的一个主要协议，其设计的初衷是基于TCP协议之上提供可靠的端到端安全服务，SSL的实施对于上层的应用程序是透明的。应用SSL协议最广泛的是HT
A、 B、 C、 D、 A关于典型的高端路由器可靠性与可用性指标应该达到：①无故障连接工作时间大于10万小时；②系统故障恢复时间小于30min；③系统具有自动保护切换功能，主备用切换时间小于50ms；④SDH
网络系统分层设计的另一个好处是可以方便地分配与规划带宽，有利于均衡负荷，提高网络效率。经验数据是：层次之间的上联带宽与下联带宽之比一般控制在()。
请根据图3所示网络结构回答下列问题。(1)填写路由器RG的路由表项①至⑥。(2)路由器RC为Cisco路由器，并且有以下配置：access-list130denyudpanyanyeq1434access-list130
在层次化园区网络设计中，是接入层的功能是______。
R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(A)所示，当R1收到R2发送的如下图(B)的[V，D]报文后，R1更新的4个路由表项中距离值从上到下依次为0、3、3、4。那么，①②③④可能的取值依次为______。

随机试题

喷涂控制柜用来控制喷涂静电电压、供粉量和流化气压。
一家文化传媒公司主要从事影片制作和发行等相关业务。近期准备为一家企业拍摄广告，考虑到广告设计需要文案、导演、场务、音乐合成、美工、剪辑等专业的合作才能完成，以下能最好支撑该公司业务要求的组织结构形式是（）
在WORD中，＿＿会出现“另存为”对话框?
患者大便溏泻，完谷不化，畏寒肢冷，今又午后潮热，夜间盗汗。其病机是
干扰素的抗病毒作用机制是
用药期间禁止饮酒，否则可出现面部潮红、头痛、眩晕等“双硫仑样反应”的药品是()。
非淋菌性尿道炎的病原体以沙眼衣原体和支原体为主。()
概率分析一般是计算项目净现值的期望及净现值(　　)时累计概率。
某甲在未取得建筑许可证的情况下建房两间，对此，区城建局作出责令其在一定期限内拆除违章建筑的决定。甲在指定的期限内未拆除违章建筑，因而区城建局应当()。
在VisualFoxpro中，如果希望一个内存变量只限于在本过程中使用，说明这种内存变量的命令是()。

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

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

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

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

阅读以下说明，回答问题(1)～(5)。SSL(SecureSocketLayer)是目前解决传输层安全问题的一个主要协议，其设计的初衷是基于TCP协议之上提供可靠的端到端安全服务，SSL的实施对于上层的应用程序是透明的。应用SSL协议最广泛的是HT

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

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

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

在层次化园区网络设计中，是接入层的功能是______。

喷涂控制柜用来控制喷涂静电电压、供粉量和流化气压。

在WORD中，＿＿会出现“另存为”对话框?

患者大便溏泻，完谷不化，畏寒肢冷，今又午后潮热，夜间盗汗。其病机是

干扰素的抗病毒作用机制是

用药期间禁止饮酒，否则可出现面部潮红、头痛、眩晕等“双硫仑样反应”的药品是()。

非淋菌性尿道炎的病原体以沙眼衣原体和支原体为主。()

概率分析一般是计算项目净现值的期望及净现值( )时累计概率。

某甲在未取得建筑许可证的情况下建房两间，对此，区城建局作出责令其在一定期限内拆除违章建筑的决定。甲在指定的期限内未拆除违章建筑，因而区城建局应当()。

在VisualFoxpro中，如果希望一个内存变量只限于在本过程中使用，说明这种内存变量的命令是()。

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

概率分析一般是计算项目净现值的期望及净现值(　　)时累计概率。