Testing generic Ada packages with APE

Proceedings of the ACM SIGAda Annual International Conference; SIGAda

Volumn Part F129235, Issue , 1998, Pages 255-262

  Hoffman, Daniel ^a   Nair, Jayakrishnan ^a   Strooper, Paul ^b  

^a UNIVERSITY OF VICTORIA   (Canada)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

TESTING;

COMMERCIAL TOOLS; SYSTEM TESTING; TEST DRIVERS; TEST INPUTS; TEST SCRIPTS; TOOLS FOR TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 84962832282     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/289524.289640     Document Type: Conference Paper

References (16)

1. S. Barbey. Testing Ada 95 object-oriented programs. In M. Toussaint, editor, Ada in Europe: second International Eurospace Ada Europe Symp., pages 406-418. Springer Verlag, 1995. Lecture Notes in Computer Science 1031.
2. S. Barbey and D. Buchs. Testing Ada abstract data types using formal specifications. In M. Toussaint, editor, Ada in Europe 1994, pages 76-89. Springer Verlag, 1994. Lecture Notes in Computer Science 887.
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. P.G. Frankl and R.K. Doong. The ASTOOT approach to testing object-oriented programs. ACM Trans, on Software Engineering Methodology, 3(2):101-130, 1994.
6. M.J. Gallagher and V.L. Narasimhan. A software system for the generation of test data for Ada programs. Microprocessing and Microprogramming, 38:637-644, 1993.
7. J. Gannon, P. McMullin, and R. Hamlet. Data-abstraction implementation, specification and testing. ACM Trans. Program Lang. Syst., 3(3):211-223, July 1981.
8. D.M. Hoffman. A CASE study in module testing. In Proc. Conf. Software Maintenance, pages 100-105. IEEE Computer Society, October 1989.
9. D.M. Hoffman and P.A. Strooper. Automated module testing in Prolog. IEEE Trans. Soft. Eng., 17(9):933-942, September 1991.
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. Hoffman and P.A. Strooper. The testgraphs methodology - automated testing of collection classes. Journal of Object-Oriented Programming, 8(7):35-41, 1995.
12. D.M. Hoffman and P.A. Strooper. ClassBench: A methodology and framework for automated class testing. Software: Practice and Experience, 27(5):573-597, 1997.
13. AdaTEST the solution for testing ada software. http://www.iplbath.com/.
14. G. Murphy, P. Townsend, and P.S. Wong. Experiences with cluster and class testing. Commun. ACM, 37(9):39-47. 1994.
15. D.J. Panzl. A language for specifying software tests. In Proc. AFIPS Natl. Comp. Conf, pages 609-619. AFIPS, 1978.
16. S.R. Waterman. Techniques for testing Ada 95. In K. Hardy and J. Briggs, editors, Reliable Software Technologies - Ada-Europe '97, pages 278-291. Springer Verlag, 1997.