Dynamic analysis of shared execution in software product line testing
Author: 
Bo WangAuthors Info & Claims
Bo WangAuthors Info & ClaimsPages 340 - 341
Abstract
Software product line (SPL), a family-based software development process, has proven to be a more effective technology than single software systems. Testing SPL products individually is redundant for product lines testing. Meanwhile, the complexity of systematically testing SPL programs is combinatorial, which limits the scalability of testing SPL.
In this paper, I will introduce the idea of accelerating SPL testing by dynamic analysis. I intend to investigate a dynamic analysis of SPL testing, which analyzes all variants during the execution of a SPL, and forks the execution only a variant leads to a different state. In addition, to get the preliminary result, we can encode a family of variants into a single program to simulate a realization of SPL testing. The experimental result collected on the mutated C program, printtokens in Software-artifact Infrastructure Repository, shows our approach can accelerate the SPL testing with a speedup up to 4.83X than testing each variants at a time and pruning 87% of the variants.
References
[1]
D. Conners and W.-m. W. Hwu. Compiler-directed dynamic computation reuse: rationale and initial results. In MICRO, pages 158--169, 1999.
[2]
X. Devroey, G. Perrouin, M. Cordy, M. Papadakis, A. Legay, and P.-Y. Schobbens. A variability perspective of mutation analysis. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 841--844. ACM, 2014.
[3]
X. Devroey, G. Perrouin, M. Papadakis, A. Legay, P.-Y. Schobbens, and P. Heymans. Featured model-based mutation analysis. In Proceedings of the 38th International Conference on Software Engineering, pages 655--666. ACM, 2016.
[4]
M. A. Hammer, U. A. Acar, and Y. Chen. Ceal: a c-based language for self-adjusting computation. In PLDI, pages 25--37. ACM, 2009.
[5]
R. Just, M. D. Ernst, and G. Fraser. Efficient mutation analysis by propagating and partitioning infected execution states. In Proceedings of the 2014 International Symposium on Software Testing and Analysis, pages 315--326. ACM, 2014.
[6]
C. H. P. Kim, D. Marinov, S. Khurshid, D. Batory, S. Souto, P. Barros, and M. D'Amorim. Splat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems. In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pages 257--267, New York, NY, USA, 2013. ACM.
[7]
J. Meinicke. Varexj: A variability-aware interpreter for java applications, 2014.
[8]
R. H. Untch, A. J. Offutt, and M. J. Harrold. Mutation analysis using mutant schemata. In ACM SIGSOFT Software Engineering Notes, volume 18, pages 139--148. ACM, 1993.
Recommendations
A survey on software product line testing
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 1Software product line (SPL) testing consists of two separate but closely related test engineering activities: domain testing and application testing. Various software product line testing approaches have been developed over the last decade, and surveys ...
Statistical prioritization for software product line testing: an experience report
Software product lines (SPLs) are families of software systems sharing common assets and exhibiting variabilities specific to each product member of the family. Commonalities and variabilities are often represented as features organized in a feature ...
Regression Test Selection and Product Line System Testing
ICST '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification and ValidationContext: Software product lines (SPL) are used in industry to achieve more efficient software development. To test a SPL is complex and costly and often becomes a bottleneck in the product line organization. Objective: This research aims to develop and ...
Comments
Information & Contributors
Information
Published In
Copyright © 2016 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- Huawei Technologies Co. Ltd.: Huawei Technologies Co. Ltd.
- Key Laboratory of High Confidence Software Technologies: Key Laboratory of High Confidence Software Technologies, Ministry of Education
- DC Holdings: Digital China Holdings Limited
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 16 September 2016
Check for updates
Author Tags
Qualifiers
- Short-paper
Conference
SPLC '16
Sponsor:
- Huawei Technologies Co. Ltd.
- Key Laboratory of High Confidence Software Technologies
- DC Holdings
SPLC '16: The 20th International Systems and Software Product Line Conference
September 16 - 23, 2016
Beijing, China
Acceptance Rates
Overall Acceptance Rate 167 of 463 submissions, 36%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 91Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in