Testing object‐oriented software: a survey
Robert V. Binder · Software Testing Verification and Reliability · 1996
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.