# 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!*