在软件测试中,测试预言是一种检验待测系统在特定执行下是否正确运行的方法。