Research and practitioner literature on testing object‐oriented software published up to the end of 1994 is summarized. The contribution of each source to eight topics presented: (1) abstract data type verification and testing as it relates to object‐oriented testing; (2) testing theory—fault hypotheses for object‐oriented software and adequate testing (several fault taxonomies are presented); (3) automatic model validation—techniques and tools for testing executable object‐oriented representations; (4) test case design—heuristic and formal techniques to develop test cases from object‐oriented representations and implementations; (5) testability—factors in controllability and observability; (6) test automation—assertions, state manipulation, comparators, object identity and built‐in tests; (7) test process strategies to organize and manage the activity of testing object‐oriented implementations; and (8) experience reports. Appendices provide several cross‐references.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.