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

Von Hof V


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.



Publication type
Conference Paper

Peer reviewed
Yes

Publication status
Published

Year
2017

Conference
The 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET_17)

Venue
Kitakyushu, Japan

Book title
New Trends in Intelligent Software Methodologies, Tools and Techniques

Editor
Fujita H, Selamat A, Omatu S

Start page
480

End page
489

Pages range
480-489

Volume
297

Title of series
Frontiers in Artificial Intelligence and Applications

Publisher
IOS Press

Place
Amsterdam, Niederlande

ISBN
978-1-61499-799-3

DOI

Full text

Affiliation
Westfalische Wilhelms-Universitat Munster