Testing of Ada compiler diagnostics

ABSTRACT

This paper presents the main results obtained by the research group of the Computer Science Department of Moscow State University in developing methods and tools for validating compiler diagnostics.Methods of diagnostic test design based on partially formalized models are shown. In addition, a diagnostic test suite and results of its application are described.

REFERENCES

• 1: 1. Kaufman V. Sh. Programming Language Standardization and Compiler Testing // Various aspects of system programming. Moscow, 1984, p. 47-87 (in Russian).
• 2: 2. Kaufman V. Sh., Rybin S. I. Methods for Standardizing Translator Diagnostics // Programming and Computer Software, vol. 16, No. 4 (July-August 1990), p. 146-152.
• 3: 3. Rybin S. I., Pavlov M. V. The Current State of the Diagnostics Test Suite for Ada Compilers // Programmirovaniye, 1991, No. 1, p. 81-83 (in Russian).
• 4: 4. Rybin S. I. The Testing Methods of Context Condition Violations in Standardized Compilers. Doctor Degree Dissertation. Moscow State University, 1987 (in Russian).
• 5: 5. The programming language Ada reference manual. ANSI/MIL-STD- 1815A.
• 6: John B. Goodenough, The Ada compiler validation capability, ACM SIGPLAN Notices, v.15 n.11, November 1980
• 7: 7. List of Validated Compilers // Ada User, vol. 8, No. 2, 1987, p. 9.
• 8: 8. The Ada Validated Compiler List, 1 apr. 1989 // Ada User, vol. 10, No. 2, 1989, p. 92-111.
• 9: Arcady Popov , Ilia Gindysh , Vadim Rupp , Vasily Ziabkin, Pallada system, ACM SIGAda Ada Letters, v.XII n.3, p.117-125, May/June 1992 [doi>10.1145/134283.134290]
• 10: 10. Ada9X Mapping Document. Volume 2. Mapping Specification. December 1991. Intermetrics, Inc., 1991.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Compilers

General Terms:
Design, Languages