A Survey of Testing for Instruction Sequence Theory
-
Published:2022-06-22
Issue:1
Volume:XXXII
Page:5-86
-
ISSN:1843-8121
-
Container-title:Scientific Annals of Computer Science
-
language:
-
Short-container-title:SACS
Abstract
Using the conceptual analysis of instruction sequence faults, failures, and defects as developed by the author in [10] and [12], a survey of testing is developed as an extension of a theory of instruction sequences. An attempt is made to develop a consistent terminology regarding instruction sequence testing while taking into account the literature on software testing at large.
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science