DSpot: Test Amplification for Automatic Assessment of Computational Diversity
作者： Martin Monperrus , Benoit Baudry , Simon Allier , Marcelino Rodriguez-Cancio
DOI:
关键词:
摘要: In this work, we characterize a new form of software diver- sity: the existence set variants that (i) all share same API, (ii) behave according to an input- output based specification and (iii) exhibit observable dif- ferences when they run outside specified input space. We quantify computational diversity as dissimilarity be- tween execution traces on inputs are speci- fied domain. Our technique relies test amplification. propose source code transformations cases explore domain systematically sense observation our experiments 472 7 classes from open-source, large thoroughly tested Java classes. amplification multiplies by ten number points in suite is effective at detecting diversity.
arxiv.org
harvard.edu
archives-ouvertes.fr
monperrus.net参考文章(27)
John C. Knight, N-Version Programming Encyclopedia of Software Engineering. ,(2002) , 10.1002/0471028959.SOF219
Debin Gao, Michael K. Reiter, Dawn Song, BinHunt: Automatically Finding Semantic Differences in Binary Programs international conference on information and communication security. pp. 238- 255 ,(2008) , 10.1007/978-3-540-88625-9_16
Y. Deswarte, K. Kanoun, J.-C. Laprie, Diversity against accidental and deliberate faults Computational Statistics & Data Analysis. pp. 171- 181 ,(1998) , 10.1109/CSDA.1998.798364
Eric Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, Stephanie Forrest, Software mutational robustness Genetic Programming and Evolvable Machines. ,vol. 15, pp. 281- 312 ,(2014) , 10.1007/S10710-013-9195-8
Yoshiki Higo, Shinji Kusumoto, How should we measure functional sameness from program source code? an exploratory study on Java methods foundations of software engineering. pp. 294- 305 ,(2014) , 10.1145/2635868.2635886
Benoit Baudry, Simon Allier, Martin Monperrus, Tailored source code transformations to synthesize computationally diverse program variants Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014. pp. 149- 159 ,(2014) , 10.1145/2610384.2610415
Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhan Clarke, DIVERSIFY: Ecology-inspired software evolution for diversity emergence 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE). pp. 395- 398 ,(2014) , 10.1109/CSMR-WCRE.2014.6747203
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, A Hybrid Directed Test Suite Augmentation Technique international symposium on software reliability engineering. pp. 150- 159 ,(2011) , 10.1109/ISSRE.2011.21
Mauro Pezze, Konstantin Rubinov, Jochen Wuttke, Generating Effective Integration Test Cases from Unit Ones international conference on software testing verification and validation. pp. 11- 20 ,(2013) , 10.1109/ICST.2013.37
Suzette Person, Matthew B. Dwyer, Sebastian Elbaum, Corina S. Pǎsǎreanu, Differential symbolic execution Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16. pp. 226- 237 ,(2008) , 10.1145/1453101.1453131