Diplomarbeit: Identifikation kontrollflussäquivalenter Variablenzustände
Diplomarbeit: Identifikation kontrollflussäquivalenter Variablenzustände
Man betrachte das nachfolgende Beispiel:
if x<0 then a(); else b();
In diesem Beispiel gibt es 2 Kontrollflüsse: einen, für x<0 mit Aufruf der Methode a und einen für x>=0 mit
Ausfruf der Methode b. Es macht für den Kontrollfluss keinen Unterschied, ob x=2 oder x=100 ist. In beiden Fällen wird Methode b aufgerufen.
Die Variablenwerte x=2 und x=100(genauer alle Werte x>=0) sind daher kontrollflussäquivalent.
Ziel soll es sein, bestehende Programmanalysen zu untersuchen und ein eigenes Verfahren zu
entwickeln, um möglichst große Bereiche solcher kontrollflussäquivalenter Variablenzustände zu bestimmen.
Betreuer der Diplomarbeit
| Dipl.-Inform. Dirk Richter | dirk.richter@informatik.uni-halle.de | Raum 3.23, Tel. 0345-55-24767 |
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.