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

A．正确性证明

B．测试

C．自动程序设计

D．符号证明