Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation

Benjamin Danglot 1 Philippe Preux 2 Benoit Baudry 3 Martin Monperrus 1, 4
1 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 SEQUEL - Sequential Learning
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe, LAGIS - Laboratoire d'Automatique, Génie Informatique et Signal
3 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Rapport
[Research Report] hal-01378523, HAL. 2016
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01378523
Contributeur : Martin Monperrus <>
Soumis le : mardi 30 mai 2017 - 10:17:19
Dernière modification le : mercredi 2 août 2017 - 10:10:56
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 12:06:00

Fichier

correctness-attraction.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01378523, version 2
  • ARXIV : 1611.09187

Citation

Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus. Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation. [Research Report] hal-01378523, HAL. 2016. 〈hal-01378523v2〉

Partager

Métriques

Consultations de
la notice

180

Téléchargements du document

62