STRESS-TESTING OF COMPILERS FOR MODULA-2

被引：3
作者：
PRONK, C
机构：
[1] Delft University of Technology, Department of Mathematics and Informatics, Delft, 2600 AJ
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1992年 / 22卷 / 10期
关键词：
STANDARDIZATION; PROGRAMMING LANGUAGES; REQUIREMENTS CLAUSES; MODULA-2; COMPILERS;
D O I：
10.1002/spe.4380221007
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
During standardization discussions on Modula-2 the question was raised whether the future standard should need a clause stating a set of minimal requirements for conforming implementations regarding the 'structuredness' of lexical, syntactical and run-time constructs in programs written in this language. It was decided to test a number of compilers to find their actual limits on the structuredness of some of these constructs. The test results do not only show these limits, but the inability of some compilers to handle large and complex inputs is shown as well.
引用
收藏
页码：885 / 897
页数：13
相关论文
共 20 条
  • [1] THE STATE OF THE MODULA-2 STANDARD
    HENRY, R
    MICROPROCESSORS AND MICROSYSTEMS, 1990, 14 (03) : 133 - 143
  • [2] THE POSITION OF MODULA-2 AMONG PROGRAMMING-LANGUAGES
    SOUTER, J
    MICROPROCESSORS AND MICROSYSTEMS, 1990, 14 (03) : 145 - 148
  • [3] THE PROGRAMMING LANGUAGE STANDARDS SCENE, 10 YEARS ON .10. MODULA-2
    WOODMAN, M
    COMPUTER STANDARDS & INTERFACES, 1994, 16 (5-6) : 487 - 494
  • [4] RUN-TIME SYSTEM SUPPORTS FOR MODULA-2 IMPLEMENTATIONS
    PILLAY, K
    MORRIS, L
    MICROPROCESSORS AND MICROSYSTEMS, 1991, 15 (02) : 73 - 81
  • [5] EMBEDDING FUNCTIONALLY DESCRIBED ABSTRACT-DATA-TYPES INTO MODULA-2 PROGRAMS
    KLAEREN, H
    MICROPROCESSORS AND MICROSYSTEMS, 1990, 14 (03) : 161 - 166
  • [6] Automated testing of graphics shader compilers
    Donaldson A.F.
    Evrard H.
    Lascu A.
    Thomson P.
    Proceedings of the ACM on Programming Languages, 2017, 1 (OOPSLA):
  • [7] NOTICE: A Framework for Non-functional Testing of Compilers
    Boussaa, Mohamed
    Barais, Olivier
    Baudry, Benoit
    Sunye, Gerson
    2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, : 335 - 346
  • [8] Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course
    Nip, Terence
    Gunter, Elsa L.
    Herman, Geoffrey L.
    Morphew, Jason W.
    West, Matthew
    SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2018, : 568 - 573
  • [9] Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
    Even-Mendoza, Karine
    Cadar, Cristian
    Donaldson, Alastair F.
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1219 - 1223
  • [10] Negative urodynamic testing in women with stress incontinence
    Liversidge, Kylie
    Guzman Rojas, Rodrigo
    Atan, Ixora Kamisan
    Dietz, Hans Peter
    AUSTRALIAN & NEW ZEALAND JOURNAL OF OBSTETRICS & GYNAECOLOGY, 2015, 55 (01) : 76 - 80
12