Publication Type

Conference Proceeding Article

Version

Publisher’s Version

Publication Date

10-2008

Abstract

Many dynamic analysis approaches to specification mining, which extract behavioral models from execution traces, do not consider object identities. This limits their power when used to analyze traces of general object oriented programs. In this work we present a novel specification mining approach that considers object identities, and, moreover, generalizes from specifications involving concrete objects to their symbolic class-level abstractions. Our approach uses data mining methods to extract significant scenario-based specifications in the form of Damm and Harel's live sequence charts (LSC), a formal and expressive extension of classic sequence diagrams. We guarantee that all mined symbolic LSCs are significant (statistically sound) and all significant symbolic LSCs are mined (statistically complete). The technique can potentially be applied to general object oriented programs to reveal expressive and useful reverse-engineered candidate specifications.

Discipline

Software Engineering

Research Areas

Software Systems

Publication

Proceedings of the 8th SIGSOFT-SIGPLAN International Workshop on Program Analysis for Software Tools and Engineering (PASTE)

First Page

29

Last Page

35

Identifier

10.1145/1512475.1512482

Publisher

ACM

Creative Commons License

Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.

Additional URL

http://dx.doi.org/10.1145/1512475.1512482

Share

COinS