A Semantic Definition of Faults and Its Implications

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages14-21
Number of pages8
ISBN (Electronic)9781728189130
DOIs
StatePublished - Dec 2020
Event20th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2020 - Macau, China
Duration: Dec 11 2020Dec 14 2020

Publication series

NameProceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020

Conference

Conference20th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2020
CountryChina
CityMacau
Period12/11/2012/14/20

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Networks and Communications
  • Safety, Risk, Reliability and Quality
  • Modeling and Simulation
  • Software

Keywords

  • elementary fault
  • error
  • failure
  • fault
  • fault density
  • fault depth
  • fault mutiplicity
  • fault removal

Fingerprint Dive into the research topics of 'A Semantic Definition of Faults and Its Implications'. Together they form a unique fingerprint.

Cite this