2，1．4软件测试过程 为了测试一个程序，我们需要按照需求给出应当得到的结果称为测试先知 （test oracle），通过它推测测试用例执行的预期结果，并用它判断观察到的行为 与预期行为是否保持～致。
基于16个网页-相关网页
Firstly, a linear-causal MITL_0, b formula is automatically translated into a TAAS (Timed Automata with Accepting States) which acts as the test oracle using the tableau idea in model checking.
首先针对MITL0，b的语法和语义，使用模型检验中的tableau思想，通过使用重写规则，将一条线性因果的MITL0，b逻辑公式自动转换为带接收状态的时间自动机（Timed Automata with Accepting States，TAAS），由时间自动机充当测试预言。
参考来源 - 基于实时规约的测试预言自动生成技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Test oracle is a method of checking whether the system under test has behaved correctly on a particular execution.
测试预言是一种用来检测被测系统的测试执行是否正确的方法。
In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.
文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。
A test oracle in software testing is a mechanism for checking whether the program under test behaves correctly for any execution.
在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制。
应用推荐