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

admin2009-07-15 51

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

选项

答案归纳断言法

解析

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

A、 B、 C、 D、 B使用serv—U软件创建“域”时，域端口号的默认值为21；FTP服务器数据连接的默认端口号为20；telnet协议的默认端口号为23；SMlTP协议的默认端口号为25。
A、 B、 C、 D、 D0utlookExpress是电子邮件客户端软件，NetMeeting是Inter。net的通信软件，Ac—cess是数据库软件。
R1、R2是一个自治系统中采用RIP路由协议的两个相邻路由器，R1的路由表如下图(a)所示，当R1收到R2发送的如下图(b)的(V，D)报文后，R1更新的4个路由表项中距离值从上到下依次为0、2、3、3那么，①②③④可能的取值依次为
当前SNMP管理体系结构中的核心是MIB-2。MIB-2是由______维护的。
A、 B、 C、 D、 A关于典型的高端路由器可靠性与可用性指标应该达到：①无故障连接工作时间大于10万小时；②系统故障恢复时间小于30min；③系统具有自动保护切换功能，主备用切换时间小于50ms；④SDH
A、 B、 C、 D、 D网络防攻击研究的主要问题如下。(1)网络可能遭到哪些人的攻击；(2)攻击类型与手段可能有哪些；(3)如何及时检测并报告网络被攻击；(4)如何采
A、 B、 C、 D、 C防火墙是在网络之间通过执行控制策略来保护网络的系统，它包括硬件和软件。防火墙安装的位置一定是在内部网络与外部网络之间。防火墙主要功能有：①检查所有从外部网络进入内部网络和从内部网络流
ISS的SafeSuite是一套用于网络安全扫描的软件工具，它包括——。
使用控制端口配置交换机的过程中，需要在配置终端上配置好超级终端软件，其中配置串行口参数的设定要求是：传输速率()，数据位()bit，停止位()bit。
某计算机系统中并发进程间存在着相互感知的问题，这些问题是()。

随机试题

AdamSmithwasthefirstpersontoseetheimportanceofthedivisionofthelabor.Hegaveusanexampleoftheprocessbywhic
A．第2次放射性131I治疗甲状腺功能亢进应在第一次治疗后B．放射性131I治疗甲状腺功能亢进，症状明显缓解或治愈在治疗的C．妊娠甲状腺功能亢进手术的适宜时间D．抗甲状腺药物治疗甲状腺功能亢进最易发生粒细胞减少的时间是初始治疗
在形成肺动脉高压的各种因素中，最重要的是()
违反证券法规定，欺诈发行股票、债券的犯罪应当承担民事赔偿责任和缴纳罚款、罚金，其财产不足以同时支付时，先承担()责任。
A注册会计师负责对X公司2014年财务报表进行审计。在设计应对X公司2014年应付账款错报风险的以下审计程序中，最有可能获取审计证据证明已记录的应付账款存在认定不存在错报的是()。
个体是否患有心理疾病，()。
行政相对人对下列哪项行为不服，不可以提起行政复议?（）
AtleastsincetheIndustrialRevolution,genderroleshavebeeninastateoftransition.Asaresult,culturalscriptsaboutm
Fortyyearsagonoonewasconcernedaboutthehealthoftheocean,inspiteofthefactthatmanyfisherieswerebeingover-har
IndealingwithstrangerstheruleforBritishsocietyisthatyoumustavoidstaringatthematthesametimeavoidignoringth

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

A、 B、 C、 D、 B使用serv—U软件创建“域”时，域端口号的默认值为21；FTP服务器数据连接的默认端口号为20；telnet协议的默认端口号为23；SMlTP协议的默认端口号为25。

A、 B、 C、 D、 D0utlookExpress是电子邮件客户端软件，NetMeeting是Inter。net的通信软件，Ac—cess是数据库软件。

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

当前SNMP管理体系结构中的核心是MIB-2。MIB-2是由______维护的。

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

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

A、 B、 C、 D、 C防火墙是在网络之间通过执行控制策略来保护网络的系统，它包括硬件和软件。防火墙安装的位置一定是在内部网络与外部网络之间。防火墙主要功能有：①检查所有从外部网络进入内部网络和从内部网络流

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

使用控制端口配置交换机的过程中，需要在配置终端上配置好超级终端软件，其中配置串行口参数的设定要求是：传输速率()，数据位()bit，停止位()bit。

某计算机系统中并发进程间存在着相互感知的问题，这些问题是()。

AdamSmithwasthefirstpersontoseetheimportanceofthedivisionofthelabor.Hegaveusanexampleoftheprocessbywhic

在形成肺动脉高压的各种因素中，最重要的是()

违反证券法规定，欺诈发行股票、债券的犯罪应当承担民事赔偿责任和缴纳罚款、罚金，其财产不足以同时支付时，先承担()责任。

A注册会计师负责对X公司2014年财务报表进行审计。在设计应对X公司2014年应付账款错报风险的以下审计程序中，最有可能获取审计证据证明已记录的应付账款存在认定不存在错报的是()。

个体是否患有心理疾病，()。

行政相对人对下列哪项行为不服，不可以提起行政复议?（）

AtleastsincetheIndustrialRevolution,genderroleshavebeeninastateoftransition.Asaresult,culturalscriptsaboutm

Fortyyearsagonoonewasconcernedaboutthehealthoftheocean,inspiteofthefactthatmanyfisherieswerebeingover-har

IndealingwithstrangerstheruleforBritishsocietyisthatyoumustavoidstaringatthematthesametimeavoidignoringth

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