A Semantic Definition of Faults and Its Implications

Document Type

Conference Proceeding

Publication Date

12-1-2020

Abstract

Given that faults are the focus of much software quality assurance (fault avoidance, fault removal, fault tolerance, fault prediction/ forecasting), we argue that a formal definition of faults ought to help us enhance the state of the art in this field. In this paper we consider a formal semantic definition of faults, and explore the insights that this definition gives us, and how these insights can be used in practice. Some of these insights are counter-intuitive, which makes them all the more interesting/useful.

Identifier

85099299994 (Scopus)

ISBN

[9781728189130]

Publication Title

Proceedings 2020 IEEE 20th International Conference on Software Quality Reliability and Security Qrs 2020

External Full Text Location

https://doi.org/10.1109/QRS51102.2020.00015

First Page

14

Last Page

21

Grant

DGE1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS