Anhang D –Software-Verifikations-Report
Dieser Anhang zeigt einen Vorschlag für die Struktur eines Software-Verifikations-Reports. Ein »lebendes Beispiel« so eines Reports gibt es unter www.methver.webs.com zum Download.
1 Einleitung
1.1 Zweck und Zielpublikum des Dokuments
1.2 Evolution des Dokuments
1.3 Definitionen
2 Dokumente
2.1 Applikable Dokumente
2.2 Referenzdokumente
3 Überblick
3.1 Durchgeführte Verifikationsmaßnahmen
3.2 Risikobewertung
4 Dokumenten- und Designreviews
5 Statische Analysen
5.1 Code-Reviews
5.2 Automatische Statische Analyse
6 Unit-Tests
6.1 Werkzeuge, Settings, Plattform
6.2 Testabdeckung
6.3 Unit-Test-Reviews
6.4 Ergebnisse der Unit-Tests
7 Integrationstests
ggf. Unterkapitel 7.1 bis 7.4 wie bei Unit-Tests ...
Get Software-Test für Embedded Systems now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.