A Survey of Testing for Instruction Sequence Theory

Scientific Annals of Computer Science

article

J.A. Bergstra¹ 

[1] Informatics Institute, University of Amsterdam, Science Park 904

关键词: program algebra;    instruction sequence;    service;    test;    bug;    specification;    fault;   

DOI  :  10.7561/SACS.2022.1.5

来源: 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.

【 授权许可】

CC BY-ND