问题详情

在软件工程中，当前用于保证软件质量的主要技术手段还是______。
A．正确性证明
B．测试
C．自动程序设计
D．符号证明请帮忙给出正确答案和分析，谢谢！