Petke, J;
Clark, D;
Langdon, WB;
(2021)
Software robustness: A survey, a theory, and prospects.
In:
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
(pp. pp. 1475-1478).
Association for Computing Machinery (ACM): New York, NY, USA.
Preview |
Text
FSE-IVR-2021.pdf - Accepted Version Download (598kB) | Preview |
Abstract
If a software execution is disrupted, witnessing the execution at a later point may see evidence of the disruption or not. If not, we say the disruption failed to propagate. One name for this phenomenon is software robustness but it appears in different contexts in software engineering with different names. Contexts include testing, security, reliability, and automated code improvement or repair. Names include coincidental correctness, correctness attraction, transient error reliability. As witnessed, it is a dynamic phenomenon but any explanation with predictive power must necessarily take a static view. As a dynamic/static phenomenon it is convenient to take a statistical view of it which we do by way of information theory. We theorise that for failed disruption propagation to occur, a necessary condition is that the code region where the disruption occurs is composed with or succeeded by a subsequent code region that suffers entropy loss over all executions. The higher is the entropy loss, the higher the likelihood that disruption in the first region fails to propagate to the downstream observation point. We survey different research silos that address this phenomenon and explain how the theory might be exploited in software engineering.
| Type: | Proceedings paper |
|---|---|
| Title: | Software robustness: A survey, a theory, and prospects |
| Event: | ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
| ISBN-13: | 9781450385626 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1145/3468264.3473133 |
| Publisher version: | https://doi.org/10.1145/3468264.3473133 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10136847 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
