| Publication Type |
thesis |
| School or College |
College of Engineering |
| Department |
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 |
| ID |
194287 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s62n5h0s |
