Specifying reliability as a software attribute
Gespeichert in:
| Titel: | Specifying reliability as a software attribute |
|---|---|
| Autoren: | Ivor Durham, Mary Shaw |
| Publikationsjahr: | 2018 |
| Bestand: | KiltHub Research from Carnegie Mellon University |
| Schlagwörter: | Other information and computing sciences not elsewhere classified, Computer programs Reliability, Information and Computing Sciences not elsewhere classified |
| Beschreibung: | This paper examines some issues in specifying reliability as a software attribute. A scheme for characterizing software reliability, known as a failure profile, is introduced. Failure profiles are derived for particular implementations of an abstraction by identifying analytically the behavior of the module when software or hardware faults occur. A failure profile is developed for a sorting program to demonstrate an informal technique for identifying the consequences of faults. The derived failure profile is compared with observations of the program's behavior in the presence of artificially induced faults to demonstrate the effectiveness of the failure profile characterization of software reliability. The issues raised in the application of the informal technique are discussed with respect to developing a formal and more mechanical technique for producing and using failure profiles. |
| Publikationsart: | article in journal/newspaper |
| Sprache: | unknown |
| Relation: | https://figshare.com/articles/journal_contribution/Specifying_reliability_as_a_software_attribute/6609791 |
| DOI: | 10.1184/r1/6609791.v1 |
| Verfügbarkeit: | https://doi.org/10.1184/r1/6609791.v1 https://figshare.com/articles/journal_contribution/Specifying_reliability_as_a_software_attribute/6609791 |
| Rights: | In Copyright |
| Dokumentencode: | edsbas.170ECEBA |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | This paper examines some issues in specifying reliability as a software attribute. A scheme for characterizing software reliability, known as a failure profile, is introduced. Failure profiles are derived for particular implementations of an abstraction by identifying analytically the behavior of the module when software or hardware faults occur. A failure profile is developed for a sorting program to demonstrate an informal technique for identifying the consequences of faults. The derived failure profile is compared with observations of the program's behavior in the presence of artificially induced faults to demonstrate the effectiveness of the failure profile characterization of software reliability. The issues raised in the application of the informal technique are discussed with respect to developing a formal and more mechanical technique for producing and using failure profiles. |
|---|---|
| DOI: | 10.1184/r1/6609791.v1 |