Automatic testing of object-oriented software 1 Overview : a session with AutoTest

  • Meyer B
  • Ciupa I
  • Leitner A
 et al. 
  • 11


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


Abstract. Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. The AutoTest unit testing framework automates both, by using Eiffel contracts — already present in the software — as test oracles, and generating objects and routine arguments to exercise all given classes; manual tests can also be added, and all failed test cases are automatically retained for regression testing, in a “minimized” form retaining only the relevant instructions. AutoTest has already detected numerous hitherto unknown bugs in production software.

Author-supplied keywords

  • automated software engineering
  • automatic testing
  • constraint satisfaction
  • design by
  • eiffel
  • frameworks
  • regression testing
  • testing

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

There are no full text links


  • Bertrand Meyer

  • Ilinca Ciupa

  • Andreas Leitner

  • Lisa Ling Liu

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free