Logo des Repositoriums
 
Konferenzbeitrag

Test case generation for visual contracts using AI planning

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Schnelte, Matthias; Güldali, Baris (2010): Test case generation for visual contracts using AI planning. INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-270-3. pp. 369-374. Regular Research Papers. Leipzig. 27.09.-01.10.2010

Schlagwörter

Zitierform

DOI

Tags