Test case generation for visual contracts using AI planning
| dc.contributor.author | Schnelte, Matthias | |
| dc.contributor.author | Güldali, Baris | |
| dc.contributor.editor | Fähnrich, Klaus-Peter | |
| dc.contributor.editor | Franczyk, Bogdan | |
| dc.date.accessioned | 2019-01-11T10:29:47Z | |
| dc.date.available | 2019-01-11T10:29:47Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 978-3-88579-270-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19420 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-176 | |
| dc.title | Test case generation for visual contracts using AI planning | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 374 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 369 | |
| gi.conference.date | 27.09.-01.10.2010 | |
| gi.conference.location | Leipzig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1