Logo des Repositoriums
 

Hochqualitativ Verifikation für VP-basierte Heterogene Systeme

dc.contributor.authorHassan, Muhammad
dc.contributor.editorHölldobler, Steffen
dc.date.accessioned2022-12-02T12:57:54Z
dc.date.available2022-12-02T12:57:54Z
dc.date.issued2022
dc.description.abstractIn dieser Dissertation werden mehrere neuartige Ansätze entwickelt, die verschiedene Verifikationsaspekte abdecken, um den modernen, auf Virtuellen Prototypen (VP)-basierten, Verifikationsablauf stark zu verbessern. Die Beiträge sind im Wesentlichen in vier Bereiche unterteilt: Der erste Beitrag führt eine neue Verifikationsperspektive für VPs ein, indem er Metamorphic Testing (MT) verwendet, da im Gegensatz zu modernen VP-basierten Verifikationsabläufen keine Referenzmodelle/-werte für die Verifikation benötigt werden. Der zweite Beitrag schlägt hochqualitative Methoden zum Schließen der Code-Abdeckung in modernen VP-basierten Verifikationsabläufen vor, indem er Mutationsanalyse und stärkere Abdeckungsmetriken wie Datenfluss- Abdeckung berücksichtigt. Der dritte Beitrag besteht aus einer Reihe hochqualitativ, neuartiger, systematischer und leichtgewichtigen funktionalen Methoden zur Verbesserung der relevanten Ab- deckungsmetriken. Der vierte und letzte Beitrag dieser Arbeit sind neuartige Ansätze, die eine frühzeitige Sicherheitsvalidierung von VPs ermöglichen. Alle Ansätze werden im Detail vorgestellt und ausführlich mit mehreren Experimenten evaluiert, die ihre Effektivität durch einen hochqualitativ VP-basierten Verifikationsfluss für heterogene Systeme deutlich machen.de
dc.identifier.isbn978-3-88579-980-1
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/39860
dc.language.isode
dc.publisherKöllen Druck + Verlag GmbH
dc.relation.ispartofD22
dc.relation.ispartofseriesAusgezeichnete Informatikdissertationen 2021
dc.titleHochqualitativ Verifikation für VP-basierte Heterogene Systemede
dc.typeText/Conference Paper
gi.citation.endPage80
gi.citation.publisherPlaceBonn
gi.citation.startPage71
gi.conference.date22.-25. Mai 2022
gi.conference.locationSchoss Dagstuhl, Deutschland

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
Hassan-Muhammad.pdf
Größe:
8.28 MB
Format:
Adobe Portable Document Format