当需要检验软件中的每条逻辑通路是否都按预定要求工作时,适宜采用的测试方法是