在软件工程中,当前用于保证软件质量的主要技术手段还是()
A:正确性证明
B:测试
C:自动程序设计
D:符号证明
出自:计算机科学