Databases Reference
In-Depth Information
Chapter 12
Lightweight Mining of Object Usage
*
Andrzej Wasylkowski
Computer Science, Saarland University
Andreas Zeller
Computer Science, Saarland University
12.1 Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 411
12.2 An Example ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 413
12.3 Creating Function Models :::::::::::::::::::::::::::::::::::::::::::::::: 416
12.4 Obtaining Sequential Constraints ::::::::::::::::::::::::::::::::::::::::: 417
12.5 Finding Specications ::::::::::::::::::::::::::::::::::::::::::::::::::::: 419
12.6 Discovering Violations :::::::::::::::::::::::::::::::::::::::::::::::::::: 422
12.7 The Real World ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 423
12.8 Scaling to Multiple Projects :::::::::::::::::::::::::::::::::::::::::::::: 426
12.9 Conclusion and Future Work ::::::::::::::::::::::::::::::::::::::::::::: 429
Bibliography ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 430
12.1 Introduction
Whenever we want to use a third-party package, we need to understand
the services it provides as well as the services it requires. Such a description
typically comes as part of the documentation of the programmer application
interface (API), providing a specification for each function provided. Correct
usage of these individual functions is also easily checked. Statically typed
signatures, for instance, are part of most programming languages; violations
can be discovered right within the editor.
What such documentations frequently miss is to describe how the indi-
vidual functions are supposed to work together. Authors commonly use code
examples, showing how the functions dovetail and intertwine with each other
to achieve a greater whole. What we miss is formal specifications describing
Some text in this chapter from A. Wasylkowski and A. Zeller, Mining temporal speci-
fications from object usage, Proceedings of the 2009 IEEE/ACM International Conference
on ASE c 2009 IEEE.
411
Search WWH ::
Custom Search