SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

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 Dec

Displayed 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
30m
Talk
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
30m
Talk
Intramorphic Testing: A New Approach to the Test Oracle Problem
Onward! Papers
Manuel Rigger National University of Singapore, Zhendong Su ETH Zurich
DOI
16:30
30m
Talk
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