Strukturelle Testabdeckung funktionaler Spezifikationen

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.
  • Vollständige Referenz
  • BibTeX
Friske, M., (2008). Strukturelle Testabdeckung funktionaler Spezifikationen. In: Hegering, H.-G., Lehmann, A., Ohlbach, H. J. & Scheideler, C. (Hrsg.), INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1. Bonn: Gesellschaft für Informatik e. V.. (S. 205-210).
@inproceedings{mci/Friske2008,
author = {Friske, Mario},
title = {Strukturelle Testabdeckung funktionaler Spezifikationen},
booktitle = {INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1},
year = {2008},
editor = {Hegering, Heinz-Gerd AND Lehmann, Axel AND Ohlbach, Hans Jürgen AND Scheideler, Christian} ,
pages = { 205-210 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
205.pdf284.3Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-227-7
ISSN: 1617-5468
Datum: 2008
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige