Increase software trustability with self-testable classes in Java

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2001-January, Issue , 2001, Pages 3-11

  Deveaux, Daniel ^a   Frison, Patrice ^a   Jézéuel, Jean Marc ^b  

^a UNIVERSITÉ BRETAGNE SUD   (France)

^b UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Design by contract; Java; Self testable class; Software component; Software development process; Software engineering; Testing tools; XML

Indexed keywords

COMPUTER SOFTWARE; INTEGRATION TESTING; SOFTWARE ENGINEERING; SOFTWARE TESTING; XML;

DESIGN BY CONTRACTS; JAVA; SELF-TESTABLE; SOFTWARE COMPONENT; SOFTWARE DEVELOPMENT PROCESS; TESTING TOOLS;

SOFTWARE DESIGN;

EID: 0038668571     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2001.948491     Document Type: Conference Paper

References (24)

1. F. Arnaud. Pylon: a foundation library. http://www.nenie.org/eiffel/pylon/, 1998.
2. K. Beck. Extreme Programming Explained: Embracing Change. Addison-Wesley, 1999.
3. K. Beck and E. Gamma. Test-infected: Programmers love writing tests. Java Report, pages 37-50, July 1998.
4. A. Beugnard, J.-M. Jezequel, N. Plouzeau, and D. Watkins. Making components contract aware. Computer, 32(7):38-45, July 1999.
5. R. V. Binder. Design for testability with object-oriented systems. Communications of the ACM, 37(9):87-101, Sept. 1994.
6. R. V. Binder. Testing object-oriented software: A survey. Journal of Sofware Testing, Verification and Reliability, 6(125-252), 1996.
7. P. Collet and R. Rousseau. Efficient implementation techniques for advanced assertion languages. L'Objet, 5(3-4):417-142, Dec. 1999.
8. P. Collet and R. Rousseau. Towards efficient support for executing the object constraint language. In Proc. TOOLS USA'99, Santa Barbara (Cal.), Aug. 1999. TOOLS, IEEE.
9. D. Deveaux, R. Fleurquin, and P. Frison. Software Engineering Teaching: a 'Docware' Approach. In ACM, editor, ITiCSE'99, Cracow, June 1999. ACM - ITiCSE'99 Symposium.
10. D. Deveaux and Y. Le Traon. XML to Manage Source Code Engineering in Object-Oriented Development: an Example. In C. Mascolo, W. Emmerich, and A. Finkelstein, editors, XML Technologies and Software Engineering, pages 28-31, Toronto, Canada, May 2001. XSE01 workshop at ICSE'2001.
11. D. Deveaux, G. Saint-Denis, and R. K. Keller. XML support to design for testability. In Proc. of XOT'2000 workshop at ECOOP'2000, Cannes (France), June 2000.
12. M. J. Harrold, J. D. McGregor, and K. J. Fitzpatrick. Incremental testing of object-oriented class structures. In Proceedings, 14th International Conference on Software Engineering, pages 68-80, Los Alamitos, Calif. USA, May 1992. IEEE Computer Society Press.
13. J.-M. Jézéquel, D. Deveaux, and Y. L. Traon. Reliable Objects: a Lightweight Approach Applied to Java. IEEE-Software, 2001. accepted for publication - to appear.
14. J.-M. Jezequel and B. Meyer. Design by contract: The lessons of ariane. Computer IEEE (Object oriented department), 30(2):129-130, Jan. 1997.
15. P. C. Jorgensen and C. Erickson. Object-oriented integration testing. Communications of the ACM, 37(9):30-38, Sept. 1994.
16. M. Rolling. Bluej ressources: Exercices and assignements - zorkl. http://bluej.monash.edU/resources/exercises.html#zorkl, 1999.
17. R. Kramer. icontract - the java (tm) design by contract (tm) tool. In 26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98), Aug. 1998.
18. D. C. Kung, Gao, Jerry, Chen, and Cris. On regression testing of object-oriented programs. The Journal of Systems and Software, 32(1), Jan. 1996.
19. Y. Le Traon, D. Deveaux, and J.-M. Jézéquel. Self-Testable Components: from Pragmatic Tests to a Designfor-Testability Methodology. In Proc. of TOOLS-Europe'99. TOOLS, June 1999.
20. J. McDonald, D. Hoffman, and P. Strooper. Programmatic testing of the standard template library containers. In Thirteenth International Conference on Automated Software Engineering, pages 147-156. IEEE Computer Society Press, 1998.
21. B. Meyer. Object-Oriented Software Construction, Second Edition. Prentice Hall, New Jersey, 1997.
22. A. J. Offutt. Investigation of the software testing coupling effect. ACM Transaction on Software Engineering Methodology, 1:3-18, 1992.
23. D. E. Perry and G. E. Kaiser. Adequat testing and objectoriented programming. Journal of Object-Oriented Programming, 2(5):13-19, Jan. 1990.
24. E. J. Weyuker. Testing component-based software: A cautionary tale. IEEE Software, 1(5):54-59, Sept. 1998.