Four Notions of Fault for Program Specifications
| Authors | |
|---|---|
| Publication date | 2022 |
| Journal | Scientific Annals of Computer Science |
| Volume | Issue number | 32 | 2 |
| Pages (from-to) | 183-209 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.7561/SACS.2022.2.183 |
| Downloads |
XXXII2_1-1
(Final published version)
|
| Permalink to this page | |
