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

A．正确性证明

B．测试

C．自动程度设计

D．符号证明

根据下面的数据，回答下面问题

价格下降最多的商品是( )

A．大宅门

B．中国问题报告

C．罗大佑经典

D．三角洲部队