Direct equivalence testing of embedded software

Update item information
Publication Type thesis
School or College College of Engineering
Department School of Computing
Author Pagariya, Rohit
Title Direct equivalence testing of embedded software
Date 2011-08
Description Direct equivalence testing is a framework for detecting errors in C compilers and application programs that exploits the fact that program semantics should be preserved during the compilation process. Binaries generated from the same piece of code should remain equivalent irrespective of the compiler, or compiler optimizations, used. Compiler errors as well as program errors such as out of bounds memory access, stack over ow, and use of uninitialized local variables cause nonequivalence in the generated binaries. Direct equivalence testing has detected previously unknown errors in real world embedded software like TinyOS and in di fferent compilers like msp430-gcc and llvm-msp430.
Type Text
Publisher University of Utah
Subject Compiler testing; Embedded software; Equivalence testing; Verification
Dissertation Institution University of Utah
Dissertation Name Master of Science
Language eng
Rights Management Copyright © Rohit Pagariya 2011
Format Medium application/pdf
Format Extent 383,358 bytes
Identifier us-etd3,55566
Source Original housed in Marriott Library Special Collections, QA3.5 2011 .P23
ARK ark:/87278/s62n5h0s
Setname ir_etd
Date Created 2012-04-24
Date Modified 2017-12-11
ID 194287
Reference URL https://collections.lib.utah.edu/ark:/87278/s62n5h0s