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


Model Mining
Mining Object Usage Models

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 Operational Preconditions

Andrzej Wasylkowski, Andreas Zeller: Mining Operational Preconditions. Technical Report (updated), 2008. [PDF]

A procedure's client must satisfy its precondition---that is, reach a state in which the procedure may be called. Preconditions describe the state that needs to be reached, but not how to reach it. We use static analysis to infer the sequence of operations a variable goes through before being used as a parameter: “In parseProperties(String xml), the parameter xml normally stems from getProperties().” Such operational preconditions can be learned from code examples and checked to detect anomalies. Applied to AspectJ, our OP-Miner prototype found 288 violations of operational preconditions, uncovering 9 unique defects and 48 unique code smells.

Impressum Datenschutzerklärung

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