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

admin2013-03-16 42

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

选项

答案程序正确性证明

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

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

多数情况下，结构化开发方法是信息系统工程和()开发的有效方法。
DSS中的模型库子系统与(1)的交互，可使得用户能控制对模型的操作、处置和使用。它与(Ⅱ)的交互，可提供模型所需的各种数据，实现模型输入、输出和中间结果存取的自动化。它与(Ⅲ)的交互可实行目标搜索、灵敏度分析和仿真运行自动化等。这里的Ⅰ、Ⅱ、Ⅲ分别是(
在结构化方法开发的整个过程中，最重要的环节是()。
决策支持系统的目标是______，管理信息系统的主要目标是提高效率。
J.Martin认为下列()措施可以解决数据处理部门与最高管理层之间的隔阂。Ⅰ．聘请咨询公司Ⅱ．为最高管理层放映录像并推荐一本信息系统建设的书Ⅲ．开设高级管理人员培训班Ⅳ．与高层管理人员通信、沟通
开发策略的制定必须考虑很多问题，但下面()的问题可以不考虑。
设有关系R(A，B，C)和S(C，D)。与SQL语句SELECTA，B，DFROMR，SWHERER.C＝S.C等价的关系代数表达式是()。
数据库管理系统(DBMS)提供数据定义语言(DDL)及它的翻译程序，DDL定义数据库的模式、外模式和内模式，并通过翻译程序分别翻译成相应的目标模式，存放在【】。
在Internet中用字符形式表示的IP地址称为()。
自顶向下开发方法的优点是()。

随机试题

人在寒冷环境中，产热主要通过（）
孕1产0，孕39周，不规则宫缩2d。阴道少许见红，查血压18.0／120kPa(145／90mmHg)，尿蛋白(+)，宫高35cm，腹围100cm，胎心音脐左下150次／分，胎背在左侧腹扪及，宫缩30s，间隔4min，肛查宫口容指。胎心监护出现早期减速。
脐带过短是指脐带短于()
A．黄芪建中汤B．活络效灵丹合丹参饮C．化肝煎合左金丸D．一贯煎合芍药甘草汤E．柴胡疏肝散合五磨饮子消化性溃疡胃阴不足证治宜
门脉性肝硬化形成过程中的基本病变为
期货交易所、非期货公司结算会员有()行为的，责令改正，给予警告，没收违法所得，并对直接负责的主管人员和其他直接责任人员给予纪律处分，处1万元以上10万元以下的罚款。
甲公司为增值税一般纳税人，适用的增值税税率为17％。(1)经董事会批准，甲公司在生产经营期间以自营方式同时对一条生产线和一座厂房进行改造。生产线与厂房系20×1年3月达到预定可使用状态并投入使用，其中生产线成本为490万元，预计使用年限为20年，
一般资料：求助者，男性，23岁，未婚，医院检验科化验员。求助者自述：近半年来，总感到哪里都脏，尤其是门把手，所以反复洗手。反复擦门把手，把手都洗破了也不行，知道不用这样，但就是控制不住。案例介绍：求助者两年前去医院实习，每天与大、小便样本打
圣女贞德
关于报表数据源设置，以下说法正确的是______。

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

多数情况下，结构化开发方法是信息系统工程和()开发的有效方法。

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

决策支持系统的目标是______，管理信息系统的主要目标是提高效率。

J.Martin认为下列()措施可以解决数据处理部门与最高管理层之间的隔阂。Ⅰ．聘请咨询公司Ⅱ．为最高管理层放映录像并推荐一本信息系统建设的书Ⅲ．开设高级管理人员培训班Ⅳ．与高层管理人员通信、沟通

开发策略的制定必须考虑很多问题，但下面()的问题可以不考虑。

设有关系R(A，B，C)和S(C，D)。与SQL语句SELECTA，B，DFROMR，SWHERER.C＝S.C等价的关系代数表达式是()。

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

在Internet中用字符形式表示的IP地址称为()。

自顶向下开发方法的优点是()。

人在寒冷环境中，产热主要通过（）

孕1产0，孕39周，不规则宫缩2d。阴道少许见红，查血压18.0／120kPa(145／90mmHg)，尿蛋白(+)，宫高35cm，腹围100cm，胎心音脐左下150次／分，胎背在左侧腹扪及，宫缩30s，间隔4min，肛查宫口容指。胎心监护出现早期减速。

脐带过短是指脐带短于()

A．黄芪建中汤B．活络效灵丹合丹参饮C．化肝煎合左金丸D．一贯煎合芍药甘草汤E．柴胡疏肝散合五磨饮子消化性溃疡胃阴不足证治宜

门脉性肝硬化形成过程中的基本病变为

期货交易所、非期货公司结算会员有()行为的，责令改正，给予警告，没收违法所得，并对直接负责的主管人员和其他直接责任人员给予纪律处分，处1万元以上10万元以下的罚款。

圣女贞德

关于报表数据源设置，以下说法正确的是______。

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