Stand der Technik: Statische Programmanalyse und Unit-Testen

Ziel dieses Berichts ist es, aktuell am Markt existierende Vorgehen und Werkzeuge für die beiden Themenschwerpunkte statische Programmanalyse und Unit Testen zu untersuchen und zusammenzufassen. Weiters sollen Möglichkeiten aufgezeigt werden, wie diese Vorgehen und Werkzeuge in den Entwicklungsprozess des Projektpartners integriert werden können.<br> Der Themenschwerpunkt statische Programmanalyse behandelt zudem auch den Einsatz und die Überprüfung von Programmierrichtlinien. Programmierrichtlinien werden als organisatorische Maßnahme in einem Unternehmen eingeführt, deren Einhaltung kann mit Hilfe statischer Programmanalysen werkzeuggestützt überprüft werden. Bei den Untersuchungen in diesem Bericht wurden für beide Themenschwerpunkte folgende Anforderungen des Projektpartners berücksichtigt: <br> (1) Untersuchungen wurden auf die Programmiersprachen C, C++, Java und C# beschränkt, wobei der Fokus bei den Untersuchungen auf C und C++ lag.<br> (2) Anwendung der Werkzeuge muss auf Windows-Plattformen möglich sein.<br> (3) Integrationsmöglichkeiten der Werkzeuge mit den Entwicklungswerkzeugen des Projektpartners müssen vorhanden sein.<br> Dieser Bericht enthält keine Evaluierung der beschriebenen Werkzeuge; die Reihung der Werkzeuge erfolgt daher i.d.R. alphabetisch, ohne einer qualitativen oder quantitativen Aussage. Weiters erhebt dieser Bericht nicht Anspruch auf Vollständigkeit, auch wenn wir versucht haben, einen möglichst guten Überblick über die aktuelle Werkzeuglandschaft zu bieten.<br> Die Informationen in diesem Bericht sind, sofern nicht anders gekennzeichnet, aus Literaturquellen und von entsprechenden Web-Seite. Der Bericht enthält an den entsprechenden Stellen Quellenangaben. Die in diesem Dokument angeführten Verweise auf Web-Seiten wurden im Oktober 2003 zuletzt auf Ihre Gültigkeit hin überprüft.