Logo des Repositoriums
 
Konferenzbeitrag

Strukturelle Testabdeckung funktionaler Spezifikationen

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2008

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

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.

Beschreibung

Friske, Mario (2008): Strukturelle Testabdeckung funktionaler Spezifikationen. INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-227-7. pp. 205-210. Regular Research Papers. München. 8. -13. September 2008

Schlagwörter

Zitierform

DOI

Tags