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

admin2013-03-16 38

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

选项

答案程序正确性证明

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

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

BSP方法中，数据类分为四大类，下列中()记录资源状况。
管理信息系统可以分为不同类型，人才管理信息系统是属于()。
数据库管理系统能实现对数据库中数据的查询、插入、修改和删除，这类功能称为()。
数据流图描述数据在软件中流动和被处理交换的过程，它是以图示的方法来表示()。
下列()不属于管理信息系统开发的前提和策略。
下面()不是网络管理协议。
在数据库的外模式、模式和内模式三级模式的体系结构中，存在两次映像：外模式到模式的映像定义了外模式与模式之间的对应关系；模式到内模式的映像定义了数据库的逻辑结构与【】之间的对应关系。
系统文档的编制工作应在系统开发的()阶段进行。
WWW以超文本标记语言为基础，能够提供面向Internet服务的信息浏览系统，WWW系统的结构采用了______模式。

随机试题

这里倡导什么样的社会理念?文中主要运用了哪种论证方法?
A．可伴有失血性休克B．可有呕血、黑粪C．可有腹膜后积气D．早期常只有局限性腹膜炎E．可出现膈下游离气体十二指肠破裂
灯具超过（）时，应采用预埋吊钩固定。
《最高人民法院关于审理建设工程施工合同纠纷案件适用法律问题的解释》规定，发包人具有下列()情形之一，致使承包人无法施工，且在催告的合理期限内仍未履行相应义务，承包人请求解除建设工程施工合同的，应予支持。
保证收益理财计划或相关产品中高于同期()的保证收益，应是对客户有附力r条件的保证收益。
甲公司是国内一家印刷机制造企业，主要产品是胶印机。受不利大环境的影响，原有业务经营持续低迷。为此，公司董事会决定并购一家手游公司进军网络游戏。下列选项中，属于该企业采用多元化经营的优点有()。
面部“危险三角区”的范围是()。
结合材料，回答问题：材料11946年1月10日，国共双方下达停战令。同一天，政治协商会议在重庆开幕，出席会议的有国民党、共产党、民主同盟、青年党和无党派人士的代表38人。会上，共产党与民主党派和无党派人士的代表密切合作，推动政协会议达成了政府组
(2012下集管)根据《信息技术软件工程术语GB／T11457-2006》规定，______是评价系统或软件，以确定软件开发周期中的一个给定阶段的产品是否满足在阶段的开始确立的需求的过程。
信息系统的开发应有专门的研制开发队伍，组成这支队伍的方式一般有四种，我们提倡的是

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

BSP方法中，数据类分为四大类，下列中()记录资源状况。

管理信息系统可以分为不同类型，人才管理信息系统是属于()。

数据库管理系统能实现对数据库中数据的查询、插入、修改和删除，这类功能称为()。

数据流图描述数据在软件中流动和被处理交换的过程，它是以图示的方法来表示()。

下列()不属于管理信息系统开发的前提和策略。

下面()不是网络管理协议。

在数据库的外模式、模式和内模式三级模式的体系结构中，存在两次映像：外模式到模式的映像定义了外模式与模式之间的对应关系；模式到内模式的映像定义了数据库的逻辑结构与【】之间的对应关系。

系统文档的编制工作应在系统开发的()阶段进行。

WWW以超文本标记语言为基础，能够提供面向Internet服务的信息浏览系统，WWW系统的结构采用了______模式。

这里倡导什么样的社会理念?文中主要运用了哪种论证方法?

A．可伴有失血性休克B．可有呕血、黑粪C．可有腹膜后积气D．早期常只有局限性腹膜炎E．可出现膈下游离气体十二指肠破裂

灯具超过（）时，应采用预埋吊钩固定。

《最高人民法院关于审理建设工程施工合同纠纷案件适用法律问题的解释》规定，发包人具有下列()情形之一，致使承包人无法施工，且在催告的合理期限内仍未履行相应义务，承包人请求解除建设工程施工合同的，应予支持。

保证收益理财计划或相关产品中高于同期()的保证收益，应是对客户有附力r条件的保证收益。

甲公司是国内一家印刷机制造企业，主要产品是胶印机。受不利大环境的影响，原有业务经营持续低迷。为此，公司董事会决定并购一家手游公司进军网络游戏。下列选项中，属于该企业采用多元化经营的优点有()。

面部“危险三角区”的范围是()。

(2012下集管)根据《信息技术软件工程术语GB／T11457-2006》规定，______是评价系统或软件，以确定软件开发周期中的一个给定阶段的产品是否满足在阶段的开始确立的需求的过程。

信息系统的开发应有专门的研制开发队伍，组成这支队伍的方式一般有四种，我们提倡的是

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