Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavior of classes. In this paper, we report on our work towards developing such a testing approach.
ASJC Scopus subject areas