单项选择题

在软件工程中，当前用于保证软件质量的主要技术手段还是______。

A．正确性证明
B．测试
C．自动程序设计
D．符号证明
<上一题 目录 下一题>
热门 试题

单项选择题
概要设计的结果是提供一份______。
A．模块说明书
B．框图
C．程序
D．数据结构
单项选择题
______能发现程序中的错误并能证明程序中不存在错误。 Ⅰ．静态测试 Ⅱ．动态测试 Ⅲ．正确性证明

A．Ⅰ和Ⅱ
B．Ⅰ和Ⅲ
C．Ⅱ和Ⅲ
D．都是
相关试题