Abstract
Faults are an important concept in the study of system dependability, and most approaches to dependability can be characterized by the way in which they deal with faults (e.g., fault avoidance, fault removal, fault tolerance, fault forecasting). In their seminal work on modeling dependable computing, Laprie et al. define a fault as the adjudged or hypothesized cause of an error. In this paper, we propose a more formal definition of a fault in the context of software products and discuss some of its implications.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 219-239 |
| Number of pages | 21 |
| Journal | Innovations in Systems and Software Engineering |
| Volume | 13 |
| Issue number | 2-3 |
| DOIs | |
| State | Published - Sep 1 2017 |
All Science Journal Classification (ASJC) codes
- Software
Keywords
- Absolute correctness
- Correctness
- Fault density
- Fault depth
- Fault removal
- Partial correctness
- Relative correctness
- Software design
- Software fault
- Software repair
- Software testing
- Total correctness