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