Abstract
When software fault injection is used, faults aretypically inserted at the binary or source level. The former isfast but provides poor fault accuracy while the latter cannotscale to large code bases because the program must be rebuiltfor each experiment. Alternatives that avoid rebuilding incurlarge run-time overheads by applying fault injection decisionsat run-time. HSFI, our new design, injects faults with all contextinformation from the source level and applies fault injectiondecisions efficiently on the binary. It places markers in theoriginal code that can be recognized after code generation. Weimplemented a tool according to the new design and evaluated thetime taken per fault injection experiment when using operatingsystems as targets. We can perform experiments more quicklythan other source-based approaches, achieving performance thatcome close to that of binary-level fault injection while retainingthe benefits of source-level fault injection.
Original language | English |
---|---|
Title of host publication | Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 |
Publisher | Institute of Electrical and Electronics Engineers, Inc. |
Pages | 144-155 |
Number of pages | 12 |
ISBN (Electronic) | 9781467388917 |
DOIs | |
Publication status | Published - 29 Sept 2016 |
Event | 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 - Toulouse, France Duration: 28 Jun 2016 → 1 Jul 2016 |
Conference
Conference | 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 |
---|---|
Country/Territory | France |
City | Toulouse |
Period | 28/06/16 → 1/07/16 |
Keywords
- Fault injection
- Llvm
- Reliability
- Software mutation