Design & analysis of fault tolerant digital systems
Design & analysis of fault tolerant digital systems
Safeware: system safety and computers
Safeware: system safety and computers
Programmers use slices when debugging
Communications of the ACM
Predicting How Badly "Good" Software Can Behave
IEEE Software
The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Using fault injection to increase software test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Hi-index | 0.00 |
We have investigated a fault injection-based tech- nique for undermining the ability of software compo- nents to produce undesirable outputs into the state of the system. Undesirable outputs are any class of out- puts that a component must not release into the state of the system given its current environment. Software components are said to be \failure-tolerant" if they release desirable outputs regardless of the program- mer faults, potential malicious input data directed against the component, and other non-malicious but corrupted input data. Our technology assesses the failure tolerance of software components after simu- lated program state corruptions are injected into the components as they execute. Based on the types of outputs that result from fault injection, our technique knows where "recovery assertions" (which act some- what like antibodies do in an organism) should be in- jected into software components to ensure desirable system outputs; the second part of our approach then suggests what the assertions should be.