Logo des Repositoriums
 

Strukturelle Testabdeckung funktionaler Spezifikationen

dc.contributor.authorFriske, Mario
dc.contributor.editorHegering, Heinz-Gerd
dc.contributor.editorLehmann, Axel
dc.contributor.editorOhlbach, Hans Jürgen
dc.contributor.editorScheideler, Christian
dc.date.accessioned2019-04-03T12:59:56Z
dc.date.available2019-04-03T12:59:56Z
dc.date.issued2008
dc.description.abstractIn 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.identifier.isbn978-3-88579-227-7
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/21358
dc.language.isode
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofINFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-133
dc.titleStrukturelle Testabdeckung funktionaler Spezifikationende
dc.typeText/Conference Paper
gi.citation.endPage210
gi.citation.publisherPlaceBonn
gi.citation.startPage205
gi.conference.date8. -13. September 2008
gi.conference.locationMünchen
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
205.pdf
Größe:
284.4 KB
Format:
Adobe Portable Document Format