Beschreibung
Aufgabe:Architektur/Design Review
Statische Analyse-Methoden des Source Code ohne diesen auszuführen.
Laufzeitfehleranalyse, Ressourcenanalyse
Code-Metriken
Funktionales Code-Review
Konsistenz und Vollständigkeit von Architektur/Design
Abwesenheit von Laufzeitfehlern
Maximale Ausführungszeit
Maximaler Stackbedarf
Beweis von bestimmten Eigenschaften möglich
Anforderung:
Tools:
-> Polyspace
-> QAC
Beginn: 01.03.2010
Dauer: 31.12.2010
Branche: Automotive