Entwurfsüberprüfung

Übersicht

Ein vitaler Aspekt der Softwareentwicklung besteht darin, daß die Software sich so verhält wie erwartet. Das Design Review von LDRA erweitet den Rahmen der statischen Analyse, die von der "Code-Review" und dem Qualtitäts-"review" geliefert wird dahingehend, daß eine Analyse des Aufbaus des Quellcodes durchgeführt wird. Ihr Quellcode wird auf seine Struktur, den Kontrollfluß und den Datenfluß hin untersucht, so daß "Design"-konformität (oder das Gegenteil davon) sichtbar werden.

Design Review etabliert eine Methodik um LDRA's Ziel, nämlich eine "Nulldefekt-Software-entwicklung" für jedes Softwareteam zu erreichen. Das Design Review ist die Grundlage dafür, daß der ROI (Return on Investment) für die LDRA Werkzeugreihe positiv ist, da sichergestellt wird, daß alle Laufzeitdefekte entfernt werden, bevor sie die Kosten für den Systemtest und den Aufwand für die Aktualisierung der ausgelieferten Softwaresysteme aufblähen.

Nutzen und Eigenschaften

Korrektheit der Entwicklung

Der LDRA Graph zur Darstellung der Aufrufhierarchie sowie der Flußgraph, welche vom Code-Review erzeugt werden, werden durch eine umfassende Analyse aller Parameter und Datenobjekte ergänzt, die in Ihrem Code verwendet werden. Dieses erweiterte Modell kann dazu verwendet werden einen Zusammenhang zwischen den Anforderungen an die Softwareanwendung und der Korrektheit des Designs der Anwendung herzustellen. Damit dieser Zweck besser zum Zuge kommt ist eine automatische "Header"-Kommentar Option vorhanden.

Design Review kann von Software-Architekten und Entwicklungsleitern auch dazu verwendet werden die Konsistenz der Entwicklung sicherzustellen, bevor die Anforderungen an das zu entwickelnde System an die Systementwickler und -tester weitergegeben werden. Der Code wird ohne Kompilierung analysiert, daher kann ein nahtloser Übergang vom Design bis zur vollständigen Implementierung stattfinden.

Schnittstelle und Kopplungsanalyse

Die Analyse der Schnittstellen enthält die Dokumentation der Prozedurprototypen- deklarationen, die Parameter, die von diesen Prozeduren verwendet werden und den Test der Schnittstellenkonsistenz über den ganzen Rahmen Ihrer Implementierung hinweg. Für C++ werden Klassenbestimmungen für alle Membervariablen und alle Methoden dokumentiert.

Die Schnittstellenanalyse identifiziert potentiell fehlerhafte Programmvariablen. Das Werkzeug liefert eine vollständige Analyse aller Prozedurparameter, aller globalen Variablen und den Rückgabewerten der aufgerufenen Funktionen.

Steuer- und Datenkopplung, zwei Schlüsselelemente zum Nachweis der Testbarkeit Ihres Design werden in den "Spinnen"-graphen und den Datenanalysereports dokumentiert.

Datenanomalien

Datenflußanomalien sind Folgen von Aktionen an Programmvariablen, die möglicherweise fehlerhaft sein können. Ausgaben solcher Aktionen im Datenflußanalysereport zeigen verschiedene Typen von Datenflußanaomalien auf.

Eine Datenflußanalyse wird prozedurweise, quelldateiweise oder über ein ganzes System hinweg durchgeführt.

"Feasibility" (Machbarkeits-)Test

Das Verhalten des Modells für das Design Review wird anhand eines automatisierten Prozesses (des Machbarkeitstestes) überprüft. Dieser Prozeß erzeugt eine Testumgebung, in der alle ausführbaren Pfade durchlaufen werden. Diese Testumgebung ist am effektivsten verwirklicht in der LDRA Komponente für den Programmeinheitstest.

In C/C++ sind die häufigsten Laufzeitfehler auf das verwendete Speicherverwaltungssystem (Memory Management System (MMS)) und darin verwendeter auf Objekte zeigender Zeiger zurückzuführen. Das LDRA System überprüft solche problematischen Bereiche ebenso wie die Verwendung von Strukturen, verbundener Listen (Linked List) und Felder.

Nutzen und Vorteile

Der hauptsächliche Nutzen der Design Review sind:

• Sicherstellen, daß die Anforderungen durch Implementieren des korrekten Designs erfüllt werden
• Exzellente Vorbereitungen auf "Test Readiness Reviews"
• Das "Code Profiling" liefert eine Analyse ohne "falsche positive Annahmen"
• Schnittstellenanalyse identifiziert potentiell fehlerhafte Programmvariable
• Konsequenz: Das Design wird in Übereinstimmung mit der Spezifikation ausgeliefert

Zusammenfassung des Nutzens für den Anwender

Ein Review wird durchgeführt um zu nachzuweisen, daß die Designspezifikation in der beabsichtigten Weise implementiert wurde.

