statische Code-Analyse
Sign in to saveAlso known as static code analysis, static analysis, static software analysis
Software-Testverfahren
Article · Deutsch
Statische Code-Analyse oder kurz statische Analyse ist ein statisches Software-Testverfahren, das zur Übersetzungszeit durchgeführt wird. 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. In Anlehnung an das klassische Programm Lint wird der Vorgang auch als linten (englisch linting) bezeichnet.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
operational semantics
Entity
software development process
Entity
Lint
Entity
programming style
Entity
correctness
Entity
dynamic program analysis
Entity
data-flow analysis
Entity
Isabelle
Entity
computer science
Entity
Alan Turing
Entity
software
Entity
International Standard Book Number
Entity
computer hardware
Entity
Wayback Machine
Entity
Kurt Gödel
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
compiler
Entity
software engineering
Entity
source code
Entity