---
# System prepended metadata

title: Zustandsbasierete Tests_

---

# Zustandsbasierete Tests_
*Hinweis, der für die Praktikumsaufgabe 4 gegeben wurde -> Kapitel 4.1
hier auseinander geschlüsselt*
## Kapitel 4.1
### Seite 128
#### verschiede Vorkommsarten von Variablen (lokale, globale Parameter)
- **( d )** Bsp x = 5
    - x wird **definiert**: 
    -> Variable x wird ein Wert zugewiesen
    - Achrung Deklaration nicht gleich Definition!

- **( r )** Bsp y = **x** + 1 *oder* if(**x**>0)...
    - x wird **referenziert**:
    -> Der Wert der Variable x wird in einer Berechnung oder Entscheidung gelesen, aber nicht verändert
- **(u)**
    - x wird zerstört:
    -> Der Wert der Variable wird zerstört
    - Zu Beginn eiens Programmes sind alle Variablen **undefiniert**
    - Nach Beenden einer Funktion sind alle lokalen Variablen **undefiniert**
- **(empty)**
    - x wird nicht benutzt (von einem Knoten im Kontrollfluss)

#### Anomalien:
Es ergeben sich dadurch 3 Arten von Anomalien
- **ur-Anomalie**
    Referenz einer Variablen auf einen undefinierten zufälligen Wert
- **dd-Anomalie**
2 aufeinanderfolgende Variablendefinition, wobei die 2. die 1. überschreibt, vervor diese verwendet wurde
- **du-Anomalie**
    der definierte Wert wird nicht benutzt vor Zerstörung
    
*hilft nicht wirklich weiter der Hinweis!*