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