Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.


Model Mining
Mining Object Behavior with ADABU.

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page

Mining Object Behavior with ADABU

Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski, Andreas Zeller: Mining Object Behavior with ADABU. Submitted to Workshop on Dynamic Analysis (WODA 2006), Neelam Gupta, Andy Podgurksi (Ed,), Shanghai, China, May 2006. [PDF]

To learn what constitutes correct program behavior, one can start with normal behavior. We observe actual program executions to construct state machines that summarize object behavior. These state machines, called object behavior models, capture the relationships b etween two kinds of methods: mutators that change the state (such as add()) and inspectors that keep the state unchanged (such as isEmpty()): ``A Vector object initially is in isEmpty() state; after add(), it goes into not isEmpty() state'' . Our ADABU prototype for JAVA has successfully mined models of undocumented beh avior from the AspectJ compiler and the Columba email client; the models tend to be small and easily understandable.

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/models/papers/woda-06.php · Stand: 2018-04-05 13:41