In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.

文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。

youdao

A test oracle in software testing is a mechanism for checking whether the program under test behaves correctly for any execution.

在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制。

youdao

Test oracle is a method of checking whether the system under test has behaved correctly on a particular execution.

测试预言是一种用来检测被测系统的测试执行是否正确的方法。

youdao

Test oracle is a method of checking whether the system under test has behaved correctly on a particular execution.

测试预言是一种用来检测被测系统的测试执行是否正确的方法。

youdao