用白盒测试方法对下图所示的程序进行测试，设计了4个测试用例：①(x=0,y=3)、②(x=1,y=2)、③(x=-1,y=2)、④(x=3,y=1)。测试用例①②实现了______覆盖；若要完成路径覆盖，则可用测试用例______。

A．语句
B．条件
C．判定
D．路径

A．测试模块的输入参数和形式参数在个数、属性、单位上是否一致
B．全局变量在各模块中的定义和用法是否一致
C．输入是否改变了形式参数
D．输入参数是否使用了尚未赋值或者尚未初始化的变量