[ main page ] [ back ]

2010 : Automatic Coverage-Profile Calculation for Code Optimization

Author(s)
Walter Haas
Abstract
For software testing or measurement based timing analysis it is often required to achieve a particular structural code-coverage criteria. It is beneficial to derive the test-data at a higher-level representation of the tested program, like source code for instance. During generation of machine code modern compilers apply optimizations to make best use of the target computer platform, for example, parallel execution or memory hierarchies. But these optimizations can destroy the structural code-coverage being achieved in the higher-level representation of the program. A possibility to face this problem is to investigate in advance whether optimizing code transformations preserve a structural code-coverage of interest or not, and to summarize this information in a coverage profile for each transformation. A collection of such profiles can then be used to adjust a compiler to apply only those optimizations that preserve the intended structural code coverage or to emit warnings, whenever a code transformation does not ensure the preservation of a given structural code coverage. This thesis develops a system for automatic analysis of code-transformations with respect to preservation of structural code coverage. The analysis is based on an existing formal coverage preservation theory. The first part of this work establishes a formal description of code-transformations. In the second part, the formalism is transposed to a mathematical software system for automatic analysis of code transformations with respect to their ability for preserving certain kinds of code coverage, and to generate a coverage profile. Finally, a certain number of code optimizations are provided in the third part to demonstrate the feasibility of the approach.
Bibtex
@mastersthesis{ haas:2010,
  author =      "Walter Haas",
  title =       "Automatic Coverage-Profile Calculation for Code Optimization",
  address =     "Treitlstr. 3/3/182-1, 1040 Vienna, Austria",
  school =      "Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik",
  year =        "2010"
}
Download
Get Thesis_CodeCoverageAnalysis_final.pdf - Adobe PDF-format, (1745.9980 KB; posted at July 09 2013)


[ main page ] [ back ]