Übersicht

Ein vitaler Aspekt der Softwareentwicklung besteht darin, daß die Software sich so verhält wie erwartet. Das Design Review von LDRA erweitet den Rahmen der statischen Analyse, die von der "Code-Review" und dem Qualtitäts-"review" geliefert wird dahingehend, daß eine Analyse des Aufbaus des Quellcodes durchgeführt wird. Ihr Quellcode wird auf seine Struktur, den Kontrollfluß und den Datenfluß hin untersucht, so daß "Design"-konformität (oder das Gegenteil davon) sichtbar werden.

Design Review etabliert eine Methodik um LDRA's Ziel, nämlich eine "Nulldefekt-Software-entwicklung" für jedes Softwareteam zu erreichen. Das Design Review ist die Grundlage dafür, daß der ROI (Return on Investment) für die LDRA Werkzeugreihe positiv ist, da sichergestellt wird, daß alle Laufzeitdefekte entfernt werden, bevor sie die Kosten für den Systemtest und den Aufwand für die Aktualisierung der ausgelieferten Softwaresysteme aufblähen.

Nutzen und Eigenschaften

Korrektheit der Entwicklung

Der LDRA Graph zur Darstellung der Aufrufhierarchie sowie der Flußgraph, welche vom Code-Review erzeugt werden, werden durch eine umfassende Analyse aller Parameter und Datenobjekte ergänzt, die in Ihrem Code verwendet werden. Dieses erweiterte Modell kann dazu verwendet werden einen Zusammenhang zwischen den Anforderungen an die Softwareanwendung und der Korrektheit des Designs der Anwendung herzustellen. Damit dieser Zweck besser zum Zuge kommt ist eine automatische "Header"-Kommentar Option vorhanden.

Design Review kann von Software-Architekten und Entwicklungsleitern auch dazu verwendet werden die Konsistenz der Entwicklung sicherzustellen, bevor die Anforderungen an das zu entwickelnde System an die Systementwickler und -tester weitergegeben werden. Der Code wird ohne Kompilierung analysiert, daher kann ein nahtloser Übergang vom Design bis zur vollständigen Implementierung stattfinden.

Schnittstelle und Kopplungsanalyse

Die Analyse der Schnittstellen enthält die Dokumentation der Prozedurprototypen- deklarationen, die Parameter, die von diesen Prozeduren verwendet werden und den Test der Schnittstellenkonsistenz über den ganzen Rahmen Ihrer Implementierung hinweg. Für C++ werden Klassenbestimmungen für alle Membervariablen und alle Methoden dokumentiert.

Die Schnittstellenanalyse identifiziert potentiell fehlerhafte Programmvariablen. Das Werkzeug liefert eine vollständige Analyse aller Prozedurparameter, aller globalen Variablen und den Rückgabewerten der aufgerufenen Funktionen.

Steuer- und Datenkopplung, zwei Schlüsselelemente zum Nachweis der Testbarkeit Ihres Design werden in den "Spinnen"-graphen und den Datenanalysereports dokumentiert.

Datenanomalien

Datenflußanomalien sind Folgen von Aktionen an Programmvariablen, die möglicherweise fehlerhaft sein können. Ausgaben solcher Aktionen im Datenflußanalysereport zeigen verschiedene Typen von Datenflußanaomalien auf.

Eine Datenflußanalyse wird prozedurweise, quelldateiweise oder über ein ganzes System hinweg durchgeführt.

"Feasibility" (Machbarkeits-)Test

Das Verhalten des Modells für das Design Review wird anhand eines automatisierten Prozesses (des Machbarkeitstestes) überprüft. Dieser Prozeß erzeugt eine Testumgebung, in der alle ausführbaren Pfade durchlaufen werden. Diese Testumgebung ist am effektivsten verwirklicht in der LDRA Komponente für den Programmeinheitstest.

In C/C++ sind die häufigsten Laufzeitfehler auf das verwendete Speicherverwaltungssystem (Memory Management System (MMS)) und darin verwendeter auf Objekte zeigender Zeiger zurückzuführen. Das LDRA System überprüft solche problematischen Bereiche ebenso wie die Verwendung von Strukturen, verbundener Listen (Linked List) und Felder.

Nutzen und Vorteile

Der hauptsächliche Nutzen der Design Review sind:

Sicherstellen, daß die Anforderungen durch Implementieren des korrekten Designs erfüllt werden

Exzellente Vorbereitungen auf "Test Readiness Reviews"

Das "Code Profiling" liefert eine Analyse ohne "falsche positive Annahmen"

Schnittstellenanalyse identifiziert potentiell fehlerhafte Programmvariable

Konsequenz: Das Design wird in Übereinstimmung mit der Spezifikation ausgeliefert

Zusammenfassung des Nutzens für den Anwender

Ein Review wird durchgeführt um zu nachzuweisen, daß die Designspezifikation in der beabsichtigten Weise implementiert wurde.