Testing generic Ada packages with APE

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Testing generic Ada packages with APE

Full text

Pdf (743 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 255 - 262

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Daniel Hoffman	Dept. of Computer Science, Univ. of Victoria, P.O. Box 3055, MS7209, Victoria, B.C., VBW 3P6 Canada
Jayakrishnan Nair	Dept. of Computer Science, Univ. of Victoria, P.O. Box 3055, MS7209, Victoria, B.C., VBW 3P6 Canada
Paul Strooper	Dept. of Computer Science and Electrical Engineering, The Univ., of Queensland, Brisbane, 4072 Australia

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289640 What is a DOI?

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	Stéphane Barbey, Testing Ada 95 Object-Oriented Programs, Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe, p.406-418, October 02-06, 1995
	2	Stéphane Barbey , Didier Buchs, Testing Ada Abstract Data Types Using Formal Specifications, Proceedings of the First International Eurospace - Ada-Europe Symposium on Ada in Europe, p.76-89, September 26-30, 1994
	3	R.V. Binder. Testing object-oriented software: A survey. Software Testing, Verification, and Reliability, 6:125-252, 1996_
	4	S_P. Fiedler. Object-oriented unit testing. Hewlett- Packard Journal, pages 69-74, April 1989.
	5	Roong-Ko Doong , Phyllis G. Frankl, The ASTOOT approach to testing object-oriented programs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.2, p.101-130, April 1994 [doi>10.1145/192218.192221]
	6	M. J. Gallagher , V. L. Narasimhan, A software system for the generation of test data for Ada programs, Microprocessing and Microprogramming, v.38 n.1-5, p.637-644, Sept. 1993
	7	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]
	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	D.M. Hoffman and P.A. Strooper. Software Design, Automated Testing, and Maintenance: A Practical Approach. International Thomson Computer Press, 1995.
	11	D.M. Hoffma~ and P.A. Strooper. The testgraphs methodology~automated testing of collection classes. Journal of Object-Oriented Programming, 8(7):35-41, 1995.
	12	Daniel Hoffman , Paul Strooper, ClassBench: a framework for automated class testing, Software—Practice & Experience, v.27 n.5, p.573-597, May 1997 [doi>10.1002/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.3.CO;2-V]
	13	AdaTEST the solution for testing ada software. http://www.iplbath.com/.
	14	Gail C. Murphy , Paul Townsend , Pok Sze Wong, Experiences with cluster and class testing, Communications of the ACM, v.37 n.9, p.39-47, Sept. 1994 [doi>10.1145/182987.182990]
	15	D.J. Panzl. A language for specifying software tests. In Proc. AFIPS Natl. Comp. Conf., pages 609-619. APIPS, 1978.
	16	S. R. Waterman, Techniques for Testing Ada 95, Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, p.278-291, June 02-06, 1997

CITED BY 2

	Chris Hunter , Paul Strooper, Systematically deriving partial oracles for testing concurrent programs, Australian Computer Science Communications, v.23 n.1, p.83-91, January-February 2001
	Daniel Hoffman , Paul Strooper, API documentation with executable examples, Journal of Systems and Software, v.66 n.2, p.143-156, 15 May 2003