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