DSpot: Test Amplification for Automatic Assessment of Computational Diversity - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2015

DSpot: Test Amplification for Automatic Assessment of Computational Diversity

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.

Dates and versions

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

Identifiers

Cite

Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus. DSpot: Test Amplification for Automatic Assessment of Computational Diversity. 2015. ⟨hal-01162219⟩
251 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More