下列哪个不属于软件质量保证措施。（ ）
A: 基于非执行的测试
B: 基于执行的测试
C: 经验丰富程序员
D: 程序正确性证明
A: 基于非执行的测试
B: 基于执行的测试
C: 经验丰富程序员
D: 程序正确性证明
举一反三
- 下面（ ）不是信息系统项目的软件质量保证措施？ A: 技术复审 B: 测试 C: 程序正确性证明 D: 调试
- 软件测试是保证软件质量的重要手段，首要任务是______。 A: 保证软件的正确性 B: 改正软件存在的错误 C: 发现软件的潜在错误 D: 实现程序正确性证明
- 软件测试中的白盒测试又称为基于程序的测试,它主要用于测试 A: 程序的内部逻辑程序的正确性 B: 程序的正确性 C: 程序的外部功能 D: 结构合理性
- 软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是()。 A: 动态测试和静态测试 B: 静态测试和程序正确性证明 C: 动态测试和程序正确性证明 D: 都不是
- 软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。 A: A) 动态测试和静态测试 B: B) 静态测试和程序正确性证明 C: C) 动态测试和程序正确性证明 D: D) 都不是