Orthogonal Latin squares: an application of experiment design to compiler testing

ABSTRACT

Orthogonal Latin squares—a new method for testing compilers—yields the informational equivalent of exhaustive testing at a fraction of the cost. The method has been used successfully in designing some of the tests in the Ada Compiler Validation Capability (ACVC) test suite.

REFERENCES

• 1: Bose. R.C.. and Shrikhande. S.S. On the construction of sets of mu. tually orthogonal Latin squares and the falsity of a conjecture of Euler. Trans. Am. Math. Sm. 95 (1960). 191-209.
• 2: Bose. R.C., Parker. E.T., and Shrikhande, S.S. Further results on the construction of mutually orthogonal Latin squares and the falsity of Euler's conjecture. Can. 1, Math. 12 (June 1960). 189-203.
• 3: Diamond, W.J. Practical Experimenf Designs for Engineers and Scientists. Lifetime Learning Publications, Belmont, Calif., 1981.
• 4: Fischer, R.A... and Yates. F. Statistical Tables for Biological. Agricultural, and Medical Research. 2nd ed. Oliver and Boyd. London, 1943.
• 5: Hall, M., Ir. Combinatorial Theory. Blaisdell Publishing Co.. Waltham. Mass.. 1967.
• 6: MacNeish, H.F. Euler squares. Ann. Math. 23, 3 (Mar. 1922). 22%X17.
• 7: Parker. E. Construction of scnne sets of mutually orthogonal Latin squares. Proc. Am. Math. SK. IO, 6 (Dec. 1959). 946-949.
• 8: Winer, B.J. Statistical Principles in Experimental Design. 2nd ed. McGraw-Hill. New York. 1971.

INDEX TERMS

Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Validation

General Terms:
Algorithms, Design, Experimentation, Reliability, Verification