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

admin2013-03-16 83

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

选项

答案程序正确性证明

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

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

数据库的数据定义语言(DDL)定义数据库的全局逻辑数据结构、局部逻辑数据结构和【】。
在软件开发中常用的概念模式有许多种，用来描述某一业务处理系统的信息来源、存储、处理、去向的全部情况的是()。
主题数据库是一类重要的数据环境，以下是关于数据环境特点的描述；Ⅰ．简单、容易实Ⅱ．具有较低的维护成本Ⅲ．提高了应用开发效率Ⅳ．与应用项目对应Ⅳ．独立于应用项目其中属于主题数据库优点的是()。
原型化是指用户的需求被提取、表示，并快速地构造一个最终系统的、具有______能力的工作模型，随着项目的进展，模型被逐步地细化和扩充，直至系统建成投入运行。
实施BSP研究的主要活动中应包括多项活动内容，如Ⅰ．定义企业过程Ⅱ．定义数据类Ⅲ．成果报告Ⅳ．定义信息结构等，其中最基础的活动应该是()。
软件工程方法的提出起源于软件危机，故而其目的应该是最终解决软件的()问题。
在数据库技术中，反映现实世界中事物的存在方式或运动状态的是()。
原型化项目管理一般会涉及四方面的内容，而其中最复杂的问题应该是
信息系统开发策略是指根据工作对象和工作内容而应该采取的行动方针和工作方法。以下是关于信息系统开发策略的描述。Ⅰ．信息系统总体规划的建立Ⅱ．高层管理人员的参与Ⅲ．加强数据处理部门与管理者之间的联系Ⅳ．确定是采用结构化系统分析与设计方法还是原型法开发系
主题数据库是一类重要的数据环境，以下是关于数据环境特点的描述：Ⅰ．简单、容易实现Ⅱ．具有较低的维护成本Ⅲ．提高了应用开发效率Ⅳ．与应用项目对应Ⅴ．独立于应用项目其中属于主题数据库优点的是()。

随机试题

对Excel工作表进行排序时，叙述错误的是()。
原发性下肢静脉曲张的典型表现为
下列方剂中，组成药物含有大黄、栀子的有
女，39岁，洗澡时发现左乳包块，无痛。3年前因肺结核住院治疗。体检：左乳房外上象限略高于右乳房外上象限，皮肤稍皱褶，局部可扪及直径为1．5cm大小肿块，质硬，表面不甚光滑，边界欠清，可活动，左腋下可扪及肿大淋巴结。胸透示陈旧性结核灶如果为了进一步明确诊
中医学认为肝硬化之病位主要在
RNA聚合酶催化转录的底物是
证券发行采取市值配售发行方式的，客户信用证券账户的明细数据纳入其对应()的计算。
市场体系的三大支柱是()。
Morethanfortythousandreaderstolduswhattheylookedforinclosefriendships,whatthe　【C1】______friends,whattheywere
Thename"UnitedNations",coinedbyUnitedStatesPresidentFranklinD.Roosevelt,wasfirstusedintheDeclarationbyUnited

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

数据库的数据定义语言(DDL)定义数据库的全局逻辑数据结构、局部逻辑数据结构和【】。

在软件开发中常用的概念模式有许多种，用来描述某一业务处理系统的信息来源、存储、处理、去向的全部情况的是()。

主题数据库是一类重要的数据环境，以下是关于数据环境特点的描述；Ⅰ．简单、容易实Ⅱ．具有较低的维护成本Ⅲ．提高了应用开发效率Ⅳ．与应用项目对应Ⅳ．独立于应用项目其中属于主题数据库优点的是()。

原型化是指用户的需求被提取、表示，并快速地构造一个最终系统的、具有______能力的工作模型，随着项目的进展，模型被逐步地细化和扩充，直至系统建成投入运行。

实施BSP研究的主要活动中应包括多项活动内容，如Ⅰ．定义企业过程Ⅱ．定义数据类Ⅲ．成果报告Ⅳ．定义信息结构等，其中最基础的活动应该是()。

软件工程方法的提出起源于软件危机，故而其目的应该是最终解决软件的()问题。

在数据库技术中，反映现实世界中事物的存在方式或运动状态的是()。

原型化项目管理一般会涉及四方面的内容，而其中最复杂的问题应该是

主题数据库是一类重要的数据环境，以下是关于数据环境特点的描述：Ⅰ．简单、容易实现Ⅱ．具有较低的维护成本Ⅲ．提高了应用开发效率Ⅳ．与应用项目对应Ⅴ．独立于应用项目其中属于主题数据库优点的是()。

对Excel工作表进行排序时，叙述错误的是()。

原发性下肢静脉曲张的典型表现为

下列方剂中，组成药物含有大黄、栀子的有

中医学认为肝硬化之病位主要在

RNA聚合酶催化转录的底物是

证券发行采取市值配售发行方式的，客户信用证券账户的明细数据纳入其对应()的计算。

市场体系的三大支柱是()。

Morethanfortythousandreaderstolduswhattheylookedforinclosefriendships,whatthe 【C1】______friends,whattheywere

Thename"UnitedNations",coinedbyUnitedStatesPresidentFranklinD.Roosevelt,wasfirstusedintheDeclarationbyUnited

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

Morethanfortythousandreaderstolduswhattheylookedforinclosefriendships,whatthe　【C1】______friends,whattheywere