单选题 在软件工程中，当前用于保证软件质量的主要技术手段是( )。
A) 正确性证明 B) 测试
C) 自动程度设计 D) 符号证明