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 journalArticlepeer-review


We describe a contract-aware unit testing framework, E-Tester, for the Eiffel programminglanguage. 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.
Original languageUndefined/Unknown
Pages (from-to)97-114
Number of pages18
JournalJournal of Object Technology
Issue number7
Publication statusPublished - 2005

Cite this