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

admin2010-10-27  48

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

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

答案2

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

最新回复(0)