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

admin2013-03-16 72

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

选项

答案程序正确性证明

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

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

下述中，不属于数据库设计的内容是()。
从本质上看，MRPII是ERP的核心，但在功能和技术上ERP却超越了传统的MRPII，它是以顾客驱动的、基于时间的、面向()管理的企业资源计划。
一个计算机化的事务处理系统一般由三部分组成，即()。
加工是对数据流图中不能再分解的基本加工的精确说明，下述()是加工的最核心成分。
数据字典是软件需求分析阶段的最重要的工具之一，其最基本的功能是()。
信息系统评价的常用方法主要有()。
原型化过程一般是在获得系统的一组______后，即快速地加以实现，是比集中数据规划更复杂的过程。
在下面列出的数据模型中，()是概念数据模型。
信息系统是由硬件、软件、数据库、远程通信和网络、人员以及过程组成的。其中起主导作用的是______。
在JamesMartin方法给出的企业信息工作技术模型中，最基础的工作是

随机试题

伊斯兰教产生于公元1世纪的阿拉伯半岛。()
某铁矿为采选联合企业，开采方式为地下开采、竖井开拓、无底柱分段崩落法回采，开采规模为年产原矿330×104t，服务年限为30年，最终产品为铁精粉。矿山附属有日处理10000t原矿的选矿厂和终期库容4500×104m3、坝高196m的尾矿库。该矿于200
TwoPeople,TwoPathsYoumustbefamiliarwiththesituation:Dadisdriving.Mumistellinghimwheretogo.Heis【B1】____
令我感到惊讶的是一部小说竟然具有这么大的力量。
张某将一串价值5万元的项链存放在某银行的对外租赁的保险柜中。该银行工作人员孙某借工作之便将保险柜中的项链盗走，案发后一直潜逃在外。张某向法院起诉，要求银行承担民事责任。在审理中，公安机关将孙某抓获归案(但没有追回赃物)，并移送检察机关，检察机关准备对孙某提
下列施工程序中，对成品保护有正面效果的有()。
某企业为达到年产量1000万件的生产能力，计划引进生产线。现有两个生产线方案可选：若引进甲生产线，其固定成本为400万元，单位产品变动成本为0.6元；若引进乙生产线，其固定成本为500万元，单位产品变动成本为0.4元。则企业的决策是()。
南戏：
构建社会主义和谐社会，与建设社会主义物质文明、精神文明、政治文明是有机统一的，其中主要是指（）。
下列关于《中华人民共和国香港特别行政区基本法》的表述，能够成立的有(　　)。

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

下述中，不属于数据库设计的内容是()。

从本质上看，MRPII是ERP的核心，但在功能和技术上ERP却超越了传统的MRPII，它是以顾客驱动的、基于时间的、面向()管理的企业资源计划。

一个计算机化的事务处理系统一般由三部分组成，即()。

加工是对数据流图中不能再分解的基本加工的精确说明，下述()是加工的最核心成分。

数据字典是软件需求分析阶段的最重要的工具之一，其最基本的功能是()。

信息系统评价的常用方法主要有()。

原型化过程一般是在获得系统的一组______后，即快速地加以实现，是比集中数据规划更复杂的过程。

在下面列出的数据模型中，()是概念数据模型。

信息系统是由硬件、软件、数据库、远程通信和网络、人员以及过程组成的。其中起主导作用的是______。

在JamesMartin方法给出的企业信息工作技术模型中，最基础的工作是

伊斯兰教产生于公元1世纪的阿拉伯半岛。()

TwoPeople,TwoPathsYoumustbefamiliarwiththesituation:Dadisdriving.Mumistellinghimwheretogo.Heis【B1】____

令我感到惊讶的是一部小说竟然具有这么大的力量。

下列施工程序中，对成品保护有正面效果的有()。

南戏：

构建社会主义和谐社会，与建设社会主义物质文明、精神文明、政治文明是有机统一的，其中主要是指（）。

下列关于《中华人民共和国香港特别行政区基本法》的表述，能够成立的有( )。

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

下列关于《中华人民共和国香港特别行政区基本法》的表述，能够成立的有(　　)。