Statische Analyse

Statische Analyse

Statische Code-Analyse oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software (z. B. im Modultest) ausgeführt wird. Die Methodik gehört zu den falsifizierenden Verfahren, d. h. es wird die Anwesenheit von Fehlern bestimmt.

Gesprochene Wikipedia Dieser Artikel ist als Audiodatei verfügbar:
Speichern | Informationen | 04:19 min (2,57 MB) Text der gesprochenen Version
Mehr Informationen zur „Gesprochenen Wikipedia“

Literatur

  • Ch. Bommer, M. Spindler, V. Barr: Softwarewartung - Grundlagen, Management und Wartungstechniken, dpunkt.verlag, Heidelberg 2008, ISBN 3-89864-482-0

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • statische Analyse — statische Analyse,   Statik, Wirtschaftstheorie: Betrachtung und Modellierung einer Volkswirtschaft oder volkswirtschaftlicher Teilbereiche unter der Prämisse, dass alle Größen übereinstimmende zeitliche Datierungen aufweisen (alle Variablen sind …   Universal-Lexikon

  • statische Analyse — ⇡ Analyse Methoden …   Lexikon der Economics

  • komparativ-statische Analyse — ⇡ Analyse Methoden …   Lexikon der Economics

  • Statische Code-Analyse — oder kurz statische Analyse ist ein statisches Software Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software… …   Deutsch Wikipedia

  • Analyse — Untersuchung (von); kritische Auseinandersetzung (mit); Studie; Betrachtung; Auswertung; Überprüfung; Prüfung; Erforschung; Untersuchung; Begutachtung; …   Universal-Lexikon

  • Statische Typsysteme — Statische Typisierung (engl. static typing) bezeichnet ein Schema der Typisierung von Programmiersprachen. Bei der statischen Typisierung wird im Gegensatz zur dynamischen Typisierung der Datentyp von Variablen und anderen Programmbausteinen… …   Deutsch Wikipedia

  • Statische Typisierung — (engl. static typing) bezeichnet ein Schema der Typisierung von Programmiersprachen. Bei der statischen Typisierung wird im Gegensatz zur dynamischen Typisierung der Datentyp von Variablen und anderen Programmbausteinen schon während der… …   Deutsch Wikipedia

  • Komparativ-statische Analyse — Komparative Statik ist ein Begriff aus der Wirtschaftswissenschaft. Man versteht darunter den Vergleich mehrerer Gleichgewichtszustände. Hierbei werden normalerweise ein Start und ein Zielzustand (hypothetischer Zustand) gegenübergestellt, zum… …   Deutsch Wikipedia

  • Analyse-Methoden — 1. Bei der statischen Analyse beziehen sich – bei gegebenen funktionalen Beziehungen – alle untersuchten Variablen auf den gleichen Zeitpunkt, d.h., das Zeitproblem wird ausgeklammert. 2. Bei der komparativ statischen Analyse werden zwei… …   Lexikon der Economics

  • Strukturierte Analyse — Die Strukturierte Analyse (SA) ist eine hauptsächlich von Tom DeMarco entwickelte Methode zur Erstellung einer formalen Systembeschreibung im Rahmen der Softwareentwicklung. Sie wird während der Analysephase eines Software Projekts eingesetzt.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”