Direct equivalence testing of embedded software

Update Item Information
Title Direct equivalence testing of embedded software
Publication Type thesis
School or College College of Engineering
Department Computing
Author Pagariya, Rohit
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 application/pdf
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
ID 194287
Reference URL https://collections.lib.utah.edu/ark:/87278/s62n5h0s
Back to Search Results