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

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

doi:10.5381/jot.2005.4.7.a4.

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

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

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	Undefined/Unknown
Pages (from-to)	97-114
Number of pages	18
Journal	Journal of Object Technology
Volume	4
Issue number	7
DOIs	https://doi.org/10.5381/jot.2005.4.7.a4.
Publication status	Published - 2005

Access to Document

10.5381/jot.2005.4.7.a4.

http://dx.doi.org/10.5381/jot.2005.4.7.a4

Cite this

@article{2264735bee574bcab7a81467c005056e,

title = "E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel",

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.",

author = "Ostroff, {Jonathan S.} and Paige, {Richard F.} and David Makalsky and Brooke, {Phillip J.}",

year = "2005",

doi = "10.5381/jot.2005.4.7.a4.",

language = "Undefined/Unknown",

volume = "4",

pages = "97--114",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "Journal of Object Technology",

number = "7",

}

TY - JOUR

T1 - E-Tester

T2 - a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel

AU - Ostroff, Jonathan S.

AU - Paige, Richard F.

AU - Makalsky, David

AU - Brooke, Phillip J.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.5381/jot.2005.4.7.a4.

DO - 10.5381/jot.2005.4.7.a4.

M3 - Article

SN - 1660-1769

VL - 4

SP - 97

EP - 114

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 7

ER -