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

admin2013-03-16 31

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

选项

答案程序正确性证明

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

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

一个计算机化的事务处理系统一般由三部分组成，即()。
报表打印软件，按其处理业务的范围和内容，它应该属于()。
有一些规则可循但又不完全确定，能分析但不确切，用常规方法只能解决部分问题的决策是()。
结构化分析方法中往往采用：______、判定表和判定树来表来描述加工说明。
BSP强调向管理人员进行调查，因为管理部门对系统的要求是BSP设计的出发点，下述：Ⅰ．核实已有材料Ⅱ．了解企业发展方向Ⅲ．确定存在问Ⅳ．寻找解决问题的办法()是进行调查的目的。
在结构化方法开发的整个过程中，最重要的环节是()。
结构化分析(SA)是软件开发需求分析阶段所使用的方法，()不是SA所使用的工具。
数据库管理系统(DBMS)提供数据定义语言(DDL)及它的翻译程序，DDL定义数据库的模式、外模式和内模式，并通过翻译程序分别翻译成相应的目标模式，存放在【】。
系统文档的编制工作应在系统开发的()阶段进行。
帮助系统分析员了解一个组织内部业务处理活动的内容与工作流程的图表是()。

随机试题

视网膜母细胞瘤的超声表现是
成人门静脉高压症继发食管胃底曲张静脉破裂大出血，最常见的并发症是
房地产经纪机构的沟通对象包括()，经纪机构要与他们进行积极的、及时的沟通。
35kV变电所中电容器的电器和导体等载流部分的长期允许电流，不应小于电容器额定电流的()。
某工程为框架剪力墙结构，施工中期，发现混凝土浇筑完毕后养护过程中有表面细小裂缝，分布没有规律。经分析，该裂缝是由于混凝土成型后养护不良而造成的干缩裂缝。[问题]造成该工程混凝土干缩裂缝的原因是什么?
A公司对投资性房地产采用成本模式进行后续计量。A公司的投资性房地产为一栋已出租的写字楼，2010年1月1日，由于该写字楼所在的房地产交易市场比较成熟，A公司决定对投资性房地产从成本模式转换为公允价值模式计量。该写字楼的原价为6000万元，已计提折旧15
某企业编制“直接材料预算”，预计第四季度期初存量400千克，预计生产需用量2000千克，预计期末存量350千克，材料单价为10元。若材料采购货款有60％在本季度内付清，另外40％在下季度付清，该企业预计资产负债表年末“应付账款”项目为()元。
针对目前白血病多发和社会对白血病缺乏了解的状况，儿童医院的社会工作者进入附近的社区和学校开展有关白血病知识的讲座和宣传。社会工作者这项服务属于医院社会工作中的()。
根据以下资料回答题。2007年两国碳排放量之和比2006年两国碳排放量之和约增加了()。
下列选项中，属于宪法所调整的社会关系的是()

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

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

报表打印软件，按其处理业务的范围和内容，它应该属于()。

有一些规则可循但又不完全确定，能分析但不确切，用常规方法只能解决部分问题的决策是()。

结构化分析方法中往往采用：______、判定表和判定树来表来描述加工说明。

BSP强调向管理人员进行调查，因为管理部门对系统的要求是BSP设计的出发点，下述：Ⅰ．核实已有材料Ⅱ．了解企业发展方向Ⅲ．确定存在问Ⅳ．寻找解决问题的办法()是进行调查的目的。

在结构化方法开发的整个过程中，最重要的环节是()。

结构化分析(SA)是软件开发需求分析阶段所使用的方法，()不是SA所使用的工具。

数据库管理系统(DBMS)提供数据定义语言(DDL)及它的翻译程序，DDL定义数据库的模式、外模式和内模式，并通过翻译程序分别翻译成相应的目标模式，存放在【】。

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

帮助系统分析员了解一个组织内部业务处理活动的内容与工作流程的图表是()。

视网膜母细胞瘤的超声表现是

成人门静脉高压症继发食管胃底曲张静脉破裂大出血，最常见的并发症是

房地产经纪机构的沟通对象包括()，经纪机构要与他们进行积极的、及时的沟通。

35kV变电所中电容器的电器和导体等载流部分的长期允许电流，不应小于电容器额定电流的()。

某工程为框架剪力墙结构，施工中期，发现混凝土浇筑完毕后养护过程中有表面细小裂缝，分布没有规律。经分析，该裂缝是由于混凝土成型后养护不良而造成的干缩裂缝。[问题]造成该工程混凝土干缩裂缝的原因是什么?

针对目前白血病多发和社会对白血病缺乏了解的状况，儿童医院的社会工作者进入附近的社区和学校开展有关白血病知识的讲座和宣传。社会工作者这项服务属于医院社会工作中的()。

根据以下资料回答题。2007年两国碳排放量之和比2006年两国碳排放量之和约增加了()。

下列选项中，属于宪法所调整的社会关系的是()

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