Arbeitsprodukte

• 08-52 Testplan

  Arbeitsprodukte

• 08-50 Testspezifikation

  Arbeitsprodukte

• 13-19 Reviewprotokoll
• 13-25 Verifikationsergebnisse
• 13-50 Testergebnis
• 15-01 Analysebericht

  Arbeitsprodukte

• 13-19 Reviewprotokoll
• 13-22 Traceabilitymatrix

  Arbeitsprodukte

• 13-04 Kommunikationsaufzeichnung
• 13-25 Verifikationsergebnisse
• 13-50 Testergebnis

Entwicklung einer Strategie für die Verifikation der Software-Units inklusive einer Regressionsstrategie für die erneute Verifikation bei geänderten Software-Units. Die Verifikationsstrategie sollte festschreiben, wie die Nachweise für die Übereinstimmung der Software-Units mit dem Softwarefeindesign und den nicht-funktionalen Anforderungen erreicht werden kann.

Anmerkung 1: Zu den möglichen Verfahren zählen statische/dynamische Analyse, Code­Reviews, Unit-Tests, etc. [Ergebnis 1]

  Arbeitsprodukte

• 08-52 Testplan

Entwicklung und Dokumentation von Kriterien zur Verifikation, welche geeignet sind, Nachweise für die Übereinstimmung der Software-Units und deren Interaktion mit den Komponenten mit dem Softwarefeindesign und den nicht-funktionalen Anforderungen nachzuweisen. Für Unit-Tests sollten die Kriterien in einer Unit-Testspezifikation enthalten sein.

Anmerkung 2: Die Verifikationskriterien können Unit-Testfälle, Unit-Testdaten, statische Verifikation, Code­Standards wie MISRA und Ziele hinsichtlich der Codeabdeckung beinhalten.

Anmerkung 3: Die Unit-Testspezifikation kann auch als Skript in einer automatisierten Testumgebung implementiert sein. [Ergebnis 2]

  Arbeitsprodukte

• 08-50 Testspezifikation

Verifikation der Software-Units bezüglich Korrektheit unter Verwendung der definierten Kriterien für die Verifikation. Dokumentation der Ergebnisse der statischen Verifikation.

Anmerkung 4: Die statische Verifikation kann die statische Analyse, Code-Reviews, Prüfungen gegen Standards und Richtlinien und andere Techniken umfassen.

Anmerkung 5: Siehe SUP.9 für den Umgang mit Fehlern. [Ergebnis 3]

  Arbeitsprodukte

• 13-19 Reviewprotokoll
• 13-25 Verifikationsergebnisse
• 13-50 Testergebnis
• 15-01 Analysebericht

Testen der Software-Units unter der Verwendung der Unit-Testspezifikation entsprechend der Strategie für die Verifikation der Software-Units. Dokumentation der Testergebnisse und Testaufzeichnungen.

Anmerkung 6: Siehe SUP.9 für den Umgang mit Fehlern. [Ergebnis 3]

  Arbeitsprodukte

• 13-19 Reviewprotokoll
• 13-25 Verifikationsergebnisse
• 13-50 Testergebnis
• 15-01 Analysebericht

Herstellung der bidirektionalen Traceability zwischen Software-Units und den Ergebnissen der statischen Verifikation. Herstellung der bidirektionalen Traceability zwischen Softwarefeindesign und der Unit-Testspezifikation. Herstellung der bidirektionalen Traceability zwischen Unit-Testspezifikation und den Unit-Testergebnissen.

Anmerkung 7: Die bidirektionale Traceability unterstützt Abdeckungs-, Konsistenz- und Auswirkungsanalysen. [Ergebnis 4]

  Arbeitsprodukte

• 13-19 Reviewprotokoll
• 13-22 Traceabilitymatrix

Sicherstellung der Konsistenz zwischen dem Softwarefeindesign und der Unit-Testspezifikation.

Anmerkung 8: Die Konsistenz wird durch die bidirektionale Traceability unterstützt und kann durch Review-Aufzeichnungen nachgewiesen werden. [Ergebnis 4]

  Arbeitsprodukte

• 13-19 Reviewprotokoll
• 13-22 Traceabilitymatrix

Zusammenfassung der Unit-Testergebnisse und die Ergebnisse der statischen Verifikation und Kommunikation an alle betroffenen Parteien.

Anmerkung 9: Die Bereitstellung aller notwendigen Informationen aus der Testausführung in Form einer Zusammenfassung ermöglicht den anderen Parteien die Beurteilung der Konsequenzen. [Ergebnis 5]

  Arbeitsprodukte

• 13-04 Kommunikationsaufzeichnung
• 13-25 Verifikationsergebnisse
• 13-50 Testergebnis