Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2010. Service Science - Neue Perspektiven für die Informatik. Band 2 P-176, 369-374 (2010).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Test case generation for visual contracts using AI planning

Matthias Schnelte and Baris Güldali


In this paper, we propose a novel approach for computing test case preambles using visual contracts and AI Planning. In unit testing, preambles are required for setting the class under test into a controlled state (prestate). The class operation can then be invoked with test inputs. In previous research, we have used model checking for computing preambles. In this paper, we show how preamble computation is conducted by AI Planning and discuss its differences to model checking.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-270-3

Last changed 04.10.2013 18:34:10