Correctness Attraction: A Study of Stability ...
Document type :
Compte-rendu et recension critique d'ouvrage
Title :
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation
Author(s) :
Danglot, Benjamin [Auteur correspondant]
Self-adaptation for distributed services and large software systems [SPIRALS]
Preux, Philippe [Auteur]
Sequential Learning [SEQUEL]
Baudry, Benoit [Auteur]
Diversity-centric Software Engineering [DiverSe]
Monperrus, Martin [Auteur]
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]
Self-adaptation for distributed services and large software systems [SPIRALS]
Preux, Philippe [Auteur]

Sequential Learning [SEQUEL]
Baudry, Benoit [Auteur]
Diversity-centric Software Engineering [DiverSe]
Monperrus, Martin [Auteur]
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]
Journal title :
Empirical Software Engineering
Pages :
2086–2119
Publisher :
Springer Verlag
Publication date :
2018-08
ISSN :
1382-3256
English keyword(s) :
software correctness
empirical study
perturbation analysis
empirical study
perturbation analysis
HAL domain(s) :
Informatique [cs]/Génie logiciel [cs.SE]
English abstract : [en]
Can the execution of a software be perturbed without breaking the correctness of the output? In this paper, we devise a novel protocol to answer this rarely investigated question. In an experimental study, we observe that ...
Show more >Can the execution of a software be perturbed without breaking the correctness of the output? In this paper, we devise a novel protocol to answer this rarely investigated question. In an experimental study, we observe that many perturbations do not break the correctness in ten subject programs. We call this phenomenon ``correctness attraction''. The uniqueness of this protocol is that it considers a systematic exploration of the perturbation space as well as perfect oracles to determine the correctness of the output. To this extent, our findings on the stability of software under execution perturbations have a level of validity that has never been reported before in the scarce related work. A qualitative manual analysis enables us to set up the first taxonomy ever of the reasons behind correctness attraction.Show less >
Show more >Can the execution of a software be perturbed without breaking the correctness of the output? In this paper, we devise a novel protocol to answer this rarely investigated question. In an experimental study, we observe that many perturbations do not break the correctness in ten subject programs. We call this phenomenon ``correctness attraction''. The uniqueness of this protocol is that it considers a systematic exploration of the perturbation space as well as perfect oracles to determine the correctness of the output. To this extent, our findings on the stability of software under execution perturbations have a level of validity that has never been reported before in the scarce related work. A qualitative manual analysis enables us to set up the first taxonomy ever of the reasons behind correctness attraction.Show less >
Language :
Anglais
Popular science :
Non
Collections :
Source :
Files
- https://hal.archives-ouvertes.fr/hal-01378523v3/document
- Open access
- Access the document
- http://arxiv.org/pdf/1611.09187
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01378523v3/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01378523v3/document
- Open access
- Access the document
- document
- Open access
- Access the document
- article.pdf
- Open access
- Access the document
- 1611.09187
- Open access
- Access the document