The Community for Technology Leaders
Green Image
Issue No. 05 - Sept.-Oct. (2008 vol. 34)
ISSN: 0098-5589
pp: 651-666
Sharon Shoham , Technion, Haifa
Marco Pistoia , IBM Research, Hawthorne
Stephen J. Fink , IBM Research, Hawthorne
Eran Yahav , IBM Research, Hawthorne
ABSTRACT
We present a novel approach to client-side mining of temporal API specifications based on static analysis. Specifically, we present an interprocedural analysis over a combined domain that abstracts both aliasing and event sequences for individual objects. The analysis uses a new family of automata-based abstractions to represent unbounded event sequences, designed to disambiguate distinct usage patterns and merge similar usage patterns. Additionally, our approach includes an algorithm that summarizes abstract traces based on automata clusters, and effectively rules out spurious behaviors. We show experimental results mining specifications from a number of Java clients and APIs. The results indicate that effective static analysis for client-side mining requires fairly precise treatment of aliasing and abstract event sequences. Based on the results, we conclude that static client-side specification mining shows promise as a complement or alternative to dynamic approaches.
INDEX TERMS
Specification, Formal methods, Validation, Software/Program Verification, Specifying and Verifying and Reasoning about Programs
CITATION
Sharon Shoham, Marco Pistoia, Stephen J. Fink, Eran Yahav, "Static Specification Mining Using Automata-Based Abstractions", IEEE Transactions on Software Engineering, vol. 34, no. , pp. 651-666, Sept.-Oct. 2008, doi:10.1109/TSE.2008.63
108 ms
(Ver 3.1 (10032016))