poster

Dynamically inferring, refining, and checking API usage protocols

Author:

OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications

Pages 773 - 774

https://doi.org/10.1145/1639950.1640008

Published: 25 October 2009 Publication History

Get Access

Abstract

Using a set of API methods often requires compliance with a protocol, whose violation can lead to errors in the program. However, most APIs lack explicit and formal definitions of these protocols. We propose a dynamic program analysis for automatically inferring and refining specifications of correct method call sequences. Our experiments with several Java programs show that we can infer meaningful protocols, such as widely respected programming rules. Furthermore, our analysis finds violations of the inferred specifications that point out potential bugs to the programmer.

References

[1]

Glenn Ammons, Rastislav Bodik, and James R. Larus. Mining specifications. In POPL, 2002.

Digital Library

Google Scholar

[2]

Kevin Bierhoff and Jonathan Aldrich. Modular typestate checking of aliased objects. In OOPSLA, 2007.

Digital Library

Google Scholar

[3]

Stephen M. Blackburn et al. The DaCapo benchmarks: Java benchmarking development and analysis. In OOPSLA, 2006.

Digital Library

Google Scholar

[4]

Feng Chen and Grigore Rosu. MOP: An efficient and generic runtime verification framework. In OOPSLA, 2007.

Digital Library

Google Scholar

[5]

Michael Dean Ernst. Dynamically discovering likely program invariants. PhD thesis, University of Washington, 2000.

Digital Library

Google Scholar

[6]

Mark Gabel and Zhendong Su. Javert: Fully automatic mining of general temporal properties from dynamic traces. In FSE, 2008.

Digital Library

Google Scholar

[7]

Michael Pradel and Thomas R. Gross. Automatic generation of object usage specifications from large method traces. In ASE, 2009.

Digital Library

Google Scholar

[8]

John Whaley, Michael C. Martin, and Monica S. Lam. Automatic extraction of object-oriented component interfaces. In ISSTA, 2002.

Digital Library

Google Scholar

[9]

Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.

Digital Library

Google Scholar

Cited By

View all

Feofilaktov VItsykson V(2024)SPIDER: Specification-Based Integration Defect RevealerTools and Methods of Program Analysis10.1007/978-3-031-50423-5_10(107-119)Online publication date: 3-Jan-2024
https://doi.org/10.1007/978-3-031-50423-5_10
Legunsen OAl Awar NXu XHassan WRoşu GMarinov D(2019)How effective are existing Java API specifications for finding bugs during runtime verification?Automated Software Engineering10.1007/s10515-019-00267-126:4(795-837)Online publication date: 21-Nov-2019
https://doi.org/10.1007/s10515-019-00267-1
Legunsen OHassan WXu XRoşu GMarinov DLo DApel SKhurshid S(2016)How good are the specs? a study of the bug-finding effectiveness of existing Java API specificationsProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970356(602-613)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970356
Show More Cited By

Index Terms

Dynamically inferring, refining, and checking API usage protocols
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

A formalism for specification of Java API interfaces
ISSTA '18: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops

The standard Java API defines a number of useful and widely used interfaces, where the flow of methods invoked on objects must follow certain patterns to ensure their correct use. Typically, such patterns are informally specified in the documentation ...
Mining effective temporal specifications from heterogeneous API data
Special issue on Natural Language Processing

Temporal specifications for Application Programming Interfaces (APIs) serve as an important basis for many defect detection tools. As these specifications are often not well documented, various approaches have been proposed to automatically mine ...
Eclipse API usage: the good and the bad

Today, when constructing software systems, many developers build their systems on top of frameworks. Eclipse is such a framework that has been in existence for over a decade. Like many other evolving software systems, the Eclipse platform has both ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications

October 2009

502 pages

ISBN:9781605587684

DOI:10.1145/1639950

Conference Chairs:
Shail Arora
Adayana, Inc.
,
Bernd Bruegge
Technical University of Munich
,
Program Chairs:
Gary Leavens
University of Central Florida
,
Yvonne Coady
University of Victoria
,
Simon Peyton-Jones
Microsoft Research

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 October 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Poster

Conference

OOPSLA09

Sponsor:

SIGPLAN

OOPSLA09: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 25 - 29, 2009

Florida, Orlando, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
187
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)3

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Feofilaktov VItsykson V(2024)SPIDER: Specification-Based Integration Defect RevealerTools and Methods of Program Analysis10.1007/978-3-031-50423-5_10(107-119)Online publication date: 3-Jan-2024
https://doi.org/10.1007/978-3-031-50423-5_10
Legunsen OAl Awar NXu XHassan WRoşu GMarinov D(2019)How effective are existing Java API specifications for finding bugs during runtime verification?Automated Software Engineering10.1007/s10515-019-00267-126:4(795-837)Online publication date: 21-Nov-2019
https://doi.org/10.1007/s10515-019-00267-1
Legunsen OHassan WXu XRoşu GMarinov DLo DApel SKhurshid S(2016)How good are the specs? a study of the bug-finding effectiveness of existing Java API specificationsProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970356(602-613)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970356
Gao ZLiang YCohen MMemon AWang ZBertolino ACanfora GElbaum S(2015)Making system user interactive tests repeatableProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818764(55-65)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2818754.2818764
Gao ZLiang YCohen MMemon AWang Z(2015)Making System User Interactive Tests Repeatable: When and What Should We Control?2015 IEEE/ACM 37th IEEE International Conference on Software Engineering10.1109/ICSE.2015.28(55-65)Online publication date: May-2015
https://doi.org/10.1109/ICSE.2015.28
Robillard MBodden EKawrykow DMezini MRatchford T(2013)Automated API Property Inference TechniquesIEEE Transactions on Software Engineering10.1109/TSE.2012.6339:5(613-637)Online publication date: 1-May-2013
https://dl.acm.org/doi/10.1109/TSE.2012.63

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A formalism for specification of Java API interfaces

Mining effective temporal specifications from heterogeneous API data

Eclipse API usage: the good and the bad