Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

Starting out from the survey of instruction sequence faults from [6] program faults are classified according to the conventional criteria of being dormant, effective, detected, temporary, and permanent. Being retrospectively approved is introduced as an additional qualification. For this theoretical...

Full description

Bibliographic Details
Main Author: Jan A. Bergstra
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2021-08-01
Series:Scientific Annals of Computer Science
Subjects:
Online Access:https://www.info.uaic.ro/en/sacs_articles/qualifications-of-instruction-sequence-failures-faults-and-defects-dormant-effective-detected-temporary-and-permanent/