Publication Type |
poster |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John; Pagariya, Rohit Pannalalji |
Title |
Direct equivalence testing |
Description |
Testing embedded software is difficult. • Further complicated by presence of memory and type safety errors in software. • Compiler contain various known bugs. Developers are skeptical to upgrade the compilers. • Is your embedded software affected by memory safety and compilation errors? Direct Equivalence Testing can detect any error - compiler or application - that results in different values being stored to memory (RAM). • Types of errors detected are: • Compiler Errors: ? Correctness errors ? Volatile qualifier related errors • Programming errors: ? Out of bounds accesses ? Stack overflow ? Use of uninitialized variables • Portability errors |
Type |
Text; Image |
Publisher |
University of Utah |
Language |
eng |
Bibliographic Citation |
Regehr, J., & Pagariya, R. P. (2010). Direct equivalence testing. University of Utah. |
Rights Management |
(c) Rohit Pagariya, John Regehr |
Format Medium |
application/pdf |
Format Extent |
697,265 bytes bytes |
Identifier |
ir-main/14950 |
ARK |
ark:/87278/s66w9vsd |
Setname |
ir_uspace |
ID |
707746 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s66w9vsd |