Gesellschaft fŘr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2008 Beherrschbare Systeme -dank Informatik Band 1 P-133, 205-210 (2008).

Gesellschaft f├╝r Informatik, Bonn
2008


Editors

Heinz-Gerd Hegering, Axel Lehmann, Hans J├╝rgen Ohlbach, Christian Scheideler (eds.)


Copyright © Gesellschaft f├╝r Informatik, Bonn

Contents

Strukturelle Testabdeckung funktionaler Spezifikationen

Mario Friske

Abstract


In diesem Papier wird dargestellt, wie strukturelle Abdeckungskriterien auf mithilfe von Metamodellen formalisierte funktionale Spezifikationen ├╝bertragen werden k├Ânnen. Bew├Ąhrte kontrollund datenflussbasierte Kriterien, die ├╝blicherweise die Testvollst├Ąndigkeit in Bezug auf den Programmcode beschreiben, lassen sich so auch zur ├ťberdeckungsmessung spezifizierter Interaktionsfl├╝sse nutzen.


Full Text: PDF

Gesellschaft f├╝r Informatik, Bonn
ISBN 978-3-88579-227-7


Last changed 24.01.2012 22:01:57