用白盒测试方法对下图所示的程序进行测试，设计了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．测试用例应设计得尽可能复杂