
Departmental Papers (CIS)
Date of this Version
11-2010
Document Type
Conference Paper
Recommended Citation
Aditya Kanade, Rajeev Alur, Sriram Rajamani, and Ganesan Ramalingam, "Representation Dependence Testing Using Program Inversion", Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '10) , 277-286. November 2010. http://dx.doi.org/10.1145/1882291.1882332
Abstract
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input is said to have a representation dependence if its behavior differs for logically equivalent input values. In this paper, we present a methodology and tool for automated testing of clients of a data structure for representation dependence. In the proposed methodology, the developer expresses the logical equivalence by writing a normalization program f that maps each concrete representation to a canonical one. Our solution relies on automatically synthesizing the oneto- many inverse function of f: given an input value x, we can generate multiple test inputs logically equivalent to x by executing the inverse with the canonical value f(x) as input repeatedly. We present an inversion algorithm for restricted classes of normalization programs including programs mapping arrays to arrays in a typical iterative manner. We present a prototype implementation of the algorithm, and demonstrate how our methodology reveals bugs due to representation dependence in open source software such as Open Office and Picasa using the widely used image format Tiff. Tiff is a challenging case study for our approach.
Subject Area
CPS Formal Methods
Publication Source
Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '10)
Start Page
277
Last Page
286
DOI
10.1145/1882291.1882332
Copyright/Permission Statement
© ACM 2010. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '10), http://dx.doi.org/10.1145/1882291.1882332.
Date Posted: 11 July 2012