什么是错误推测法？它主要用于什么测试？