单项选择题

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

A) 正确性证明
B) 测试
C) 自动程度设计
D) 符号证明