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

Von Hof V


Zusammenfassung
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.



Publikationstyp
Aufsatz (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2017

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

Konferenzort
Kitakyushu, Japan

Buchtitel
New Trends in Intelligent Software Methodologies, Tools and Techniques

Herausgeber
Fujita H, Selamat A, Omatu S

Erste Seite
480

Letzte Seite
489

Seiten
480-489

Band
297

Reihe
Frontiers in Artificial Intelligence and Applications

Verlag
IOS Press

Ort
Amsterdam, Niederlande

ISBN
978-1-61499-799-3

DOI

Gesamter Text

Affiliierungen
Westfalische Wilhelms-Universitat Munster