软件测试的目的是（59） ，通常可分为白盒测试和黑盒测试。白盒测试根据程序的（60）来设计测试用例，黑盒测试根据软件规格说明来设计测试用例。

A．尽可能多地发现程序中的错误

B．改正程序中的所有错误

C．证明程序是正确的

D．证明程序完成了应完成的功能

利用传感器和计算机可以研究力的大小变化的情况，实验时让某消防队员从平台上跳下，自由下落H后双脚触地，他顺势弯曲双腿，他的重心又下降了h．计算机显示消防队员受到地面支持力F随时间变化的图象如图所示．根据图象提供的信息，以下判断正确的是（　　）

A．在t₁至t₂时间内消防队员的重心在加速下降

B．在t₃至t₄时间内消防队员的重心在减速下降

C．t₃时刻消防员的加速度为零

D．在t₁至t₄时间内消防队员的机械能守恒