skip to main content
10.1145/3023956.3023961acmotherconferencesArticle/Chapter ViewAbstractPublication PagesvamosConference Proceedingsconference-collections
research-article

Optimizing product orders using graph algorithms for improving incremental product-line analysis

Published: 01 February 2017 Publication History

Abstract

The individual analysis of each product of a software product line (SPL) leads to redundant analysis steps due to the inherent commonality. Therefore, incremental SPL analyses exploit commonalities and focus on the differences between products to reduce the analysis effort. However, existing techniques are influenced by the order in which products are analyzed. The more similar subsequently analyzed products are, the greater is the potential reduction of the overall analysis effort as similar products imply less differences to be analyzed. Hence, an order of products, where the total number of differences is minimized, facilitates incremental SPL analyses. In this paper, we apply graph algorithms to determine optimized product orders. We capture products as nodes in a graph, where solution-space information defines edge weights between product nodes. We adopt existing heuristics for finding an optimal solution of the traveling salesperson problem to determine a path in the product graph with minimal costs. A path represents an optimized product order w.r.t. minimized differences between all products. We realize a prototype of our approach and evaluate its applicability and performance showing a significant optimization compared to standard and random orders.

References

[1]
M. Al-Hajjaji, S. Krieter, T. Thüm, M. Lochau, and G. Saake. IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling. In GPCE'16, pages 144--155. ACM, 2016.
[2]
M. Al-Hajjaji, J. Meinicke, S. Krieter, R. Schröter, T. Thüm, T. Leich, and G. Saake. Tool Demo: Testing Configurable Systems with FeatureIDE. In GPCE'16, pages 173--177. ACM, 2016.
[3]
M. Al-Hajjaji, T. Thüm, M. Lochau, J. Meinicke, and G. Saake. Effective Product-Line Testing Using Similarity-Based Product Prioritization. Software and System Modeling, 2016. (To appear).
[4]
D. L. Applegate, R. E. Bixby, V. Chvatal, and W. J. Cook. The Traveling Salesman Problem: A Computational Study. Princeton university press, 2011.
[5]
H. Baller, S. Lity, M. Lochau, and I. Schaefer. Multi-Objective Test Suite Optimization for Incremental Product Family Testing. In ICST'14, pages 303--312, 2014.
[6]
D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract Delta Modelling. Math. Struct. Comp. Sci., 25(3):482--527, 2015.
[7]
A. Classen. Modelling with FTS: A Collection of Illustrative Examples. Technical Report P-CS-TR SPLMC-00000001, PReCISE Research Center, Univ. of Namur, 2010.
[8]
W. J. Cook. In Pursuit of the Traveling Salesman: Mathematics at the Limits of Computation. Princeton University Press, 2014.
[9]
M. Cordy, P.-Y. Schobbens, P. Heymans, and A. Legay. Towards an Incremental Automata-Based Approach for Software Product-Line Model Checking. In SPLC'12, pages 74--81. ACM, 2012.
[10]
X. Devroey, G. Perrouin, M. Cordy, P.-Y. Schobbens, A. Legay, and P. Heymans. Towards Statistical Prioritization for Software Product Lines Testing. In VaMoS'14, pages 10:1--10:7. ACM, 2014.
[11]
X. Devroey, G. Perrouin, A. Legay, P.-Y. Schobbens, and P. Heymans. Search-Based Similarity-Driven Behavioural SPL Testing. In VaMoS'16, pages 89--96. ACM, 2016.
[12]
C. Dietrich, R. Tartler, W. Schröder-Preikschat, and D. Lohmann. Understanding Linux Feature Distribution. In MISS'12, pages 15--20. ACM, 2012.
[13]
A. Ensan, E. Bagheri, M. Asadi, D. Gasevic, and Y. Biletskiy. Goal-Oriented Test Case Selection and Prioritization for Product Line Feature Models. In ITNG'11, pages 291--298. IEEE, 2011.
[14]
J. Greenyer, C. Brenner, M. Cordy, P. Heymans, and E. Gressi. Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. In ESEC/FSE'13, pages 433--443. ACM, 2013.
[15]
C. Henard, M. Papadakis, G. Perrouin, J. Klein, P. Heymans, and Y. L. Le Traon. Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines. IEEE Trans. Soft. Eng., 40(7):650--670, 2014.
[16]
M. F. Johansen, O. Haugen, and F. Fleurey. An Algorithm for Generating T-Wise Covering Arrays from Large Feature Models. In SPLC '12, pages 46--55. ACM, 2012.
[17]
M. F. Johansen, Ø. Haugen, F. Fleurey, A. G. Eldegard, and T. Syversen. Generating Better Partial Covering Arrays by Modeling Weights on Sub-Product Lines. In MODELS'12, pages 269--284. Springer, 2012.
[18]
R. Lachmann, S. Lity, F. E. Fürchtegott, M. Al-Hajjaji, and I. Schaefer. Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines. In FOSD'16, pages 1--10. ACM, 2016.
[19]
J. Liebig, S. Apel, C. Lengauer, C. Kästner, and M. Schulze. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines. In ICSE'10, pages 105--114. ACM, 2010.
[20]
S. Lity, H. Baller, and I. Schaefer. Towards Incremental Model Slicing for Delta-Oriented Software Product Lines. In SANER'15, pages 530--534, 2015.
[21]
S. Lity, R. Lachmann, M. Lochau, and I. Schaefer. Delta-Oriented Software Product Line Test Models - The Body Comfort System Case Study. Technical Report 2012--07, Technische Universität Braunschweig, 2012.
[22]
S. Lity, T. Morbach, T. Thüm, and I. Schaefer. Applying Incremental Model Slicing to Product-Line Regression Testing. In ICSR'16, pages 3--19. Springer, 2016.
[23]
M. Lochau, S. Lity, R. Lachmann, I. Schaefer, and U. Goltz. Delta-Oriented Model-Based Integration Testing of Large-Scale Systems. J. Sys. and Soft., 91:63--84, 2014.
[24]
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Incremental Model Checking of Delta-Oriented Software Product Lines . J. Logical and Algebraic Methods in Programming, 85(1, Part 2):245 -- 267, 2016. Formal Methods for Software Product Line Engineering.
[25]
R. E. Lopez-Herrejon, J. Javier Ferrer, F. Chicano, E. N. Haslinger, A. Egyed, and E. Alba. A Parallel Evolutionary Algorithm for Prioritized Pairwise Testing of Software Product Lines. In GECCO'14, pages 1255--1262, 2014.
[26]
S. Oster, M. Zink, M. Lochau, and M. Grechanik. Pairwise Feature-interaction Testing for SPLs: Potentials and Limitations. In SPLC'11, pages 6:1--6:8. ACM, 2011.
[27]
J. A. Parejo, A. B. Sánchez, S. Segura, A. Ruiz-Cortés, R. E. Lopez-Herrejon, and A. Egyed. Multi-Objective Test Case Prioritization in Highly Configurable Systems: A Case Study. J. Sys. and Soft., 122:287--310, 2016.
[28]
K. Pohl, G. Böckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
[29]
G. Reinelt. The Traveling Salesman - Computational Solutions for TSP Applications, volume 840 of LNCS. Springer, 1994.
[30]
A. B. Sánchez, S. Segura, and A. Ruiz-Cortés. A Comparison of Test Case Prioritization Criteria for Software Product Lines. In ICST'14, pages 41--50. IEEE, 2014.
[31]
I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides, G. Botterweck, A. Pathak, S. Trujillo, and K. Villela. Software Diversity: State of the Art and Perspectives. Int. J. Softw. Tools Technol. Transf., 14(5):477--495, 2012.
[32]
T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake. A Classification and Survey of Analysis Strategies for Software Product Lines. Computing Surveys, 47(1):6:1--6:45, 2014.

