测试预言

测试预言机是一种机制；它与程序本身不同，用于检查程序针对测试用例的输出正确性。从概念上讲，我们可以将测试视为一个过程，其中测试用例被提供给测试预言机，而待测试程序则进行执行。