图4．25所示的逻辑流实现折半查找功能，最少需要______个测试用例可以覆盖所有的可能路径。