Software-Verifikation und Validation - Risikoanalyse auf Basis von Unit-Tests im Prüflabor

Stephan Ramberger, Thomas Gruber

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    Abstract

    Systematische Verifikations- und Validationsmaßnahmen sind besonders bei sicherheitskritischer Software von größter Bedeutung. Nach einer kurzen Einführung in Vorgehensmodell, Testmethode und Software-Metriken werden die Ergebnisse des im Prüflabor von Seibersdorf research durchgeführten Unit-Tests an einem C++ - Softwarepaket für die ESA präsentiert. Aufbauend auf eine im Software Assurance Technology Center der NASA entwickelte Klassifikationsmethodik werden an Hand des getesteten Codes Zusammenhänge zwischen Metriken und Software-Fehlern analysiert und Risikobereiche in der konkreten Software identifiziert.
    OriginalspracheDeutsch
    TitelMikroelektronik 2003
    Seiten589-598
    Seitenumfang10
    PublikationsstatusVeröffentlicht - 2003
    VeranstaltungMikroelektronik 2003 -
    Dauer: 1 Jan. 2003 → …

    Konferenz

    KonferenzMikroelektronik 2003
    Zeitraum1/01/03 → …

    Research Field

    • Nicht definiert

    Diese Publikation zitieren