甲因经济拮据，将一祖传古画(按照国家法律可以出卖)于2007年2月9日出卖给乙，双方约定：价款5万元，乙先期支付3万元，余款2万在3个月内付清，余款付清之前，甲仍拥有该画的所有权。合同签订后，乙即支付甲3万元并将画带回家。4月3日，乙将该画以6万元的价格在古玩市场卖给丙，丙付款并取走画。5月3日，乙将剩余2万元价款付给甲。丙得到画后一个月，丙父重病，急需用钱。丙以该画设定质押向丁借款30万元。丙与丁在签订了质押合同，并且约定如果丙到期不能清偿债务，则该画归丁所有。根据以上条件，回答下列问题：

如果甲在2月1日已经和张某签订该画的买卖合同，则( )。

A．张某可以要求丙返还该画

B．张某无权要求丙返还该面

C．张某可以向甲请求承担违约责任

D．甲乙之间的合同效力待定

E．张某可以宣告甲、乙之间的合同无效

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

A．过程的正确性
B．产品的正确性
C．测试的正确性
D．规格说明的正确性