软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．正确性证明

admin2007-11-28 81

问题软件测试的方法有三种。以下哪项(些)属于这些方法?
Ⅰ．动态测试
Ⅱ．静态测试
Ⅲ．正确性证明

选项 A、仅Ⅰ
B、仅Ⅰ和Ⅱ
C、仅Ⅱ和Ⅲ
D、Ⅰ、Ⅱ和Ⅲ

答案D

解析本题考查软件测试方法的概念。目前，软件测试的方法有三种：动态测试、静态测试和正确性证明。动态测试是指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误。静态测试一般是指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为静态的。动态测试和静态测试只能发现错误而不能证明程序中不存在错误，从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。程序证明最常用的方法是归纳断言法，它对程序提出一组命题，如能永数学方法证明这些命题成立，就可保证程序中不存在错误，即它对所有的输入都会产生预测的正确输出。但目前正确性证明尚处于理论研究阶段，其技术尚不成熟，并未达到实用化阶段。正确答案为选项D。

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

随机试题

最新回复(0)

软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．正确性证明

三级信息管理技术

NCRE全国计算机三级

统一建模语言(UML)是一种常用于数据库应用系统设计和开发的可视化建模语言。关于UML,下列说法错误的是

设某并行数据库采用一台具有14个刀片的刀片服务器，每个刀片具有独立的内存和磁盘，各刀片之间通过刀片服务器上的以太网交换机实现通信，则该并行数据库采用的体系结构是______结构。

关系数据库设计理论中主要包括三个方面的内容，其中起核心作用的是___。在关系模型的完整性约束中，实体完整性规则是指关系中_。

要写出高质量的SQL语句，提高系统的可用性，需要对查询进行优化，下面哪一项不是优化查询的常用方法?______

体温是指

A、GLPB、GMPC、GCPD、GAPE、GSP药品临床试验管理规范

关于磷的叙述错误的是

关于生姜的描述哪些是错误的

设备工程合同管理的根本任务是(　　)。

通常情况下，特殊培训的成本是由()来承担的。

甘肃资源储量名列全国第1位的有()族金属等10种。

农民：农具：土地

有如下类定义：classTV{public：Tv(intS=41，stringbr=“TCL”)：size(s)，brand(br){}一Tv(){}private：intsize；stringbrand；}；若执行语句TV

软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．正确性证明

三级信息管理技术

NCRE全国计算机三级

统一建模语言(UML)是一种常用于数据库应用系统设计和开发的可视化建模语言。关于UML,下列说法错误的是

设某并行数据库采用一台具有14个刀片的刀片服务器，每个刀片具有独立的内存和磁盘，各刀片之间通过刀片服务器上的以太网交换机实现通信，则该并行数据库采用的体系结构是______结构。

关系数据库设计理论中主要包括三个方面的内容，其中起核心作用的是_______。在关系模型的完整性约束中，实体完整性规则是指关系中_____。

要写出高质量的SQL语句，提高系统的可用性，需要对查询进行优化，下面哪一项不是优化查询的常用方法?______

体温是指

A、GLPB、GMPC、GCPD、GAPE、GSP药品临床试验管理规范

关于磷的叙述错误的是

关于生姜的描述哪些是错误的

设备工程合同管理的根本任务是( )。

通常情况下，特殊培训的成本是由()来承担的。

甘肃资源储量名列全国第1位的有()族金属等10种。

农民：农具：土地

有如下类定义：classTV{public：Tv(intS=41，stringbr=“TCL”)：size(s)，brand(br){}一Tv(){}private：intsize；stringbrand；}；若执行语句TV

统一建模语言(UML)是一种常用于数据库应用系统设计和开发的可视化建模语言。关于UML,下列说法错误的是　　

关系数据库设计理论中主要包括三个方面的内容，其中起核心作用的是___。在关系模型的完整性约束中，实体完整性规则是指关系中_。

设备工程合同管理的根本任务是(　　)。