______能发现程序中的错误并能证明程序中不存在错误。 Ⅰ．静态测试 Ⅱ．动态测试 Ⅲ．正确性证明
A: Ⅰ和Ⅱ
B: Ⅰ和Ⅲ
C: Ⅱ和Ⅲ
D: 都是
A: Ⅰ和Ⅱ
B: Ⅰ和Ⅲ
C: Ⅱ和Ⅲ
D: 都是
举一反三
- 软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。
- 软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是()。 A: 动态测试和静态测试 B: 静态测试和程序正确性证明 C: 动态测试和程序正确性证明 D: 都不是
- 软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。 A: A) 动态测试和静态测试 B: B) 静态测试和程序正确性证明 C: C) 动态测试和程序正确性证明 D: D) 都不是
- 测试是为了发现程序中的错误而执行程序的过程，下述有关测试的论述中，错误的是 ______。 A: 证明错误存在 B: 证明错误不存在 C: 发现程序的错误 D: 提供诊断信息
- 程序测试不仅能证明错误的存在，也能证明错误的不存在。()