A comparison of techniques for the specification of external system behavior
Communications of the ACM
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
A framework for testing object-oriented programs
Journal of Object-Oriented Programming
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Developing an object-oriented software testing and maintenance environment
Communications of the ACM - Special issue on object-oriented experiences and future trends
CSEE '96 Proceedings of the 9th Conference on Software Engineering Education
Issues in testing collection class libraries
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Hi-index | 0.00 |
In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. In our approach, a driver class and an oracle class are developed for each class-undertest (CUT). The driver class is based on a testgraph that partially models the CUT as a state machine, but with vastly fewer states and transitions. The oracle class provides essentially the same operations as the CUT, but supports only the testgraph states and transitions. Surprisingly thorough testing is achievable with simple testgraphs and oracles. This paper describes the adaptation of this approach to the C Set++ Collection Class Library. The key problems and solution strategies are described. Templates, iterators, and scaling-up issues are addressed.