论文标题
态度测试:测试甲骨文问题的新方法
Intramorphic Testing: A New Approach to the Test Oracle Problem
论文作者
论文摘要
测试Oracle确定系统对给定输入的行为是否正确。自动测试技术依赖于自动测试Oracle在没有用户交互的情况下测试系统。自动测试牙齿的重要系列包括差分测试和变质测试,这都是黑盒方法。也就是说,它们提供了一个遗忘系统内部设备的测试甲骨文。在这项工作中,我们提出了形态内测试,作为解决测试甲骨文问题的白盒方法。为了实现脚底测试方法,创建了系统的修改版本,为此,可以为此提供一个与原始和修改系统的输出相关的测试甲骨文。作为一个具体的示例,通过在具有较小平等的分类算法的实现中替换更大的算子,可以预计修改后的实现的输出是原始实现的反向输出。在本文中,我们介绍了方法,并通过一组用例来说明它。
A test oracle determines whether a system behaves correctly for a given input. Automatic testing techniques rely on an automated test oracle to test the system without user interaction. Important families of automated test oracles include Differential Testing and Metamorphic Testing, which are both black-box approaches; that is, they provide a test oracle that is oblivious to the system's internals. In this work, we propose Intramorphic Testing as a white-box methodology to tackle the test oracle problem. To realize an Intramorphic Testing approach, a modified version of the system is created, for which, given a single input, a test oracle can be provided that relates the output of the original and modified systems. As a concrete example, by replacing a greater-equals operator in the implementation of a sorting algorithm with smaller-equals, it would be expected that the output of the modified implementation is the reverse output of the original implementation. In this paper, we introduce the methodology and illustrate it via a set of use cases.