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.
| Original language | German |
|---|---|
| Title of host publication | Mikroelektronik 2003 |
| Pages | 589-598 |
| Number of pages | 10 |
| Publication status | Published - 2003 |
| Event | Mikroelektronik 2003 - Duration: 1 Jan 2003 → … |
Conference
| Conference | Mikroelektronik 2003 |
|---|---|
| Period | 1/01/03 → … |
Research Field
- Not defined
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver