根据《软件工程术语GB/T11457-2006》，（）是一个正式的过程，通过这个过程决定产品是否符合它的规格说明，是否可在目标环境中使用。

A．走查 

B．审计 

C．认证 

D．鉴定

如图，静止在光滑水平面上的物体A一端靠着处于自然长度的弹簧，现对物体施加一个水平恒力F，在弹簧被压缩到最短的这一过程中

A．物体A做匀加速直线运动

B．物体A做匀减速直线运动

C．物体A的加速度先减小后增大，速度先增大后减小

D．当物体A的加速度为零时，速度最大