在软件工程中 当前用于保证软件质量的主要技术手段还是______。A.正确性证明B.测试C.自动程序设计

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

A．正确性证明

B．测试

C．自动程序设计

D．符号证明

请帮忙给出正确答案和分析，谢谢！