{"title":"Four Notions of Fault for Program Specifications","authors":"J. Bergstra","doi":"10.7561/SACS.2022.2.183","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Sci. Ann. Comput. Sci.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.7561/SACS.2022.2.183","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
