Investigating the use of analysis contracts to improve the testability of object-oriented code

Software - Practice and Experience

Volumn 33, Issue 7, 2003, Pages 637-672

  Briand, L C ^a   Labiche, Y ^a   Sun, H ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

Contracts; Object oriented analysis; Object oriented testing; Testability

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; ENCODING (SYMBOLS); JAVA PROGRAMMING LANGUAGE;

OBJECT CONSTRAINT LANGUAGE (OCL);

OBJECT ORIENTED PROGRAMMING;

EID: 0038659894     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.520     Document Type: Article

References (25)

1. Beizer B. Software Testing Techniques (2nd edn). Van Nostrand Reinhold: New York, 1990.
2. Binder RV. Testing Object-Oriented Systems - Models, Patterns, and Tools. Addison-Wesley: Reading, MA, 1999.
3. Coleman D, Arnold P, Bodoff S, Dollin C, GilChrist H, Hayes F, Jeremaes P. Object-Oriented Development - The Fusion Method. Prentice-Hall: Englewood Cliffs, NJ, 1994.
4. Meyer B. Object-Oriented Software Construction (2nd edn). Prentice-Hall: Englewood Cliffs, NJ, 1997.
5. Meyer B. Design by contracts. IEEE Computer 1992; 25(10):40-52.
6. Warmer J, Kleppe A. The Object Constraint Language. Addison-Wesley: Reading, MA, 1999.
7. Mitchell R, McKim J. Design by Contract, by Example. Addison-Wesley: Reading, MA, 2001.
8. Rosenblum D. A practical approach to programming with assertions. IEEE Transactions on Software Engineering 1995; 25(11):19-31.
9. Voas JM. Software testability measurement for assertion placement and fault localization. Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), St Malo, France, May 1995. IRISA: Rennes, France, 1995.
10. Voas JM, Morell L, Miller K. Predicting where faults can hide from testing. IEEE Software 1991; 8(2):41-48.
11. Cousot P, Cousot R. Abstract interpretation based program testing. Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Rome, Italy, July 2000. Scuola Superiore G. Reiss Romoli: L'Aquila, Italy, 2000.
12. Wang Y, King G, Court I, Ross M, Staples G. On testable object-oriented programming. ACM Software Engineering Notes 1997; 22(4):84-90.
13. Jezequel JM, Deveaux D, Le Traon Y. Reliable object: Lightweight testing for OO languages. IEEE Software 2001; 18(4):76-83.
14. Baudry B, Le Traon Y, Jezequel JM. Robustness and diagnosability of OO systems designed by contracts. Proceedings 7th International Software Metrics Symposium, London, England, 4-6 April 2001. IEEE, 2001; 272-283.
15. Baudry B, Le Hanh V, Jezequel JM, Le Traon Y. Building trust into OO components using a genetic analogy. Proceedings International Symposium on Software Reliability Engineering (ISSRE), San Jose, CA, 8-11 October 2000. IEEE, 2000; 4-14.
16. OMG. Object Constraint Language - OCL, V1.4. Object Management Group, 2001.
17. Voas JM. Testability of object-oriented systems. Technical Report GCR-95-675, NIST, 1995.
18. ParaSoft Corporation. Using design by contract to automate Java software and component testing. JContract. http://www.parasoft.com/products/jtest/papers/tech.dbc.htm [2002].
19. Kim S, Clark JA, McDermid JA. The rigorous generation of Java mutation using HAZOP. Proceedings of the 12th International Conference on Software & Systems Engineering and their Applications (ICSSEA '99), CNAM - Paris, France, 8-10 December 1999. CNAM: Paris, France, 1999; 9-10(11).
20. Kim S, Clark JA, McDermid JA. Class mutation: Mutation testing for object-oriented programs. Proc. Net.ObjectDays, Erfurt, Germany, 9-12 October 2000. Net.Objects: Erfurt, Germany, 2000.
21. Ostrand TJ, Balcer MJ. The category-partition method for specifying and generating functional test. Communications of the ACM 1988; 31(6):676-686.
22. Eisenstadt M. My hairiest bug war stories. Communications of the ACM 1997; 40(4):31-37.
23. King KN, Offutt AJ. A Fortran language system for mutation-based software testing. Software - Practice and Experience 1991;21(7):686-718.
24. Kim S, Clark JA, McDermid JA. Investigating the effectiveness of object-oriented testing strategies with the mutation method. Proceedings of the Mutation 2000, San Jose, 6-7 October 2000. Kluwer Academic Publishers: Norwell, MA, 2000.
25. Chevalley P, Thévenod-Fosse P. An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study. Proceedings 12th IEEE International Symposium on Software Reliability Engineering, Hong-Kong, China, 27-30 November 2001. IEEE, 2001; 254-263.