文章基本信息

标题：A Survey of Testing for Instruction Sequence Theory
本地全文：下载
作者：Jan A. Bergstra
期刊名称：Scientific Annals of Computer Science
印刷版ISSN：1843-8121
出版年度：2022
卷号：XXXII
期号：1
页码：5-86
DOI：10.7561/SACS.2022.1.5
语种：English
出版社：Alexandru Ioan Cuza University of Iasi
摘要：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.