Strukturelle Testabdeckung funktionaler Spezifikationen

dc.contributor.author	Friske, Mario
dc.contributor.editor	Hegering, Heinz-Gerd
dc.contributor.editor	Lehmann, Axel
dc.contributor.editor	Ohlbach, Hans Jürgen
dc.contributor.editor	Scheideler, Christian
dc.date.accessioned	2019-04-03T12:59:56Z
dc.date.available	2019-04-03T12:59:56Z
dc.date.issued	2008
dc.identifier.isbn	978-3-88579-227-7
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/21358
dc.description.abstract	In diesem Papier wird dargestellt, wie strukturelle Abdeckungskriterien auf mithilfe von Metamodellen formalisierte funktionale Spezifikationen übertragen werden können. Bewährte kontroll- und datenflussbasierte Kriterien, die üblicherweise die Testvollständigkeit in Bezug auf den Programmcode beschreiben, lassen sich so auch zur Überdeckungsmessung spezifizierter Interaktionsflüsse nutzen.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e. V.
dc.relation.ispartof	INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-133
dc.title	Strukturelle Testabdeckung funktionaler Spezifikationen	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	205-210
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	München
mci.conference.date	8. -13. September 2008