Instruction Sequence Faults with Formal Change Justification

Scientific Annals of Computer Science

article

J.A. Bergstra¹ 

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

关键词: instruction sequence;    program fault;    fault pattern;    Laski fault;    MFJ fault;    change justification;    software process flaw;   

DOI  :  10.7561/SACS.2020.2.105

来源: Alexandru Ioan Cuza University of Iasi

【 摘 要 】

The notion of an instruction sequence fault is considered as a theoretical concept, for which the justification of the qualification of a fragment as faulty is mathematical instead of pragmatic, the latter approach being much more common. Starting from so-called Laski faults a range of patterns of faults and changes thereof for instruction sequences is developed.

【 授权许可】

CC BY-ND