Title :
Specification-based incremental testing of object oriented systems
Author :
Soundarajan, Neelam ; Tyler, Benjamin
Author_Institution :
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Abstract :
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique in which the specification and tests for a derived class are obtained incrementally from those of its base class
Keywords :
formal specification; inheritance; object-oriented methods; object-oriented programming; program testing; inheritance; object oriented systems; specification-based incremental testing; Automatic testing; Code standards; Concrete; Information science; Java; System testing;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7695-1251-8
DOI :
10.1109/TOOLS.2001.941657
