Testing the C set++ collection class library

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Testing the C set++ collection class library

Full text

Pdf (209 KB)

Source

IBM Centre for Advanced Studies Conference archive
Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research table of contents

Toronto, Ontario, Canada

Page: 26

Year of Publication: 1994

Authors

Daniel Hoffman	Department of Computer Science, University of Victoria, P.O. Box 3055, Victoria, B.C., Canada V8W 3P6
Xianhong Fang	Department of Computer Science, University of Victoria, P.O. Box 3055, Victoria, B.C., Canada V8W 3P6

Sponsors

NRC : National Research Council - Canada
: Natural Sciences and Engineering Research Council
: Industry Canada
IBM Canada : IBM Canada

Publisher

IBM Press

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 6, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Boris Beizer, Software testing techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, 1990
	2	{2} T.S. Chow. Testing software design modeled by finite-state machines. IEEE Trans. Soft. Eng., SE-4(3):178-187, May 1978.
	3	Alan,M. Davis, A comparison of techniques for the specification of external system behavior, Communications of the ACM, v.31 n.9, p.1098-1115, Sept. 1988 [doi>10.1145/48529.48534]
	4	{4} S.P. Fiedler. Object-oriented unit testing. Hewlett-Packard Journal, pages 69-74, April 1989.
	5	{5} P.G. Frankl. Tools for testing object-oriented programs. In Proc. Pacific North-west Software Quality Conf., pages 309-324, 1990.
	6	John Gannon , Paul McMullin , Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.211-223, July 1981 [doi>10.1145/357139.357140]
	7	Mary Jean Harrold , John D. McGregor , Kevin J. Fitzpatrick, Incremental testing of object-oriented class structures, Proceedings of the 14th international conference on Software engineering, p.68-80, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143093]
	8	{8} D.M. Hoffman. A CASE study in module testing. In Proc. Conf. Software Maintenance , pages 100-105. IEEE Computer Society, October 1989.
	9	Daniel M. Hoffman , Paul Strooper, Automated Module Testing in Prolog, IEEE Transactions on Software Engineering, v.17 n.9, p.934-943, September 1991 [doi>10.1109/32.92913]
	10	{10} D.M. Hoffman and P.A. Strooper. Graph-based class testing. In Proc. 7th Australian Software Engineering Conf., pages 85-91, 1993.
	11	{11} W.E. Howden. Reliability of the path analysis testing strategy. IEEE Trans. Soft. Eng., SE-2(3):208-215, September 1976.
	12	{12} G. Murphy and P. Wong. Object-oriented systems testing methodology: An overview. Technical Report TR92-0656, MPR Teltech Ltd., October 1992.
	13	{13} D.J. Panzl. A language for specifying software tests. In Proc. AFIPS Natl. Comp. Conf., pages 609-619. AFIPS, 1978.
	14	D. E. Perry , G. E. Kaiser, Adequate testing and object-oriented programming, Journal of Object-Oriented Programming, v.2 n.5, p.13-19, Jan./Feb. 1990
	15	{15} G.D. Schultz, D.B. Rose, C.H. West, and J.P. Gray. Executable description and validation of sna. IEEE Transactions on Communications , COM-28(4), April 1980.
	16	Deepinder P. Sidhu , Ting-kau Leung, Formal Methods for Protocol Testing: A Detailed Study, IEEE Transactions on Software Engineering, v.15 n.4, p.413-426, April 1989 [doi>10.1109/32.16602]
	17	M. D. Smith , D. J. Robson, A framework for testing object-oriented programs, Journal of Object-Oriented Programming, v.5 n.3, p.45-53, June 1992
	18	{18} C.D. Turner, and D.J. Robson. The testing of object-oriented programs. Technical Report TR-13/92, University of Durham, 1992.
	19	{19} P. Wong. Automated class exerciser (ACE) user's guide. Technical Report TR92-0655, MPR Teltech Ltd., September 1992.