Quality-for-ASIS: A portable testing facility for ASIS

  • Alfred Strohmeier
  • Vasiliy Fofanov
  • Sergey Rybin
  • Stéphane Barbey
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)


This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compiler validation suite are provided.


Ada ASIS Testing Black-Box Testing Specification-Based Testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ASIS documents are available electronically on the World Wide Web: http://www.acm.org/sigada/WG/asiswg/asiswg.html or by anonymous ftp: ftp://sw-eng.falls-church.va.us/public/AdaIC/work-grp/asiswgGoogle Scholar
  2. [2]
    S. Tucker Taft, Robert A. Duff (eds.) Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E). Lecture Notes in Computer Science, vol. 1246, Springer-Verlag, 1997, ISBN 3-540-63144-5.Google Scholar
  3. [3]
    S. Rybin, A. Strohmeier, E. Zueff: ASIS for GNAT: Goals, Problems and Implementation Strategy. In Marcel Toussaint (Ed.), Second International Eurospace-Ada-Europe Symposium Proceedings, Frankfurt-Germany, October 2–6 1995, LNCS no 1031, Springer, 1995, pp. 139–151.Google Scholar
  4. [4]
    S. Rybin, A. Strohmeier, A. Kuchumov, V. Fofanov: ASIS for GNAT: From the Prototype to the Full Implementation. In Alfred Strohmeier (Ed.), 1996 Ada-Europe International Conference on Reliable Software Technologies Proceedings, LNCS no 1088, Springer, pp. 298–311, 1996.Google Scholar
  5. [5]
    ASIS-for-GNAT is available electronically from LGL-EPFL by anonymous ftp: ftp://lglftp.epfl.ch/pub/ASIS.Google Scholar
  6. [6]
    E. Schonberg, B. Banner; The GNAT Project: A GNU-Ada 9X Compiler; TRI-Ada'94 Proceedings, ACM Press, 1994; pp. 48–57. See also http:// www.gnat.com.Google Scholar
  7. [7]
    V. Fofanov, S. Rybin and A. Strohmeier, “ASIStint: An Interactive ASIS Interpreter”, in Susan Carlson (Ed.), Proceedings of TRI-Ada'97, St. Louis, USA, ACM Press, 1997, pp. 205–209.Google Scholar
  8. [8]
    Stéphane Barbey. Test Selection for Specification-Based Testing of Object-Oriented Software Based on Formal Specifications. PhD thesis, Swiss Federal Institute of Technology in Lausanne (EPFL), December 1997. Ph.D. Thesis 1753.Google Scholar
  9. [9]
    Robert V. Binder. Testing object-oriented software: a survey. Journal of Testing, Verification and Reliability, 6:125–252, September 1996.CrossRefGoogle Scholar
  10. [10]
    Muriel Daran and Pascale Thévenod-Fosse. Software error analysis: A real case study involving real faults and mutations. In Proceedings of 3rd International Symposium on Software Testing and Analysis (ISSTA-3), pages 158–171, San Diego, California, USA, January 1996.Google Scholar
  11. [11]
    Glenford J. Myers. The Art of Software Testing. Business Data Processing: a Wiley Series. John Wiley & Sons, 1979.Google Scholar
  12. [12]
    Hong Zhu, Patrick A. V. Hall, John H. R. May. Software Unit Test Coverage and Adequacy. In ACM Computing Surveys, Vol. 29, No. 4, Dec 1997. pp. 366–427.CrossRefGoogle Scholar
  13. [13]
    John B. Goodenough, S. L. Gerhart. Toward a theory of test data selection. In IEEE Trans. Softw. Eng. SE-3, June 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Alfred Strohmeier
    • 1
  • Vasiliy Fofanov
    • 1
  • Sergey Rybin
    • 2
  • Stéphane Barbey
    • 1
  1. 1.Department of Computer Science Software Engineering LaboratorySwiss Federal Institute of TechnologyLausanneSwitzerland
  2. 2.Scientific Research Computer CenterMoscow State UniversityMoscowRussia

Personalised recommendations