路径测试技术属于典型的白盒测试技术，它是基于_________，对错误的假定使软件通过了与预想不同的路径。