Zur Kurzanzeige

dc.contributor.authorPinte, Florian
dc.contributor.authorSaglietti, Francesca
dc.contributor.editorFähnrich, Klaus-Peter
dc.contributor.editorFranczyk, Bogdan
dc.date.accessioned2019-01-11T10:29:48Z
dc.date.available2019-01-11T10:29:48Z
dc.date.issued2010
dc.identifier.isbn978-3-88579-270-3
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/19421
dc.description.abstractDer vorliegende Beitrag präsentiert neueste Ergebnisse einer Evaluierungsstudie über die Effizienz modellbasierter Verifikationsansätze im Hinblick auf Anzahl und Art erkennbarer Fehler. Ein seit kurzem einsatzbereites Werkzeug zur vollautomatischen modellbasierten Testfallerzeugung lieferte hierfür ein wertvolles Forschungsinstrument, das in Bezug auf die Aufdeckung von Modellierungsfehlern und Implementierungsfehlern zur Erlangung weiterer Einsichten auf diesem Gebiet verhelfen konnte.de
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-176
dc.titleEvaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfällede
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages375-380
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationLeipzig
mci.conference.date27.09.-01.10.2010


Dateien zu dieser Ressource

Thumbnail

Zur Kurzanzeige