Direct equivalence testing

Download item | Update item information
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
Date Created 2012-07-30
Date Modified 2013-10-01
ID 707746
Reference URL https://collections.lib.utah.edu/ark:/87278/s66w9vsd
Back to Search Results