Four Notions of Fault for Program Specifications

Scientific Annals of Computer Science

article

J. A. Bergstra¹ 

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

关键词: technical specification;    requirements specification;    Laski fault;    MFJ fault.;   

DOI  :  10.7561/SACS.2022.2.183

来源: Alexandru Ioan Cuza University of Iasi

【 摘 要 】

Four notions of fault are proposed for program specifications each inspired by notions of fault for programs: symptomatic failure resolution fault, Laski fault, MFJ fault and regression test justification of change fault (RTJoC fault). Examples are provided in terms of the PGA style theory of instruction sequences. Each of the notions of fault is based on the contrast between technical specification and requirements specification. The latter contrast is discussed in detail.

【 授权许可】

CC BY-ND