Friske, MarioHegering, Heinz-GerdLehmann, AxelOhlbach, Hans JürgenScheideler, Christian2019-04-032019-04-032008978-3-88579-227-7https://dl.gi.de/handle/20.500.12116/21358In 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.deText/Conference Paper1617-5468