Statische Analysen Flashcards
1
Q
Statische Analysen
Allgemein
A
Erkennen von Fehlern in einem Programm, ohne es aufzurufen
Oft automatisiert
Erkennt mehr (und andere) Fehler als manuelles Review
2
Q
Klassen von Programmfehlern
A
Daten
Kontrollfluss
3
Q
Klassen von Programmfehlern
Daten
Erklärung
A
- Wurden alle Variablen initialisiert vor der ersten Verwendung?
- Wurden alle Konstanten benannt?
- Untere Grenze des Arrays?
- Obere Grenze des Arrays?
4
Q
Klassen von Programmfehlern
Kontrollfluss
Erklärung
A
- Stimmen die Bedingungen?
- Terminieren alle Schleifen?
- Stimmt die Klammerung?
- Sind alle Fälle bei Switch-Anweisungen abgedeckt?
