E-Tester: A contract-aware and agent-based unit testing framework for Eiffel

Journal of Object Technology

Volumn 4, Issue 7, 2005, Pages 97-114

  Ostroff, Jonathan S ^a   Paige, Richard F ^b,d,e   Makalsky, David ^a   Brooke, Phillip J ^c,f  

^a YORK UNIVERSITY   (Canada)

^b UNIVERSITY OF YORK   (United Kingdom)

^c UNIVERSITY OF PLYMOUTH   (United Kingdom)

^d High Integrity Systems Group   (United Kingdom)

^e Software and Systems Modelling Team   (United Kingdom)

^f Network Research Group   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 25844520500     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2005.4.7.a4     Document Type: Article

References (20)

1. Ambler, S. Test-driven Development, www.agiledata.org/essays/tdd.html, accessed August 28, 2003.
2. Arnout, K., X. Rousselot, and B. Meyer. Test Wizard: Automatic test case generation based on Design by Contract, se.inf.ethz.ch/people/arnout-/arnout, accessed May 2004.
3. Beck, K. Test-driven Development: by example. Addison-Wesley, Boston, 2003.
4. Bezault, E. getest: Gobo Eiffel Test, www.gobosoft.com/eiffel/gobo/ getest/, accessed May 2004.
5. Cohen, D., M. Lindvall, and P. Costa. Agile Software Development. Fraunhofer Center for Experimental Software Engineering, University of Maryland. 2003. http://citeseer.nj.nec.com/lindvall02empirical.html
6. Fowler, M. and K. Beck. Refactoring: improving the design of existing code, Addison-Wesley, 1999.
7. Gamma, E. and K. Beck. JUnit: A cook's tour. Java Report, p27-38, 1999.
8. Kramer, R. iContract - the Java Design by Contract Tool. In Proc. TOOLS 1998, IEEE Press, 1998.
9. Larman, C. and V. Basili. Iterative and Incremental Development: A Brief History. Computer, 36(6): p47-56, 2003.
10. Leavens, G.T., K.R.M. Leino, E. Poll, C. Ruby, and B. Jacobs. JML: notations and tools supporting detailed design in Java. In OOPSLA 2000 Companion, ACM, 2000. ftp://ftp.cs.iastate.edu/pub/techreports/TR00-15/.
11. Makalsky, D. Eiffel Development Tool Plugin for Eclipse. http://sourceforge.net/projects/edt, accessed May 2004.
12. Meyer, B. Eiffel: the Language (Second Edition), Prentice Hall, 1992.
13. Meyer, B. Object-Oriented Software Construction. Prentice Hall, 1997.
14. Ostroff, J.S., D. Makalsky, and R.F. Paige. Agile Specification-Driven Design. In Proc. Extreme Programming 2004, LNCS, Springer-Verlag, 2004.
15. Paige, R.F. and J.S. Ostroff. A Comparison of BON and UML. In Proc. UML'99, LNCS, Springer-Verlag, 1999.
16. Paige, R.F and J.S. Ostroff. The Single Model Principle. Journal of Object Oriented Technology, 1(5): 2002.
17. Paige, R.F, P.J. Brooke, and J.S. Ostroff. Test-Driven Development of a Reliable Executable Metamodel, submitted July 2004.
18. Walden, K. and Nerson, J.-M. Seamless Object-Oriented Software Architecture, Prentice-Hall, 1995.
19. Wayne, R. Don't let the Bugs Bite: Parasoft's Jtest and Jcontract. Software Development, p24-27, July 2003.
20. Xu, G. and Z. Yang. JMLAutoTest: a Novel Automated Testing Framework based on JML and JUnit. In Proc. FATES 2003, LNCS 2931, 2004.