Show simple item record

AuthorDiallo, Nafi
AuthorGhardallou, Wided
AuthorDesharnais, Jules
AuthorFrias, Marcelo
AuthorJaoua, Ali
AuthorMili, Ali
Available date2020-12-02T07:03:51Z
Publication Date2017
Publication NameInnovations in Systems and Software Engineering
ResourceScopus
ISSN16145046
URIhttp://dx.doi.org/10.1007/s11334-017-0300-7
URIhttp://hdl.handle.net/10576/17145
AbstractFaults 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. 2017, Springer-Verlag London Ltd.
Languageen
PublisherSpringer London
SubjectAbsolute correctness
Correctness
Fault density
Fault depth
Fault removal
Partial correctness
Relative correctness
Software design
Software fault
Software repair
Software testing
Total correctness
TitleWhat is a fault? and why does it matter?
TypeArticle
Pagination219-239
Issue Number3-Feb
Volume Number13
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record