软件验证和确认理论是测试过程的理论依据。其中验证是检查我们是否正在正确地建造一个产品，它强调的是______。

A．过程的正确性

B．产品的正确性

C．测试的正确性

D．规格说明的正确性

下列对金融工具现货交易与期货交易的交易方式和结算方式的表述错误的是( )。

A．期货交易的交易者需要在成交时拥有或借入全部资金或基础金融工具

B．成熟市场的现货交易通常也允许进行保证金买入或卖空

C．大多数期货合约是通过做相反交易实现对冲而平仓的

D．现货交易一般要求在成交后的几个交易日内完成资金与金融工具的全额结算