首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于
admin
2010-10-27
93
问题
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于
选项
A、静态测试
B、动态测试
C、程序正确性证明
D、系统测试
答案
2
解析
软件测试的三种方法:动态测试、静态测试和正确性证明。
①动态测试。是指通常的上机测试,这种方法是使程序有控制地运行,并从多种角度观察程序运行时的行为,以发现其中的错误。测试是否能够发现错误取决于测试实例的设计。设计测试实例的方法一般有两类:黑箱法和白箱法。
②静态测试。静态测试一般是指人工评审软件文档或程序,借以发现其中的错误,由于被评审的文档或程序不必运行,所以称为静态的。人工评审的手续虽然比较简单,但事实证明这是一个相当有效的检验手段。由于评审人的能力有限,静态测试显然不可能发现所有的错误。
③正确性证明。程序正确性证明最常用的方法是归纳断言法,它对程序提出一组命题,如能用数学方法证明这些命题成立,就可保证程序中不存在错误,即它对所有的输入都会产生预期的正确输出。但目前正确性证明尚处于理论研究阶段,其技术尚不成熟,并未达到实用化阶段。因此前两种测试手段仍然是有效的手段,
转载请注明原文地址:https://www.kaotiyun.com/show/tY5Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
在VoIP系统中,网关的主要功能包括()。
文件系统中,若把逻辑上连续的文件信息依次存放在连续编号的磁盘块中,这种结构称为()。
关于Web服务的描述中,错误的是()。
在OSI参考模型中,利用传输介质实现比特流传输的是()。
在TCP/IP参考模型中,提供可靠的端到端服务的层次是()。
在I/O设备管理中,引入缓冲技术的主要原因是()。
采用多道程序设计技术可以()。
在虚拟页式系统中进行页面置换时,根据在一段时间里页面被使用的次数多少选择可以调出的页,这一策略称为()。
在OSI参考模型中,提供路由选择功能的层次是()。
原型法可借助于许多工具,下列哪种工具用于存储系统的实体定义和控制信息?
随机试题
A.2、3天~2个月B.1个月C.2个月D.3个月E.8个月百白破疫苗初种时间
关于儿童风湿热的相关发病机制是
流行性脑脊髓膜炎时的脓液主要聚集于
糖尿病酮症酸中毒病人经注射胰岛素及静滴生理盐水后,血糖降低、失水纠正、尿量增多,此时最应注意防止
下列关于保险人的经营业务范围说法不正确的是( )。
下列关于上市公司要约收购的表述中,符合证券法律制度规定的有()。
IEEE 802标准中任意两个站点之间的路径中最多允许有(60)。
下列算式正确的是______。
窗体中有文本框为Text1和Text2。运行程序时单击“运行”按钮Command1,在Text1中输入整数m(m>0),在Text2中显示输出m的全部除1和自身之外的因子。例如,20的因子有2,4,5,10,输出结果为“2,4,5,10”;16的因子为2,
Marycouldn’thavereceivedmyletter,______________(否则她上周就该回信了).
最新回复
(
0
)