DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Benoit Baudry 1 Simon Allier 1 Marcelino Rodriguez-Cancio 1 Martin Monperrus 2
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 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 (CRIStAL) - UMR 9189
Abstract : In this work, we characterize a new form of software diver- sity: the existence of a set of variants that (i) all share the same API, (ii) all behave the same according to an input- output based specification and (iii) exhibit observable dif- ferences when they run outside the specified input space. We quantify computational diversity as the dissimilarity be- tween execution traces on inputs that are outside the speci- fied domain. Our technique relies on test amplification. We propose source code transformations on test cases to explore the input domain and systematically sense the observation domain. We run our experiments on 472 variants of 7 classes from open-source, large and thoroughly tested Java classes. Our test amplification multiplies by ten the number of input points in the test suite and is effective at detecting software diversity.
Type de document :
Pré-publication, Document de travail
11 pages. 2015
Liste complète des métadonnées

Contributeur : Martin Monperrus <>
Soumis le : mardi 9 juin 2015 - 20:14:53
Dernière modification le : jeudi 21 mars 2019 - 14:50:32

Lien texte intégral


  • HAL Id : hal-01162219, version 1
  • ARXIV : 1503.05807


Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus. DSpot: Test Amplification for Automatic Assessment of Computational Diversity. 11 pages. 2015. 〈hal-01162219〉



Consultations de la notice