Static Specification Mining Using Automata-Based Abstractions

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-b...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník 34; číslo 5; s. 651 - 666
Hlavní autoři: Shoham, S., Yahav, E., Fink, S.J., Pistoia, M.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.09.2008
IEEE Computer Society
Témata:
Abstracts
Algorithms
Aliasing
Analysis
API
Automata
Automation
Behavior
Clustering algorithms
Clusters
Complement
Data mining
Digital Object Identifier
Formal methods
Formal specifications
Internet
Java
Libraries
Mining
Noise
Pattern analysis
Search engines
Software
Software engineering
Software/Program Verification
Specification
Specifications
Specifying and Verifying and Reasoning about Programs
Studies
Temporal logic
Use statistics
Validation
Validation
Software/Program Verification
Specification
Formal methods
Specifying and Verifying and Reasoning about Programs
ISSN:0098-5589, 1939-3520
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2008.63