The automatic generation of test cases for optimizing Fortran compilers

Information and Software Technology

Volumn 38, Issue 2, 1996, Pages 111-119

  Burgess, C J ^a   Saidi, M ^b  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

^b FERHAT ABBAS UNIVERSITY   (Algeria)

Author keywords

Automated testing; Compiler testing; Test cases

Indexed keywords

AUTOMATIC TESTING; COMPUTER SOFTWARE; ERROR CORRECTION; FORTRAN (PROGRAMMING LANGUAGE); OPTIMIZATION;

CODE GENERATION; COMPILER TESTING; TEST CASES;

PROGRAM COMPILERS;

EID: 0029710179     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01055-6     Document Type: Article

References (17)

1. Wichmann, B A and Ciechanowicz, Z J Pascal compiler validation, John Wiley (1983)
2. Purdom, P 'A sentence generator for testing parsers' BIT 12 (1972) pp 366-375
3. Bazzichi, F and Spadafora I 'An automatic generator for compiler testing' IEEE Trans. on Soft. Eng. SE-8 (1982) pp 343-353
4. Celentano, A, Crespi-Reghizzo, S, Della-Vigna, P, Ghezzi, C, Granata, G and Savoretti, F 'Compiler testing using a sentence generator' Software - Practice and Experience 10 (1980) pp 897-918
5. Murali, V and Shyamasunder, R K 'A sentence generator for a compiler for PT, a Pascal subset' Software Practice and Experience 13 (1983) pp 857-869
6. Hanford, K V 'Automatic generation of test cases' IBM Systems J. Vol. 9 (1970) pp 242-257
7. Houssais, B 'Verification of an Algol68 implementation' ACM Sigplan Notices Vol 12 (1977) pp 117-128
8. Bird, D L and Munoz, C U 'Automatic generation of random self-checking test cases' IBM Systems J. Vol 22 (1983) pp 229-245
9. Burgess, C J 'Towards the automatic generation of executable programs to test a Pascal compiler' Barnes, D and Brown, P (eds) Software Engineering '86 IEE Computing Series Vol 6 Peter Peregrinus Ltd. (1986) pp 304-316
10. Homer, W and Schooler, R 'Independent testing of compiler phases using a test case generator' Software - Practice and Experience Vol 19 (1989) pp 53-62
11. Austin, S M, Wilkins, D R and Wichmann, B A 'An Ada program test generator', Proc. of Tri-Ada '91 (1991) ACM Press, pp 1-6
12. North, N and Francis, C B 'Haskell program generator' (1991) a self-documenting program available from the National Physical Laboratory, UK
13. Wichmann, B A and Davies, M 'Experience with a compiler testing tool' NPL Report DITC 138/89 (1989) NPL, UK
14. Burgess, C J 'The automated generation of test cases for compilers' Software Testing, Verification and Reliability Vol 4 No 2 (1994) pp 81-94
15. Boujarwah, A and Saleh, K 'Compiler test suite: evaluation and use in an automated test environment' Inf. and Soft. Technol. Vol 36 No 10 (1994) pp 607-614
16. Aho, A V, Sethi, R and Ullman, J D Compilers - Principles, Techniques, and Tools Addison-Wesley (1986)
17. 'American National Standard Programming Language Fortran' ANSI X3.9-1978 (Revision of ANSI X3.9-1966) American National Standards Institute (1978)