在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【】才可能证明程序的正确性。

admin2010-04-19 48

问题在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【】才可能证明程序的正确性。

选项

答案程序正确性证明

解析在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

某计算机系统中共有3个进程Pl、P2和P3，4类资源r1、r2、r3和r4。其中r1和r3每类资源只有1个，r2资源有2个，r4有3个。当前的资源分配状态如下：E={，，，，，}若进程P1申请一个r2类资源，则系统可能会发生下列哪一
假设某计算机系统的内存大小为256K，在某一时刻内存的使用情况如下表所示。此时，若进程顺序请求20K、10K和30K的存储空间，系统采用某种算法为进程分配内存，分配后的内存情况如下表所示。那么，系统采用的是什么分配算法?()
进程调度所需的信息——进程优先级——是存放在下列哪一项中?()
组成操作系统的主要部分是存储管理、设备管理、文件管理和()、
关于IEEE802．11帧结构的描述中，正确的是()。
某一主机的IP地址为20．113．25．55，掩码为255．255．240．0。该主机在发送有限广播数据报时，其目的IP地址为()。
在计算机网络分类中，覆盖范围最大的网络类型是()。
多道程序设计的意义是()。
设备分配时需要考虑公平性、共享性等多种因素，所以设备分配策略主要包括()。
信息系统开发所涉及到的人员包括分析设计人员、编程人员、测试人员和【】人员。

随机试题

MostpeoplebuyalotofgiftsjustbeforeChristmas.Butsomepeoplethinktheybuytoomuch.Theyhavestartedaspecialdayc
气虚证不宜使用哪种性味的药治疗
不参与吞噬细胞识别病原体的因子是
秦某与洪某在台北因合同纠纷涉诉，被告洪某败诉。现秦某向洪某财产所在地的大陆某中级人民法院申请认可该台湾地区的民事判决。关于该判决的认可，下列哪些选项是正确的?(2015年卷一79题)
《征地区片综合地价测算指导性意见(暂行)》规定，征地区片综合地价原则上应含地上附着物和青苗的补偿费。()
在质量方针的指导下，通过组织的质量手册、程序性管理文件、质量记录的制定，并通过组织制度的落实、管理人员与资源的配置、质量活动的责任分工与权限界定等，形成组织质量管理体系的()。
漫画书在儿童阅读生活中大行其道，____了现今儿童阅读结构不合理的问题。调查显示，孩子阅读首先追求的是有趣、好玩以及新鲜、刺激的阅读____，而对于知识和文字表达的兴趣则较为次要。闲此，他们对于图画书、漫画有一种____的爱好。依次填入面横线部分最恰当的一
同样走100米，小明要走180步，父亲要走120步。父子同时同方向从同一地点出发，如果每走一步所用的时间相同，那么父亲走出450米后往回走，还要走多少步才能遇到小明?
下面程序的运行结果是#include＜iostream．h＞voidmain(){intnum=1；int&ref=num；ref=ref+2；cout＜＜num；num=num+3；
Evenafterthespeechwasover,theaudience______leavebecausetheyweresodeeplymoved.

最新回复(0)

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【 】才可能证明程序的正确性。

三级信息管理技术

NCRE全国计算机三级

某计算机系统中共有3个进程Pl、P2和P3，4类资源r1、r2、r3和r4。其中r1和r3每类资源只有1个，r2资源有2个，r4有3个。当前的资源分配状态如下：E={，，，，，}若进程P1申请一个r2类资源，则系统可能会发生下列哪一

进程调度所需的信息——进程优先级——是存放在下列哪一项中?()

组成操作系统的主要部分是存储管理、设备管理、文件管理和()、

关于IEEE802．11帧结构的描述中，正确的是()。

某一主机的IP地址为20．113．25．55，掩码为255．255．240．0。该主机在发送有限广播数据报时，其目的IP地址为()。

在计算机网络分类中，覆盖范围最大的网络类型是()。

多道程序设计的意义是()。

设备分配时需要考虑公平性、共享性等多种因素，所以设备分配策略主要包括()。

信息系统开发所涉及到的人员包括分析设计人员、编程人员、测试人员和【】人员。

MostpeoplebuyalotofgiftsjustbeforeChristmas.Butsomepeoplethinktheybuytoomuch.Theyhavestartedaspecialdayc

气虚证不宜使用哪种性味的药治疗

不参与吞噬细胞识别病原体的因子是

秦某与洪某在台北因合同纠纷涉诉，被告洪某败诉。现秦某向洪某财产所在地的大陆某中级人民法院申请认可该台湾地区的民事判决。关于该判决的认可，下列哪些选项是正确的?(2015年卷一79题)

《征地区片综合地价测算指导性意见(暂行)》规定，征地区片综合地价原则上应含地上附着物和青苗的补偿费。()

在质量方针的指导下，通过组织的质量手册、程序性管理文件、质量记录的制定，并通过组织制度的落实、管理人员与资源的配置、质量活动的责任分工与权限界定等，形成组织质量管理体系的()。

同样走100米，小明要走180步，父亲要走120步。父子同时同方向从同一地点出发，如果每走一步所用的时间相同，那么父亲走出450米后往回走，还要走多少步才能遇到小明?

下面程序的运行结果是#include＜iostream．h＞voidmain(){intnum=1；int&ref=num；ref=ref+2；cout＜＜num；num=num+3；

Evenafterthespeechwasover,theaudience______leavebecausetheyweresodeeplymoved.

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【】才可能证明程序的正确性。