Title :
Developmental testing of abstract data types
Author :
Parrish, Allen ; Cordes, David ; Borie, Richard
Author_Institution :
Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL, USA
Abstract :
Abstract data types (ADTs) represent the fundamental building blocks of object-oriented software development. Consequently, a number of different testing techniques for ADT modules have been proposed in the literature. Most of these techniques at least tacitly assume that the ADT module under test has been completely implemented. In this paper, we present a class of testing techniques that are easily applicable to partially completed ADT modules, thus supporting an incremental approach to ADT module development. We then present a testing tool that automatically generates test cases for partially completed ADTs with very little overhead. As such, our testing techniques may be repeatedly applied, with relatively little expense, to generate new test cases as the ADT module increases in size
Keywords :
abstract data types; automatic test software; data structures; object-oriented methods; object-oriented programming; program testing; software tools; abstract data types; automatic test case generation; developmental testing; incremental approach; modules; object-oriented software development; testing tool; Automatic testing; Computer science; Formal specifications; Manuals; Object oriented modeling; Programming profession; Software testing;
Conference_Titel :
Computer Software and Applications Conference, 1993. COMPSAC 93. Proceedings., Seventeenth Annual International
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-4440-0
DOI :
10.1109/CMPSAC.1993.404214