单选题

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

A正确性证明

B测试

C自动程序设计

D符号证明

正确答案

来源:www.examk.com

答案解析