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

Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke

Research output: Contribution to journalArticle

77 Downloads (Pure)

Abstract

We describe a contract-aware unit testing framework, E-Tester, for the Eiffel programming language. The framework differs from JUnit in its first-class support for lightweight formal methods, through test support for contracts and assertions. As well, it supports a form of negative test, called violation cases, which aim at validating contracts. It also differs based on its use of agents for expressing tests and test cases. We compare E-Tester with JUnit and suggest several advantages it offers, with the additional aim of making recommendations for improving JUnit’s support for testing software with contracts. We also explain how it can be applied within a test-driven process for building reliable systems.
Original languageEnglish
Pages (from-to)97-114
JournalJournal of Object Technology
Volume4
Issue number7
Publication statusPublished - Sep 2005

Bibliographical note

Author can archive publisher's version/PDF.

Fingerprint Dive into the research topics of 'E-Tester: a contract-aware and agent-based unit testing framework for Eiffel'. Together they form a unique fingerprint.

  • Cite this

    Ostroff, J. S., Paige, R. F., Makalsky, D., & Brooke, P. J. (2005). E-Tester: a contract-aware and agent-based unit testing framework for Eiffel. Journal of Object Technology, 4(7), 97-114.