E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel

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

Abstract

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.

Cite as:

Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke, “E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel”, Journal of Object Technology, Volume 4, no. 7 (September 2005), pp. 97-114, doi:10.5381/jot.2005.4.7.a4.