Tailoring testing to a specific compiler—experiences
Pages 140 - 152
Abstract
The testing of the Univac UCS-Pascal compiler is described. Tests were acquired from various sources, converted from existing tests, and developed in house. Test development and execution using the Univac Test Controller System is illustrated with examples. The experiences gained from this and other compiler testing efforts are described.
References
[1]
COBOL COMPILER VALIDATION SYSTEM (CCVS), VERSION 4.0, USER'S GUIDE (IMPLEMENTATION DOCUMENTATION), Federal Compiler Testing Center, August 1980, available from National Technical Information Service as publication PB80-219900.
[2]
W.J. Cody and William Waite, SOFTWARE MANUAL FOR THE ELEMENTARY FUNCTIONS (Englewood Cliffs: Prentice-Hall, 1980).
[3]
John V. Cugini, Joan S. Bowden, and Mark W. Skall, NBS MINIMAL BASIC TEST PROGRAMS—VERSION 2, USER'S MANUAL, VOLUME 1—DOCUMENTATION, NBS Special Publication 500-70/1 (November 1980), pp. 15-16.
[4]
John V. Cugini, SPECIFICATIONS AND TEST METHODS FOR NUMERIC ACCURACY IN PROGRAMMING LANGUAGE STANDARDS, NBS Special Publication 500-77, June 1981.
[5]
Paul R. Eggert, "Runtime Checking for ISO Standard Pascal", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol. 7, No. 4 (July 1981), pp. 447-448.
[6]
FORTRAN COMPILER VALIDATION SYSTEM (FCVS78), VERSION 1.0, DETAILED TEST SPECIFICATIONS, Federal Compiler Testing Center, November 1978, available from National Technical Information Service as publication AD-A062-038.
[7]
Charles N. Fischer and Richard J. LeBlanc, "The Implementation of Run-Time Diagnostics in Pascal", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol. 6, No. 4 (July 1980), pp. 313-319.
[8]
R.A. Freak and A.H.J. Sale, PASCAL VALIDATION SUITE—VERSION 3.0, Department of Information Science, University of Tasmania, GPO Box 252C, Hobart, Tasmania 7001, Australia. It can be obtained in North America from: Richard J. Cichelli, c/o ANPA Research Institute, Box 598, Easton, PA 18042. Phone (215) 253-6155. It can be obtained in Europe from: DR. B. Wichmann, National Physical Laboratory, Teddington, TW11 OLW, Middlesex, England. Phone 1-977 3222 EXT 3976.
[9]
John B. Goodenough, "The Ada Compiler Validation Capability", SIGPLAN NOTICES, Vol. 15, No. 11 (November 1980), pp 1-8.
[10]
John B. Goodenough, ADA COMPILER VALIDATION IMPLEMENTERS' GUIDE (Waltham, Mass.: SofTech, Inc., 1980), available from National Technical Information Service as publication AD-A091-760 (October, 1980).
[11]
Stephen R. Greenwood, "Macro: A Programming Language", SIGPLAN NOTICES, Vol. 4, No. 12 (December 1979), pp. 80-91.
[12]
Dick Grune (ed.), THE REVISED MC ALGOL 68 TEST SET, IW-122/79-November (Amsterdam, The Netherlands: Mathematisch Centrum {Kruislaan 413, 1098 SJ Amsterdam, The Netherlands}, 1979).
[13]
H.C. Gyllstrom, R.C. Knippel, L.C. Ragland, and K.E. Spackman, "The Universal Compiling System", SIGPLAN NOTICES, V14 N12 (December 1979), pp64-70.
[14]
Kathleen Jensen and Niklaus Wirth, PASCAL USER MANUAL AND REPORT, SECOND EDITION (New York: Springer-Verlag, 1974).
[15]
UNIVAC SERIES 1100 MACRO PROGRAMMER REFERENCE MANUAL, UP-8336.1, Sperry Univac, St. Paul, Minnesota (1981).
[16]
David V. Moffat, "Index to the Periodical Literature—1981 Pascal Bibliography (June, 1981)", SIGPLAN NOTICES, Vol. 16, No. 11 (November 1981), pp. 7-21.
[17]
ELEFUNT (FORTRAN ELEMENTARY FUNCTION TESTS), NESC Abstract 881 (Argonne, Illinois: National Energy Software Center, Argonne National Laboratory, 9700 South Cass Avenue—1980).
[18]
Paul Oliver, TRANSFERABILITY OF FORTRAN BENCHMARKS, available from National Technical Information Service as publication AD-AO39-741 (January 1975).
[19]
Paul Oliver, "Experiences in Building and Using Compiler Validation Systems", PROCEEDINGS OF NATIONAL COMPUTER CONFERENCE, AFIPS (1979), pp. 1051-1057.
[20]
G. David Ripley and Frederick C. Druseikis, "A Statistical Analysis of Syntax Errors", COMPUTER LANGUAGES, Vol. 3 (1978), pp. 227-240.
[21]
G. David Ripley, ERRONEOUS PASCAL CODE, David Sarnoff Research Center, Princeton, NJ 08540 (1981). This is a set of Pascal syntax error analysis and recovery tests.
[22]
G. David Ripley, PASCAL SYNTAX ERROR DATA, report accompanying test programs (1981).
[23]
R.S. Scowen and Z.J. Ciechanowicz, COMPILER VALIDATION—A SURVEY, NPL CSU Technical Report No 8/81, National Physical Laboratory, Teddington, Middlesex TW11 OLW, United Kingdom (December 1980).
[24]
Harlan K. Seyfer, "Compiler Test Sets", to appear in SIGPLAN NOTICES (1982).
[25]
SERIES 1100 SYSTEM TEST PACKAGE (STP) LEVEL 2R1, SRA-365. Sperry Univac Marketing, 3001 Metro Drive, Suite, 300, Minneapolis, Minnesota 55420 (1980).
[26]
USER GUIDE, SPERRY UNIVAC SERIES 1100 TEST CONTROLLER SYSTEM (TCS), LEVEL 2R1, RRD-A446.2, Sperry Univac Marketing, 3001 Metro Drive, Suite 300, Minneapolis, Minnesota 55420 (1980).
[27]
J. Welsh, W.J. Sneeringer and C.A.R. Hoare, "Ambiguities and Insecurities in Pascal", SOFTWARE—PRACTICE AND EXPERIENCE, Vol. 7 (1977), pp. 685-696.
[28]
B.A. Wichmann and B. Jones, "Testing Algol 60 Compilers", SOFTWARE PRACTICE AND EXPERIENCE, Vol. 6, No. 2 (April-June 1976), pp. 261-270.
[29]
B.A. Wichmann and A.H.J. Sale, A PASCAL PROCESSOR VALIDATION SUITE, Report CSU 7/80, (Teddington, England: National Physical Laboratory, 1980).
Index Terms
- Tailoring testing to a specific compiler—experiences
Recommendations
Tailoring testing to a specific compiler—experiences
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionThe testing of the Univac UCS-Pascal compiler is described. Tests were acquired from various sources, converted from existing tests, and developed in house. Test development and execution using the Univac Test Controller System is illustrated with ...
Coverage Prediction for Accelerating Compiler Testing
Compilers are one of the most fundamental software systems. Compiler testing is important for assuring the quality of compilers. Due to the crucial role of compilers, they have to be well tested. Therefore, automated compiler testing techniques (those ...
Testing domain-specific languages
OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companionThe Spoofax testing language provides a new approach to testing domain-specific languages as they are developed. It allows test cases to be written using fragments of the language under test, providing full IDE support for writing test cases and ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1982 Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 1982
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 396Total Downloads
- Downloads (Last 12 months)87
- Downloads (Last 6 weeks)16
Reflects downloads up to 16 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in