An empirical comparison of software fault tolerance and fault elimination
Shimeall, Tomothy J.
MetadataShow full item record
Reliability is an important concern in the development of software for modern systems. Some researchers have hypothesized that particular fault-handling approaches or techniques are so effective that other approaches or techniques are superfluous. The authors have performed a study that compares two major approaches to the improvement of software, software fault elimination and software fault tolerance, by examination of the fault detection obtained by five techniques: run-time assertions, multi-version voting, functional testing augmented by structural testing, code reading by stepwise abstraction, and static data-flow analysis. This study has focused on characterizing the sets of faults detected by the techniques and on characterizing the relationships between these sets of faults. The results of the study show that none of the techniques studied is necessarily redundant to any combination of the others. Further results reveal strengths and weakness in the fault detection by the techniques studied and suggest directions for future research
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-52-89-047
Showing items related by title, author, creator and subject.
Unknown author (Monterey, California. Naval Postgraduate SchoolCenter for Homeland Defense and Security, 2011-12);December 2011. The articles published in December 2011 look at the future of homeland security and suggest a new method for assessing past effectiveness. Rapid advances in technology have created a highly disruptive ...
Anderson, James A. (Monterey, California. Naval Postgraduate School, 2000-06);Electro-optic techniques for analog-to-digital conversion (ADC) are being developed for wideband signal collection and analysis. They have the capability of being used for direct signal reception and ADC at an antenna. A ...
Scacchi, Walt; Alspaugh, Thomas A. (Monterey, California. Naval Postgraduate School, 2017-03); SYM-AM-17-062Our interest is to stimulate the development of innovative approaches to continuously assuring the cybersecurity of open architecture (OA) software systems. We focus on exploring the potential for using blockchains and ...