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.
Originalsprache | Deutsch |
---|---|
Titel | Mikroelektronik 2003 |
Seiten | 589-598 |
Seitenumfang | 10 |
Publikationsstatus | Veröffentlicht - 2003 |
Veranstaltung | Mikroelektronik 2003 - Dauer: 1 Jan. 2003 → … |
Konferenz
Konferenz | Mikroelektronik 2003 |
---|---|
Zeitraum | 1/01/03 → … |
Research Field
- Nicht definiert