Strukturelle Testabdeckung funktionaler Spezifikationen
dc.contributor.author | Friske, Mario | |
dc.contributor.editor | Hegering, Heinz-Gerd | |
dc.contributor.editor | Lehmann, Axel | |
dc.contributor.editor | Ohlbach, Hans Jürgen | |
dc.contributor.editor | Scheideler, Christian | |
dc.date.accessioned | 2019-04-03T12:59:56Z | |
dc.date.available | 2019-04-03T12:59:56Z | |
dc.date.issued | 2008 | |
dc.description.abstract | 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. | de |
dc.identifier.isbn | 978-3-88579-227-7 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21358 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik e. V. | |
dc.relation.ispartof | INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-133 | |
dc.title | Strukturelle Testabdeckung funktionaler Spezifikationen | de |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 210 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 205 | |
gi.conference.date | 8. -13. September 2008 | |
gi.conference.location | München | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1