test oracle

A test oracle is the set of predicted result for a set of tests.

测试先知是一组测试的预期结果的集合.它被用来检查测试用例是否通过.

Socrates himself believed he had no wisdom at all, and decided to test the Oracle's answer by going to the men of Athens who considered themselves wisest and asking them questions.

苏格拉底认为自己一点智慧都没有，于是决定验证一下神谕的回答。他找到雅典城里那些自认为最有智慧的人并向他们进行了提问。

The OAST workload is developed by Oracle to test Oracle on a system by simulating a real-world environment.

OAST工作负载是由Oracle开发的，它通过模拟真实的环境在某个系统上测试Oracle。

Test oracle is a method for verifying whether a system under test is running as desired on a particular execution, and also an indispensable stage of software testing.

测试预言（test oracle）是检验待测系统在特定执行下是否正确运行的方法，也是软件测试过程中的重要环节。

An Overview: Temporal Specification-Based Technologies of Automatic Generation Test Oracle

基于时序规范的测试预言自动生成技术评述

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

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

To solve the problem of checking testing output due to the large amount of the output and the difficulty in constructing the test oracle in One Card Multi-service System Testing, proposes an extended Log File Analysis method.

针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题，提出了扩展日志分析法。

However it has not been thoroughly investigated in software testing research.. This thesis proposes an approach to automatic generation of test oracle from restricted MITL ( Metric Interval Temporal Logic).

本文提出了基于受限度量区间时序逻辑（Metric Interval Temporal Logic，MITL）的测试预言自动生成技术。

Research and Implementation of Test Oracle Techniques Based on Log File Analysis

基于日志分析的测试预言技术研究与实现

Panorama is a protype system of multi-database based on CORBA components. In the system, the ORACLE local database agent is a typical component. we use it as an example to introduce how to test a CORBA component.

Panorama是自主设计和实现的一个基于CORBA多数据库原型系统，以Panorama系统中Oracle局部数据库代理为例，应用这种测试方法对该组件进行测试，取得了很好的效果。

Accurate class invariant and method post-condition can act as a test oracle. At the same time, and class invariant and method precondition can act as the inputs of partitioning equivalence class and analyzing boundary values.

准确的类不变式和方法后置条件可以作为测试神谕，而类不变式和方法前置条件可以作为划分等价类和分析边界值的输入。

The thesis proposes a method for automatic generation of test oracle based on the syntax and semantic of MITL_ [ a, b].

然后，在此基础上对实时规约的表达能力进行扩充，针对MITL（[a，6]）的语法和语义，提出相应的测试预言自动生成算法。