验证里BDF,证明了采用BDF求出branch和depth的准确性