Testing Ada 95 object-oriented programs

  • Stéphane Barbey
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1031)


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.


Ada 95 Object-Oriented Programming Testing Test Sets Selection Reduction Hypothesis Oracle 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [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. [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. [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. [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. [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. [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. [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. [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. [10]
    J. Liddiard. Achieving testability when using Ada packaging and data hiding methods. Ada User, 14(1):27–32, March 1993.Google Scholar
  11. [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. [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. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Stéphane Barbey
    • 1
  1. 1.Software Engineering LaboratorySwiss Federal Institute of TechnologyLausanne EcublensSwitzerland

Personalised recommendations