DSpot: Test Amplification for Automatic Assessment of Computational Diversity - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2015

DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Résumé

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.

Dates et versions

hal-01162219 , version 1 (09-06-2015)

Identifiants

Citer

Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus. DSpot: Test Amplification for Automatic Assessment of Computational Diversity. 2015. ⟨hal-01162219⟩
271 Consultations
0 Téléchargements

Altmetric

Partager

More