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