Cited By

View all
  • (2024)Supervisory Control for Dynamic Feature Configuration in Product LinesACM Transactions on Embedded Computing Systems10.1145/357964423:5(1-25)Online publication date: 14-Aug-2024
  • (2023)A Computation Investigation of the Impact of Convex Hull subtour on the Nearest Neighbour Heuristic2023 International Conference on Science, Engineering and Business for Sustainable Development Goals (SEB-SDG)10.1109/SEB-SDG57117.2023.10124469(1-7)Online publication date: 5-Apr-2023
  • (2023)Test scenario generation for feature-based context-oriented software systemsJournal of Systems and Software10.1016/j.jss.2022.111570197(111570)Online publication date: Mar-2023
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
VaMoS '17: Proceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems
February 2017
114 pages
ISBN:9781450348119
DOI:10.1145/3023956
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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 2017

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. delta-oriented software product lines
  2. graph algorithms
  3. product orders

Qualifiers

  • Research-article

Funding Sources

Conference

VaMoS '17

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)7
  • Downloads (Last 6 weeks)1
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Supervisory Control for Dynamic Feature Configuration in Product LinesACM Transactions on Embedded Computing Systems10.1145/357964423:5(1-25)Online publication date: 14-Aug-2024
  • (2023)A Computation Investigation of the Impact of Convex Hull subtour on the Nearest Neighbour Heuristic2023 International Conference on Science, Engineering and Business for Sustainable Development Goals (SEB-SDG)10.1109/SEB-SDG57117.2023.10124469(1-7)Online publication date: 5-Apr-2023
  • (2023)Test scenario generation for feature-based context-oriented software systemsJournal of Systems and Software10.1016/j.jss.2022.111570197(111570)Online publication date: Mar-2023
  • (2022)Looking For Novelty in Search-Based Software Product Line TestingIEEE Transactions on Software Engineering10.1109/TSE.2021.305785348:7(2317-2338)Online publication date: 1-Jul-2022
  • (2021)Performance Evaluation of Convex Hull Node-Based Heuristics for Solving the Travelling Salesman ProblemProceedings of Sixth International Congress on Information and Communication Technology10.1007/978-981-16-2102-4_60(665-673)Online publication date: 27-Oct-2021
  • (2020)Structurally evolving component-port-connector architectures of centrally controlled systemsProceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3377024.3377035(1-9)Online publication date: 5-Feb-2020
  • (2020)Automating system test case classification and prioritization for use case-driven testing in product linesEmpirical Software Engineering10.1007/s10664-020-09853-425:5(3711-3769)Online publication date: 1-Sep-2020
  • (2019)Towards Efficient Analysis of Variation in Time and SpaceProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342414(57-64)Online publication date: 9-Sep-2019
  • (2018)Similarity analysis of product-line variantsProceedings of the 22nd International Systems and Software Product Line Conference - Volume 110.1145/3233027.3233044(226-235)Online publication date: 10-Sep-2018
  • (2018)A classification of product sampling for software product linesProceedings of the 22nd International Systems and Software Product Line Conference - Volume 110.1145/3233027.3233035(1-13)Online publication date: 10-Sep-2018
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media