软件测试方法有很多种。其中，采用机器运行实例方式来发现程序的错误属于

admin2010-10-27 116

问题软件测试方法有很多种。其中，采用机器运行实例方式来发现程序的错误属于

选项 A、静态测试
B、动态测试
C、程序正确性证明
D、系统测试

答案2

解析软件测试的三种方法：动态测试、静态测试和正确性证明。
①动态测试。是指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误。测试是否能够发现错误取决于测试实例的设计。设计测试实例的方法一般有两类：黑箱法和白箱法。
②静态测试。静态测试一般是指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为静态的。人工评审的手续虽然比较简单，但事实证明这是一个相当有效的检验手段。由于评审人的能力有限，静态测试显然不可能发现所有的错误。
③正确性证明。程序正确性证明最常用的方法是归纳断言法，它对程序提出一组命题，如能用数学方法证明这些命题成立，就可保证程序中不存在错误，即它对所有的输入都会产生预期的正确输出。但目前正确性证明尚处于理论研究阶段，其技术尚不成熟，并未达到实用化阶段。因此前两种测试手段仍然是有效的手段，

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

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

随机试题

最新回复(0)

软件测试方法有很多种。其中，采用机器运行实例方式来发现程序的错误属于

三级信息管理技术

NCRE全国计算机三级

FTP的数据连接建立模式有两种，它们是()。

在网络协议的要素中，规定控制信息结构与格式的是()。

关于虚拟局域网的描述中，错误的是()。

外部设备按数据传输的方式可分为多种类型，通常磁盘被当作哪一种类型的设备?()

利用公钥加密和数字签名技术建立的安全服务基础设施称为()。

当用户使用外部设备时，其控制设备的命令传递途径依次为()。

虚拟页式存储系统中进行页面置换时，操作系统根据在一段确定的周期内，选择被使用次数最少的页面调出，这一策略称为()。

从网络设计者的角度看，Internet是一个()。

某操作系统的当前资源分配状态如下表所示。假设当前系统可用资源R1、R2和R3的数量为(2，3，3)，系统采用银行家算法实施死锁避免策略，以下各项中是安全序列的有()。

以下列出了IM系统与其开发公司的对应关系，正确的是()。

下列哪种贫血不是小细胞低色素性贫血()。

A、Eight-year-olds.B、Twelve-year-olds.C、Seventeen-year-olds.D、Adults.D根据录音可知，与8岁左右的孩子比较起来，12岁的孩子能接受负面反馈并从错误中学习，成年人也会如此，但更有效率(

病毒可通过以下哪种途径在体内传播

我国拥有第一个10万吨级煤炭专用深水泊位的港口是()。

试析国际新闻选择中的价值标准。

Conventionaltrafficengineeringassumesthatgivennoincreaseinvehicles,moreroadsmeanlesscongestion.Sowhenplannersi

在C语言中，不适用于局部变量的存储类说明符是()

AtleastsincetheIndustrialRevolution,genderroleshavebeeninastateoftransition.Asaresult,culturalscriptsaboutm

Thepersonwhoisoftendescribedas"fatherofmodernlinguistics"is