Abstract
We describe a test development method, named OTK1, that is aimed at optimizing compiler testing. The OTK method is based on constructing a model of optimizer's input data. The method allows developing tests targeted to testing a chosen optimizer. A formal data model is constructed on the basis of an abstract informal description of an algorithm of the optimizer under test. In the paper, we consider in detail the process of analyzing an optimization algorithm and building a formal model. We also consider in outline the other part of the method, test selection and test running. The OTK method has been successfully applied in several case studies, including test development for several different optimizing compilers for modern architectures. © IFIP- International Federation for Information Processing 2007.
Author supplied keywords
Cite
CITATION STYLE
Zelenov, S., & Zelenova, S. (2007). Model-based testing of optimizing compilers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4581 LNCS, pp. 365–377). Springer Verlag. https://doi.org/10.1007/978-3-540-73066-8_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
