Software Analysis for Transient Faults: A Review of Recent Methods

guochang zhou,baolong guo,xiang gao,weikang ning,yunyi yan
DOI: https://doi.org/10.1007/978-3-319-07773-4_57
2014-01-01
Abstract:Transient faults in a computer system could influence the behavior of the software and pose a big threat to the dependability of the system. So a variety of software analysis methods are invented to characterize the property of the program in the face of transient faults and yield a lot of instructive information that could be utilized to improve the dependability of the software. In this paper, we first summarize some typical software analysis methods that are related to transient faults and introduce each method briefly. Then we make a comment on them and recommend some prospective methods.
What problem does this paper attempt to address?