Skip to main content
Springer Nature Link
Log in

Testing Ada 95 object-oriented programs

  • Conference paper
  • First Online:
Ada in Europe (Ada-Europe 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1031))

Included in the following conference series:

  • 108 Accesses

Abstract

We show some of the specific problems for testing software introduced by the object-oriented features of Ada 95, and focus on specificationbased testing, since this strategy is the key strategy for testing object-oriented software. We present a theory for testing software by refinement of an exhaustive test set into a finite test set using three reduction hypothesis. We also show how the Oracle problem can be partially solved using some particular features of Ada 95.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Stéphane Barbey. Working with Ada 9X classes. In Charles B. Engle, Jr., editor, TRI-Ada 1994 Conference, pages 129–140, Baltimore, Maryland, USA, November 6–11 1994. Also available as Technical Report (EPFL-DI-LGL No 94/65).

    Google Scholar 

  2. Stéphane Barbey. Ada 95 as implementation for object-oriented designs. In Charles B. Engle, Jr., editor, Proceedings of TRI-Ada '95, Anaheim, California, November 5–10 1995. (to appear).

    Google Scholar 

  3. Stéphane Barbey, Manuel Ammann, and Alfred Strohmeier. Open issues in testing object-oriented software. In Karol Frühauf, editor, ECSQ '94 (European Conference on Software Quality), pages 257–267, Basel, Switzerland, October 17–20 1994. vdf Hochschulverlag AG an der ETH Zürich. Also available as Technical Report (EPFL-DI-LGL No 94/45).

    Google Scholar 

  4. Stéphane Barbey and Didier Buchs. Testing of Ada abstract data types using formal specifications. In Marcel Toussaint, editor, Eurospace Ada Europe '94 Symposium Proceedings, number 887 in LNCS (Lecture Notes in Computer Sciences), pages 76–89, Copenhagen, Danemark, September 26–30 1994. Springer Verlag. Also available as Technical Report (EPFL-DI-LGL No 94/75).

    Google Scholar 

  5. John Barnes, Ben Brosgol, Ken Dritz, Offer Pazy, and Brian Wichmann. Ada 95 Rationale. Intermetrics, Inc., Cambridge, MA, USA, February 1995.

    Google Scholar 

  6. Gilles Bernot, Marie-Claude Gaudel, and Bruno Marre. Software testing based on formal specifications: a theory and a tool. IEE Software Engineering Journal, 6(6):387–405, November 1991.

    Google Scholar 

  7. Didier Buchs. Test selection method to validate concurrent programs against their specifications. In SQM '95 (Software Quality Management), pages 403–414, Seville, Spain, April 1995. (Also Available as Technical Report EPFL-DI-LGL No 95/101).

    Google Scholar 

  8. Roong-Ko Doong and Phyllis G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2): 101–130, April 1994.

    Google Scholar 

  9. Gary T. Leavens and William E. Weihl. Reasoning about object-oriented programs that use subtypes (extended abstract). In Norman Meyrowitz, editor, ECOOP/OOPSLA '90 Conference Proceedings, Ottawa, Canada, volume 25 of SIGPLAN Notices, pages 212–223. ACM SIGPLAN, ACM Press, October 1990.

    Google Scholar 

  10. J. Liddiard. Achieving testability when using Ada packaging and data hiding methods. Ada User, 14(1):27–32, March 1993.

    Google Scholar 

  11. Barbara Liskov and Jeannette M. Wing. Specifications and their use in defining subtypes. In Andreas Paepcke, editor, OOPSLA '93 Conference Proceedings, Washington, DC, volume 28, pages 16–28, 1515 Broadway New York, NY 10036, September 26–October 1 1993. ACM SIGPlan, ACM Press.

    Google Scholar 

  12. Dewayne E. Perry and Gail E. Kaiser. Adequate testing and object-oriented programming. Journal of Object-Oriented Programming, 2(5):13–19, January 1990.

    Google Scholar 

  13. Elaine J. Weyuker. The oracle assumption of program testing. In 13th International Conference on System Sciences, pages 44–49, Hawaii, USA, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Laboratory, Swiss Federal Institute of Technology, 1015, Lausanne Ecublens, Switzerland

    Stéphane Barbey

Authors
  1. Stéphane Barbey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marcel Toussaint

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barbey, S. (1996). Testing Ada 95 object-oriented programs. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1995. Lecture Notes in Computer Science, vol 1031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015511

Download citation

  • DOI: https://doi.org/10.1007/BFb0015511

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60757-1

  • Online ISBN: 978-3-540-49362-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics