如图所示，质量为m₁的足够长木板静止在水平面上，其上放一质量为m₂的物块．物块与木板的接触面是光滑的．t=0时刻起，给木块施加一水平恒力F．分别用a₁、a₂和v₁、v₂表示木板、物块的加速度和速度大小，图中符合运动情况的是（　　）

A．

B．

C．

D．

阅读以下程序，采用逻辑覆盖进行测试，下列测试用例(a，b，c)的输入值，可以达到条件覆盖的是______。
Int func(int a，b，c)

Int k=1：
If((a＞0)1 1(b＜0)l I(a+c＞0))k=k+a：
Else k=k+b：
If(c＞0)k=k+c；
Return k'

A) (1，1，1)，(-1，1，1)
B) (1，1，1)，(-1，-1，-1)
C) (1，1，-1)，(1，1，1)
D) (1，1，-1)，(-1，1，1)