Schneller Zugriff als Browser!
45 Beziehungen: Array (Datentyp), Übersetzungszeit, Checkstyle, Code-Smell, Compiler, ConQAT, Cppcheck, DO-178C, Dynamisches Software-Testverfahren, Falsifikation, FindBugs, Formatstring-Angriff, FxCop, Harry Sneed, IEC 61508, ISO 26262, Java (Programmiersprache), Kontinuierliche Integration, Korrektheit (Informatik), Laufzeit (Informatik), Lint (Programmierwerkzeug), MISRA-C, Modultest, Normierte Programmierung, Pendant, Peter Liggesmeyer, PMD (Software), Podcast, Profiler (Programmierung), Programmfehler, Programmiersprache, Pufferüberlauf, Quelltext, Quelltextklon, Richard Seidl, Rough Auditing Tool for Security, Software Engineering Radio, Softwaremetrik, Softwaretest, Speicherleck, Splint (Software), Statisches Software-Testverfahren, Style Checker, Wettlaufsituation, White-Box-Test.
Array (Datentyp)
Ein Array ist in der Informatik eine Datenstruktur-Variante, mit deren Verwendung „viele gleichartig strukturierte Daten verarbeitet werden sollen“.
Neu!!: Statische Code-Analyse und Array (Datentyp) · Mehr sehen »
Übersetzungszeit
In der Informatik wird der Begriff Übersetzungszeit oder Compile-Zeit mit Operationen assoziiert, die von einem Compiler im gleichen Zeitraum wie die Erzeugung des Objektcodes durchgeführt werden.
Neu!!: Statische Code-Analyse und Übersetzungszeit · Mehr sehen »
Checkstyle
Checkstyle ist ein in der Softwareentwicklung verwendetes Werkzeug für die Statische Code-Analyse zur Prüfung des Programmierstils von Java-Sourcecode.
Neu!!: Statische Code-Analyse und Checkstyle · Mehr sehen »
Code-Smell
Unter Code-Smell, kurz Smell (engl. ‚ Geruch‘) oder deutsch übelriechender Code versteht man in der Programmierung ein Konstrukt, das eine Überarbeitung des Programm-Quelltextes nahelegt.
Neu!!: Statische Code-Analyse und Code-Smell · Mehr sehen »
Compiler
Ein Compiler (auch Kompilierer; von ‚zusammentragen‘ bzw. ‚aufhäufen‘) ist ein Computerprogramm, das Quellcodes einer bestimmten Programmiersprache in eine Form übersetzt, die von einem Computer (direkter) ausgeführt werden kann.
Neu!!: Statische Code-Analyse und Compiler · Mehr sehen »
ConQAT
Das Continuous Quality Assessment Toolkit (ConQAT) ist eine Softwarequalitätsanalyse-Engine.
Neu!!: Statische Code-Analyse und ConQAT · Mehr sehen »
Cppcheck
Cppcheck ist ein Programm zur statischen Codeanalyse für die Programmiersprachen C und C++.
Neu!!: Statische Code-Analyse und Cppcheck · Mehr sehen »
DO-178C
Die Norm DO-178C, auch bekannt unter der englischen Bezeichnung Software Considerations in Airborne Systems and Equipment Certification (deutsch etwa: „Richtlinien zur Zertifizierung von Avionik-Software“), ist ein Standard zur Softwareentwicklung im sicherheitskritischen Bereich der Luftfahrt.
Neu!!: Statische Code-Analyse und DO-178C · Mehr sehen »
Dynamisches Software-Testverfahren
Dynamische Software-Testverfahren sind bestimmte Prüfmethoden, um mit Softwaretests Fehler in der Software aufzudecken.
Neu!!: Statische Code-Analyse und Dynamisches Software-Testverfahren · Mehr sehen »
Falsifikation
Falsifikation, auch Falsifizierung (von lat. falsificare „als falsch erkennen“) oder Widerlegung, ist der Nachweis der Ungültigkeit einer Aussage, Methode, These, Hypothese oder Theorie.
Neu!!: Statische Code-Analyse und Falsifikation · Mehr sehen »
FindBugs
FindBugs ist eine freie Software, welche in Java-Programmen nach Fehlermustern sucht.
Neu!!: Statische Code-Analyse und FindBugs · Mehr sehen »
Formatstring-Angriff
Der Begriff Formatstring-Angriff beschreibt das Ausnutzen einer Sicherheitslücke, welche im Jahr 1999 von Przemysław Frasunek und tf8 entdeckt wurde.
Neu!!: Statische Code-Analyse und Formatstring-Angriff · Mehr sehen »
FxCop
FxCop ist ein Analysewerkzeug für das.Net-Framework.
Neu!!: Statische Code-Analyse und FxCop · Mehr sehen »
Harry Sneed
Harry Sneed Harry Marsh Sneed (* 14. März 1940 in Gulfport, Mississippi, USA) ist einer der Pioniere der Software-Testtechnologie und Dozent für Software Engineering am Institut für Wirtschaftsinformatik an den Universitäten Regensburg (Deutschland), Passau (Deutschland), Dresden (Deutschland) und Budapest (Ungarn) und lehrt als Gastdozent an den Universitäten Sannio (Italien), Szeged (Ungarn), Koblenz (Deutschland), FH Technikum Wien (Österreich) und Hagenberg (Österreich).
Neu!!: Statische Code-Analyse und Harry Sneed · Mehr sehen »
IEC 61508
Die IEC 61508 ist eine internationale Normenserie zur Entwicklung von elektrischen, elektronischen und programmierbaren elektronischen (E/E/PE) Systemen, die eine Sicherheitsfunktion ausführen.
Neu!!: Statische Code-Analyse und IEC 61508 · Mehr sehen »
ISO 26262
Die ISO 26262 („Road vehicles – Functional safety“) ist eine ISO-Norm für sicherheitsrelevante elektrische/elektronische Systeme in Kraftfahrzeugen.
Neu!!: Statische Code-Analyse und ISO 26262 · Mehr sehen »
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Neu!!: Statische Code-Analyse und Java (Programmiersprache) · Mehr sehen »
Kontinuierliche Integration
Kontinuierliche Integration (auch fortlaufende oder permanente Integration;, CI) ist ein Begriff aus der Software-Entwicklung, der den Prozess des fortlaufenden Zusammenfügens von Komponenten zu einer Anwendung beschreibt.
Neu!!: Statische Code-Analyse und Kontinuierliche Integration · Mehr sehen »
Korrektheit (Informatik)
Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation).
Neu!!: Statische Code-Analyse und Korrektheit (Informatik) · Mehr sehen »
Laufzeit (Informatik)
Der Begriff Laufzeit beschreibt in der Informatik einerseits die Zeitdauer, die ein Programm, ausgeführt durch einen Rechner, zur Bewältigung einer Aufgabe benötigt.
Neu!!: Statische Code-Analyse und Laufzeit (Informatik) · Mehr sehen »
Lint (Programmierwerkzeug)
Lint (englisch für „Fussel“) ist eine Software zur statischen Code-Analyse.
Neu!!: Statische Code-Analyse und Lint (Programmierwerkzeug) · Mehr sehen »
MISRA-C
MISRA-C ist ein C-Programmierstandard aus der Automobilindustrie, der von der englischen MISRA (Motor Industry Software Reliability Association) erarbeitet wurde.
Neu!!: Statische Code-Analyse und MISRA-C · Mehr sehen »
Modultest
Ein Modultest (auch von unit test als Unittest oder als Komponententest bezeichnet) ist ein Softwaretest, mit dem einzelne, abgrenzbare Teile von Computerprogrammen (z. B. ausgewählte Codeabschnitte, Module, Unterprogramme, Units oder Klassen) überprüft werden.
Neu!!: Statische Code-Analyse und Modultest · Mehr sehen »
Normierte Programmierung
Die normierte Programmierung (NP) beschreibt eine standardisierte Ablaufsteuerung eines Datenverarbeitungsprogramms.
Neu!!: Statische Code-Analyse und Normierte Programmierung · Mehr sehen »
Pendant
Prado als Pendants ausgestellt. Das Pendant ist ein (passendes) Gegenstück (bzw. Gegenpart), eine Ergänzung oder Entsprechung zu einem bereits vorhandenen Gegenstand oder einer konformen Person.
Neu!!: Statische Code-Analyse und Pendant · Mehr sehen »
Peter Liggesmeyer
Peter Liggesmeyer bei einem Vortrag auf der CeBIT 2016 Peter Liggesmeyer (* 1963 in Paderborn) ist ein deutscher Informatiker und Hochschullehrer.
Neu!!: Statische Code-Analyse und Peter Liggesmeyer · Mehr sehen »
PMD (Software)
PMD ist ein Programmierwerkzeug für die statische Codeanalyse von Quelltexten.
Neu!!: Statische Code-Analyse und PMD (Software) · Mehr sehen »
Podcast
Serial,'' abgespielt auf einem iPhone Ein Podcast ist eine Serie von abonnierbaren Audiodateien (seltener Videodateien) im Internet.
Neu!!: Statische Code-Analyse und Podcast · Mehr sehen »
Profiler (Programmierung)
Als Profiler werden Programmierwerkzeuge bezeichnet, die das Laufzeitverhalten von Software analysieren.
Neu!!: Statische Code-Analyse und Profiler (Programmierung) · Mehr sehen »
Programmfehler
Programmfehler oder Softwarefehler oder Software-Anomalie, häufig auch Bug genannt, sind Begriffe aus der Softwaretechnik, mit denen für Software-Systemkomponenten Abweichungen zu einem geforderten oder gewünschten Sollzustand bezeichnet werden.
Neu!!: Statische Code-Analyse und Programmfehler · Mehr sehen »
Programmiersprache
Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.
Neu!!: Statische Code-Analyse und Programmiersprache · Mehr sehen »
Pufferüberlauf
Pufferüberläufe, nicht zu verwechseln mit Stapelüberläufen (englisch ‚stack overflows‘), gehören zu den häufigsten Sicherheitslücken in aktueller Software, die sich u. a.
Neu!!: Statische Code-Analyse und Pufferüberlauf · Mehr sehen »
Quelltext
siehe eigene Artikel. Quelltext, auch Quellcode oder unscharf Programmcode genannt, ist in der Informatik der für Menschen lesbare, in einer Programmiersprache geschriebene Text eines Computerprogrammes.
Neu!!: Statische Code-Analyse und Quelltext · Mehr sehen »
Quelltextklon
Bei Quelltextklonen (auch Codeduplikate, Softwareklonen oder einfach nur Klonen) handelt es sich um ähnliche Abschnitte im Quelltext eines Computerprogramms.
Neu!!: Statische Code-Analyse und Quelltextklon · Mehr sehen »
Richard Seidl
Richard Seidl Richard Seidl (* 26. Februar 1980 in Wien) ist ein österreichischer Fachbuchautor, Berater, Vortragsredner und Coach.
Neu!!: Statische Code-Analyse und Richard Seidl · Mehr sehen »
Rough Auditing Tool for Security
Rough Auditing Tool for Security (kurz: RATS) ist ein automatisches Codereview-Programm von Secure Software.
Neu!!: Statische Code-Analyse und Rough Auditing Tool for Security · Mehr sehen »
Software Engineering Radio
Logo des Software Engineering Radios Software Engineering Radio (auch kurz SE-Radio genannt) ist ein englischsprachiger Audio-Podcast zu Themen der Softwareentwicklung.
Neu!!: Statische Code-Analyse und Software Engineering Radio · Mehr sehen »
Softwaremetrik
Eine Softwaremetrik, oder kurz Metrik, ist eine (meist mathematische) Funktion, die eine Eigenschaft von Software in einen Zahlenwert, auch Maßzahl genannt, abbildet.
Neu!!: Statische Code-Analyse und Softwaremetrik · Mehr sehen »
Softwaretest
Ein Softwaretest prüft und bewertet Software auf Erfüllung der für ihren Einsatz definierten Anforderungen und misst ihre Qualität.
Neu!!: Statische Code-Analyse und Softwaretest · Mehr sehen »
Speicherleck
Speicherleck (gelegentlich auch Speicherloch oder kurz memleak) bezeichnet einen Fehler in der Speicherverwaltung eines Computerprogramms, der dazu führt, dass es einen Teil des Arbeitsspeichers zwar belegt, diesen jedoch weder freigibt noch nutzt.
Neu!!: Statische Code-Analyse und Speicherleck · Mehr sehen »
Splint (Software)
Splint (Secure Programming Lint) ist eine Software für statische Quellcode-Analysen der Programmiersprache C. Splint ist eine indirekte Weiterentwicklung von Lint.
Neu!!: Statische Code-Analyse und Splint (Software) · Mehr sehen »
Statisches Software-Testverfahren
Statische Software-Testverfahren (kurz: statische Tests) gehören zu den analysierenden Verfahren beim Softwaretest und unterteilen sich in.
Neu!!: Statische Code-Analyse und Statisches Software-Testverfahren · Mehr sehen »
Style Checker
Ein Style Checker ist ein Programm, das in Quelltexten die Einhaltung eines zuvor definierten Programmierstils überprüft.
Neu!!: Statische Code-Analyse und Style Checker · Mehr sehen »
Wettlaufsituation
Eine Wettlaufsituation, aus dem Englischen auch Race Condition oder Race Hazard, mitunter auch „kritische Wettlaufsituation“, bezeichnet in der Programmierung eine Konstellation, in der das Ergebnis einer Operation vom zeitlichen Verhalten bestimmter Einzeloperationen oder der Umgebung abhängt.
Neu!!: Statische Code-Analyse und Wettlaufsituation · Mehr sehen »
White-Box-Test
Der Begriff White-Box-Test (seltener auch Glass-Box-Test) bezeichnet eine Methode des Software-Tests, bei der die Tests mit Kenntnissen über die innere Funktionsweise des zu testenden Systems entwickelt werden.
Neu!!: Statische Code-Analyse und White-Box-Test · Mehr sehen »
Leitet hier um:
Static analysis, Statische Analyse, Statische Codeanalyse, Statische Kodeanalyse.
