二分查找，及测试