| Publication Type |
poster |
| School or College |
College of Engineering |
| Department |
Kahlert School of Computing |
| 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 |
| Publisher |
University of Utah |
| Language |
eng |
| Bibliographic Citation |
Regehr, J., & Pagariya, R. P. (2010). Direct equivalence testing. University of Utah. |
| Rights Management |
© 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 |
