单项选择题

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

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

单项选择题
在软件研制过程中，CASE是( )。
A．指计算机辅助系统工程
B．指CAD和CAM技术发展的动力
C．指正在实验室的工具
D．指计算机辅助软件工程
单项选择题
在黑箱测试中，应首先使用( )，用这种方法设计的测试实例暴露错误的能力最强，必要时再采用其他方法补充测试。
A．等价分类法
B．因果图法
C．边缘值分析法
D．错误检测法
相关试题