Foliensatz 4: Statischer Test

Question 1

Untrschied zwischen Statischen und Dynamischen Tests?

Answer 1

Question 2

Thema Statischer Test

Untschied zwischen Statische Analyse & Review

Answer 2

Question 3

Reviews: Nenne die Grundlegende Arbeitsschritte

Answer 3

Der Reviewprozess umfasst typischerweise
Planung, Kick-off, individuelle Vorbereitung, Reviewsitzung, Überarbeitung
und Nachbereitung

Question 4

Erläutere kurz wie der Revie-Prozess aufgebaut ist

Answer 4

Question 5

Nenne die Review-Arten

Answer 5

Arten von Reviews sind
informelles Review, Walkthrough, technisches Review und Inspektion

Question 6

Nennen Sie die grundlegenden Arbeitsschritte in einem (formalen) Review in ihrer Reihenfolge
und erläutern Sie jeweils zwei Aspekte!

Answer 6

Question 7

Nenne die Elemente einer werkzeuggestützten statischen Analyse

Answer 7

Question 8

Was ist eine Datenfluss-Anomalie?

Answer 8

Eine Datenfluss-Anomalie ist die

• referenzierende Verwendung einer Variablen ohne vorherige Initialisierung
• oder die Nicht-Verwendung eines Wertes einer Variablen

Question 9

Drei Verwendungen oder Zustände der Variablen

Answer 9

• Undefiniert (u): die Variable hat keinen definierten Wert (z.B. am Programm-beginn oder wenn sie freigegeben oder ihr Gültigkeitsbereich verlassen wird)
• Definiert (d): der Variablen wird ein Wert zugewiesen
• Referenziert (r): der Wert der Variablen wird gelesen bzw. verwendet

Question 10

Welche Arten von Datenflussanomalien existieren?

Answer 10

Drei Arten von Datenflussanomalien

• ur-Anomalie: Ein undefinierter Wert (u) einer Variablen wird auf einem Programmpfad gelesen (r)
• du-Anomalie: Die Variable erhält einen Wert (d) der allerdings ungültig (u) wird, ohne dass er zwischenzeitlich verwendet wurde
• dd-Anomalie: Die Variable erhält auf einem Programmpfad ein zweites Mal einen Wert (d), ohne dass der erste Wert (d) verwendet wurde

Question 11

Nenne 3 Beispiele für Kontrollfluss-Anomalien

Answer 11

• Mehrere return pro Funktion
• Mehrere Ausgänge un Schleifen (z.B. continue oder break in C-Programmen oder return) -
• Sprünge wie goto
• unereichbarer Code (z.B. wenn in Scheifen nach einem return noch Code steht) –> nicht erreichbare Anweisungen
• Sprünge in Schleifen hinein
• Sprünge aus Schleifen heraus

Question 12

Teil des Systemtests ist das Testen nichtfunktionaler Anforderungen! Nennen und begründen
Sie kurz drei nichtfunktionale Anforderungen und
benennen und erläutern Sie kurz dazu durchzuführende Tests!

Answer 12