JContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

Formal Methods in System Design

Volumn 27, Issue 3 SPEC. ISS., 2005, Pages 275-312

  Karaorman, Murat ^a   Abercrombie, Parker ^b  

^a TEXAS INSTRUMENTS   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Bytecode instrumentation; Design by Contract; Java; jContractor

Indexed keywords

COMPUTATIONAL METHODS; DATA PROCESSING; SEMANTICS; SOFTWARE ENGINEERING;

BYTECODE INSTRUMENTATION; DESIGN BY CONTRACT; JCONTRACTOR;

JAVA PROGRAMMING LANGUAGE;

EID: 29344435996     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10703-005-3400-1     Document Type: Conference Paper

References (26)

1. K. Arnout and R. Simon, "The.NET Contract Wizard: Adding Design by Contract to languages other than Eiffel," in Proceedings of TOOLS 39, IEEE Computer Society, 2001.
2. A.P. Black, "Exception Handling: The case against," Technical Report TR-82-01-02, University of Washington Computer Sciences Department, January 1982.
3. J. Cheesman and J. Daniels, UML Components - A Simple Process for Specifying Component-Based Software, Addison-Wesley, 2000.
4. Y. Cheon and G.T. Leavens, "A runtime assertion checker for the Java Modelling Language (JML)," in International Conference on Software Engineering Research and Practice (SERF) 2002, Las Vegas, Nevada, USA, June 24-27, 2002.
5. I. Crnkovic and M. Larsson (ed.), Building Reliable Component-Based Software Systems, Artech House Publishers, July 2002.
6. M. Dahm, Byte Code Engineering with the BCEL API, Technical Report B-17-98, Institut für Informatik, Freie Universität Berlin (1998).
7. M.M. Detlef Bartetzko, Clemens Fischer, and H. Wehrheim, "Jass-Java with assertions," Vol. 55, 2001.
8. A. Duncan and U. Hölzle, "Adding Contracts to Java with Handshake," Technical Report TRCS98-32, Department of Computer Science, University of California, Santa Barbara (1998).
9. J.B. Goodenough, "Exception Handling: Issues and a proposed notation," Communications of the ACM, Vol. 18, No. 12, 1975.
10. C. Hoare, "An Axiomatic basis for computer programming," Communications of the ACM Vol. 12, No. 10, 1969.
11. M. Karaorman, U. Hölzle, and J. Bruno, jContractor: A Reflective Java Library to Support Design By Contract," in Proceedings of Meta-Level Architectures and Reflection, 2nd International Conference, Reflection '99. Saint-Malo, France. Lecture Notes in Computer Science #1616, Springer Verlag, 1999, pp. 175-196.
12. R. Kramer, iContract - The Java Design by Contract Tool, in J.G. Madhu Singh, Bertrand Meyer and R. Mitchell, (eds.), Proceedings of TOOLS USA '98, Santa Barbara, California, August 3-7, 1998, 1998.
13. T. Lindholm and F. Yellin, The Java Virtual Machine Specification, Addison-Wesley, Reading, 1999.
14. Man Machine Systems, "Design by contract for Java using JMSAssert," Technical report, URL http://www.mmsindia.com/DBCForJava.html
15. B. Meyer, Eiffel: The Language, Prentice Hall, New York, 1992.
16. R. Mitchell and J. McKim, Design by Contract, by Example, Addison-Wesley, Boston, 2001.
17. B. Meyer, "Object Oriented Software Construction," 2nd ed. Prentice Hall, Upper Saddle River, 1997.
18. G.T. Leavens, A.L. Baker, and C. Ruby, "JML: A notation for detailed design," in H. Kilov, et al., (eds.), Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, Boston, 1999, pp. 175-188.
19. D. Murray and D. Parson, "Automated Debugging in Java using OCL and JDI," in Proceedings of Fourth International Workshop on Automated Debugging (AADEBUG 2000), Munich, August 2000.
20. N. Nethercote and J. Seward, "Valgrind: A program supervision framework," in Proceedings of the Third Workshop on Runtime Verification (RV'03), Boulder, Colorado, USA, July 2003.
21. Object Management Group, "OMG Unified Modeling Language Specification," report version 1.3, June 1999, Object Management Group, 1999.
22. R. Plosch, "Design by Contract for Python," in Proceedings of Asic Pacific Software Engineering Conference, IEEE Computer Society, 1997.
23. S. Porat and P. Fertig, "Class Assertions in C++," Journal of Object Oriented Programming, Vol. 8, No. 2, pp. 30-37, 1995.
24. D. Thain and M. Livny, "Error Scope on a Computational Grid: Theory and Practice," in Proceedings of the 11th IEEE Symposium on High Performance Distributed Computing (HPDC-11), Edinburgh, Scotland, July 2002.
25. "Using Design by Contract to Automate Java Software and Component Testing," Technical report, Parasoft Corporation. URL http://www.parasoft. com/jsp/products/Jcontract
26. J. Warmer and A. Kleppe, The Object Constraint Language, Addison Wesley, 1999.