Abstract
A tool for the systematic production of test cases for a compiler is first presented. The input of the generator are formal grammars, derived from the definition of the reference language. This tool has been applied to the generation of test programs for Algol 68. For each construction which the language possesses, the syntactic structure of the corresponding test and the semantic verifications it contains are given. The test set has begun to be employed on a specific implementation. Discovered errors related to Algol 68 constructions are analysed.
- 1 BANATRE J.P., ROUTEAU J.P., A one pass compiler using events, Proceedings of an International Conference on Algol 68, Oklahoma, June 1975Google Scholar
- 1.1 and BANATRE J.P. and al., Structure d'un compilateur Algol 68, Thèses, IRISA, Université de Rennes, 1974.Google Scholar
- 2 GRUNE D., The MC Algol 68 Test Set, IW 53/75, Mathematisch Centrum, Amsterdam, 1975.Google Scholar
- 3 GUEZENNEC J., Production systématique de tests pour un compilateur Simula 67. Rapport Interne. IRISA, BP25A, 35031 Rennes. A paraître, 1977.Google Scholar
- 4 HOUSSAIS B., Production systématique de tests commandée par une grammaire. Application à la validation d'un compilateur Algol 68. Thèse, IRISA, Université de Rennes, 1976.Google Scholar
- 5 KOSTER CHA, Affix grammars in Algol 68 Implementation, North Holland, 1970.Google Scholar
- 6 Van WIJNGAARDEN and al., Revised Report on Algol 68, 1974.Google Scholar
Index Terms
- Verification of an Algol 68 implementation
Recommendations
Verification of an Algol 68 implementation
Proceedings of the Strathclyde ALGOL 68 conferenceA tool for the systematic production of test cases for a compiler is first presented. The input of the generator are formal grammars, derived from the definition of the reference language. This tool has been applied to the generation of test programs ...
A translation grammar for ALGOL 68
AFIPS '70 (Spring): Proceedings of the May 5-7, 1970, spring joint computer conferenceIn this paper, a translation grammar is presented for a major subset of the ALGOL 68 programming language. This translation is from ALGOL 68 into an intermediate language that was originally designed for an EULER programming system. It appears that many ...
Comments