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.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn