SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001

Abstract

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 incrementally with derived classes, including derived classes that exploit polymorphism to extend the behavior of the base class. In this paper, we report on our work towards developing such a testing approach.

8 Figures and Tables

Cite this paper

@inproceedings{Giannakopoulou2014SAVCBS2P, title={SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001}, author={Dimitra Giannakopoulou and Gary T. Leavens and Murali Sitaraman and Neelam Soundarajan}, year={2014} }