Archiv der Kategorie: statische Analyse

statische Testverfahren – statische Analyse mittels Compiler – Analyse des Kontrollflusses

Wenn man den Programmfluss als Kontrollfluss aufzeichnet, sieht man genau, welche Sequenzen in welcher Reihenfolge abgearbeitet werden. Weiterhin werden Schleifen und wenn-dann (bzw if-else)-Abfragen ersichtlich. Somit kann die Logik des Programms leicht verstanden und Abnormalitäten aufgedeckt werden . Gerade bei … Weiterlesen

Veröffentlicht unter statische Analyse, statische Testverfahren | Verschlagwortet mit , | 1 Kommentar

statische Testverfahren – statische Analyse mittels Compiler – Analyse des Datenflusses

Bei der Datenflussanalyse wird die Benutzen von Daten auf Pfaden des Programmcodes überprüft. Es ist nicht immer möglich Defekte zu entdecken; vielmehr werden hier Abnormalitäten gefunden. Abnormalitäten bedeuten eine Inkonsistenz welche zu Fehlern führen können, aber dies nicht zwangsläufig tun … Weiterlesen

Veröffentlicht unter statische Analyse, statische Testverfahren | Verschlagwortet mit , | Hinterlasse einen Kommentar

statische Testverfahren – statische Analyse mittels Compiler – Überprüfung auf Einhaltung von Konventionen und Standards

Die Einhaltung von Konventionen und Standards kann – wie bereits erwähnt – ebenfalls mit Werkzeugen überprüft werden. Diese Art der Überprüfung braucht sehr wenig Zeitaufwand und fast keine personellen Ressourcen. In jedem Fell sollten nur Richtlinien ausgegeben werden, die von … Weiterlesen

Veröffentlicht unter statische Analyse, statische Testverfahren | Verschlagwortet mit , | Hinterlasse einen Kommentar

statische Testverfahren – statische Analyse mittels Compiler

Alle Compiler haben besitzen ein statisches Analysewerkzeug um sicherzustellen das die korrekte Syntax der Programmiersprache benutzt wird. Die meisten Compiler stellen auch weitere Informationen bei Fehlern/Warnungen zur Verfügung.  Generell werden diese Informationen in Formen von Listen zur Verfügung gestellt, wobei … Weiterlesen

Veröffentlicht unter statische Analyse | Verschlagwortet mit , | Hinterlasse einen Kommentar

statische Testverfahren – statische Analyse

Das Ziel der statischen Analyse ist das gleiche wie der strukturierten Gruppenprüfung – das Aufdecken von Defekten oder Auffälligkeiten in Dokumenten. Im Gegensatz zur strukturierten Gruppenprüfung übernehmen aber hier Werkzeuge die Analyse. Um mit einem einfachen Beispiel anzufangen zählen z.B. … Weiterlesen

Veröffentlicht unter statische Analyse | Verschlagwortet mit | Hinterlasse einen Kommentar