采用白盒测试方法对下图进行测试，设计了4个测试用例：①（x=0，y=3），②（x=1，y=2），③（x=-1，y=2），④（x=3，y=1）。至少需要测试用例①②才能完成 （此空作答） 覆盖，至少需要测试用例①②③或①②④才能完成 （ ） 覆盖。
- A.语句
- B.条件
- C.判定/条件
- D.路径
正确答案及解析
正确答案
A
解析
语句覆盖要求被测程序中的每一条语句至少执行一次，这种覆盖对程序执行逻辑的覆盖很低。条件覆盖要求每一判定语句中每个逻辑条件的各种可能的值至少满足一次。判定/条件覆盖要求判定中每个条件的所有可能取值（真/假）至少出现一次，并使得每个判定本身的判定结果（真/假）也至少出现一次。路径覆盖则要求覆盖被测程序中所有可能的路径。通过测试用例①（x=0，y=3），能执行到语句A，同时覆盖左侧路径；通过测试用例②（x=1，y=2），能执行到语句B，同时覆盖右侧路径；通过测试用例③（x=-1，y=2）或④（x=3，y=1），什么也不执行，覆盖中间路径。
