Ivannikov Institute for System Programming of the RAS

Model-Based Testing of Optimizing Compilers.


S.Zelenov, S.Zelenova.


We describe a test development method, named OTK, 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.

Full text of the paper in pdf


model based testing, compiler testing, formalization of requirements, formal data model, test data generation.


Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007), LNCS 4581, Springer-Verlag, Berlin, 2007, 365-377.

DOI: 10.1007/978-3-540-73066-8_25

Research Group

Software Engineering

All publications during 2007 All publications