首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于
admin
2012-10-22
98
问题
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于
选项
A、静态测试
B、动态测试
C、程序正确性证明
D、系统测试
答案
B
解析
软件测试的三种方法:动态测试、静态测试和正确性证明。
①动态测试。是指通常的上机测试,这种方法是使程序有控制地运行,并从多种角度观察程序运行时的行为,以发现其中的错误。测试是否能够发现错误取决于测试实例的设计。设计测试实例的方法一般有两类:黑箱法和白箱法。
②静态测试。静态测试一般是指人工评审软件文档或程序,借以发现其中的错误,由于被评审的文档或程序不必运行,所以称为静态的。人工评审的手续虽然比较简单,但事实证明这是一个相当有效的检验手段。由于评审人的能力有限,静态测试显然不可能发现所有的错误。
③正确性证明。程序正确性证明最常用的方法是归纳断言法,它对程序提出一组命题,如能用数学方法证明这些命题成立,就可保证程序中不存在错误,即它对所有的输入都会产生预期的正确输出。但目前正确性证明尚处于理论研究阶段,其技术尚不成熟,并未达到实用化阶段。因此前两种测试手段仍然是有效的手段。
转载请注明原文地址:https://kaotiyun.com/show/8SwZ777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
实施企业系统规划方法(BSP)的主要目的是为了实现企业信息系统的
BSP强调向管理人员进行调查,因为管理部门对系统的要求是BSP方法的出发点,下列:Ⅰ核实已有材料Ⅱ.了解企业发展方向Ⅲ.确定存在的问题Ⅳ.寻找解决问题的方法 哪些是调查的目的?
需求分析过程中,对算法的简单描述记录在哪项中?
四种主要的数据类是【】、事务类数据、计划类数据和统计类数据。
在程序测试中目前要为成功的测试设计数据,产生这些测试用例主要依赖于
下列关于MIS的设备、工具和环境选择的描述中,正确的是
在雇员信息表关系EMP中,哪个属性是外键?
决策支持系统的概念主要强调这样的观点,下述()是错误的。
在软件危机中表现出来的软件质量差的问题,其原因是()。
进程是程序的一次执行过程,是操作系统进行资源调度和分配的一个独立单位,其基本特征是()。
随机试题
痉证发生的外感病因有
急性胰腺炎病人体温一旦超过多少度,且持续不退,常提示有并发症的可能()
右半结肠癌的主要表现不包括
临床上主要用于加速麻醉动物的苏醒和中枢抑制药中毒解救的药物是()。
在下列项目融资方式中,需要组建一个特别用途公司SPC进行运作的是()。
在波的传播方向上,有相距为3m的两质元,两者的相位差为π/6,若波的周期为4s,则此波的波长和波速分别为:
()国家级自然保护区在中国生物性保护综述中列为“A”级,是具有全球意义的保护区。
目送(节选)龙应台①华安上小学第一天,我和他手牵着手,穿过好几条街,到维多利亚小学。九月初,家家户户院子里的苹果和梨树都缀满了拳头大小的果子,枝丫因为重而沉沉下垂,越出了树篱,勾到
意大利地处欧亚大陆和非洲大陆板块的挤压带上,因此境内活火山较多。频繁爆发的火山给意大利人带来了丰厚的_________可作为优质胶凝材料的火山灰。这种_________的自然条件使古罗马人利用火山灰发明了自然混凝土。填入划横线部分最恰当的一项是:
With950millionpeople,IndiarankssecondtoChinaamongthemostpopulouscountries.ButsinceChina【B1】______afamilyplan
最新回复
(
0
)