University of Münster
CRIS@UM
DE | EN

Leveraging Test Case Generation in the Testing Process – An Integration of Human Oracles with Derived Oracles

Von Hof V

Research article in edited proceedings (conference) | Peer reviewed

Abstract

In the testing process humans examine the behavior of an application under test to determine what would constitute a failure. By specifying—for a given input and result—whether or not this combination leads to desired behavior, they essentially constitute to what is called the test oracle. To automate oracle generation, techniques were introduced to derive the oracle from models, specification, or by reusing artifacts. In the end, to complete the oracle, a human must be involved. Automated Test Case Generation (ATCG) on the other hand, already derives all feasible test cases from the program itself - baring judgment about which cases correspond to faults. This paper introduces a tool that derives the oracle by using ATCG as input for a human oracle. By combining ATCG with human oracles, we aim to reduce costs associated with the testing process.

Details about the publication

Publisher: Fujita H, Selamat A, Omatu S
Book title: New Trends in Intelligent Software Methodologies, Tools and Techniques
Page range: 480-489
Publishing company: IOP Publishing
Place of publication: Amsterdam, Niederlande
Title of series: Frontiers in Artificial Intelligence and Applications
Volume of series: 297
Status: Published
Release year: 2017
Language in which the publication is written: English
Conference: The 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET_17), Kitakyushu, Japan, undefined
ISBN: 978-1-61499-799-3
DOI: 10.3233/978-1-61499-800-6-480
Link to the full text: http://ebooks.iospress.nl/volume/new-trends-in-intelligent-software-methodologies-tools-and-techniques-proceedings-of-the-16th-international-conference-somet-17

Authors from the University of Münster

von Hof, Vincent
Practical Computer Science Group (PI)