Strengthening method contracts for objects

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2006, Pages 233-240

  Gupta, Atul ^a   Raj, Amit ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; COMPUTER SOFTWARE REUSABILITY; DYNAMIC ANALYSIS; DYNAMIC MODELS; FORTH (PROGRAMMING LANGUAGE); GRAPHIC METHODS; MODAL ANALYSIS; SOFTWARE ENGINEERING; SPECIFICATIONS; UNIFIED MODELING LANGUAGE; VERIFICATION;

ABSTRACT LEVELS; APPLIED (CO); ASIA PACIFIC; AUTOMATED CODE; CHANGE MANAGEMENT; CLASS DIAGRAM (CD); DESIGN BY CONTRACT (DBC); INCREMENTAL DEVELOPMENT; INTERACTIVE SIMULATIONS; OBJECT-ORIENTED SYSTEMS; PRACTICAL APPROACH; SOFTWARE RE-USE; STATE CHARTS; STRENGTHENING METHOD; STRUCTURAL REPRESENTATION; UNIT TESTING;

CONTRACTS;

EID: 46149101234     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2006.54     Document Type: Conference Paper

References (17)

1. Asml home page, http://research.microsoft. com/fse/asml/.
2. Jdom homepage, http://www.jdom.org/.
3. Jml homepage. http://www.cs.iastate.edu/~leavens/JML/.
4. Object-z home page, http://www.itee.uq.edu.au/~smith/objectz.html.
5. Ocl 2.0 specifications, http://www.omg.org/docs/ptc/05-06-06.pdf.
6. Uml homepage, http://www.omg.ojrg/.
7. L. F. Andrade and J. L. Fiadeiro. Interconnecting objects via contracts. In in Proc. Second intl Conf. the Unified Modeling Language (UML 99), pages 566-586, Oct. 1999.
8. M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillman, and M. Veanes. Towards a tool environment for model-based testing with asml. In FATES '03: Proceedings of Formal Approaches to Software Testing, pages 252-266, Germany, 2003. Springer-Verlag.
9. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The jml and junit way. In ECOOP '02: Proceedings of the 16th European Conference on Object-Oriented Programming, pages 231-255, London, UK, 2002. Springer-Verlag.
10. D. F. D'Souza and A. C. Wills. Objects, components, and frameworks with UML: the catalysis approach. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.
11. A. Egyed and D. Wile. Statechart simulator for modeling architectural dynamics. WISCA, pages 87-96, 2001.
12. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pages 112-122, New York, NY, USA, 2002. ACM Press.
13. D. Hoffman and P. Strooper. Classbench: A methodology and framework for automated class testing. In Software Practice and Experience, 27(5):573-597, 1997.
14. J.-M. Jezequel. Design by contract: The lessons of ariane. IEEE Computer, 30(1): 129-130, Jan 1997.
15. B. Meyer. Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs N.J., 1988.
16. B. Meyer. Design by contracts. IEEE Computer, 25(10):40-52, October 1992.
17. L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, and W. Grieskamp. Optimal strategies for testing nondeterministic systems. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 55-64, New York, NY, USA, 2004. ACM Press.