Intramorphic Testing: A New Approach to the Test Oracle Problem
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.
Fri 9 DecDisplayed time zone: Auckland, Wellington change
15:30 - 17:00 | Program Synthesis, Testing and AdaptationOnward! Papers at Seminar Room G100 Chair(s): Stefan Marr University of Kent | ||
15:30 30mTalk | Derivations with Holes for Concept-Based Program SynthesisIncludes Demo Onward! Papers João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Luís Carvalho NOVA-LINCS; Nova University of Lisbon, Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Carla Ferreira NOVA-LINCS; Nova University of Lisbon DOI | ||
16:00 30mTalk | Intramorphic Testing: A New Approach to the Test Oracle Problem Onward! Papers DOI | ||
16:30 30mTalk | GOAL: Supporting General and Dynamic Adaptation in Computing SystemsVirtual Onward! Papers Ahsan Pervaiz University of Chicago, Yao Hsiang Yang Rice University, Adam Duracz Rice University, Ferenc Bartha Rice University, Ryuichi Sai Rice University, Connor Imes University of Chicago, Robert Cartwright Rice University, Krishna Palem Rice University, Shan Lu University of Chicago, Henry Hoffmann University of Chicago DOI |