T. Pett, S. Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
{"title":"AutoSMP","authors":"T. Pett, S. Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer","doi":"10.1145/3461002.3473073","DOIUrl":"https://doi.org/10.1145/3461002.3473073","url":null,"abstract":"Testing configurable systems is a challenging task due to the combinatorial explosion problem. Sampling is a promising approach to reduce the testing effort for product-based systems by finding a small but still representative subset (i.e., a sample) of all configurations for testing. The quality of a generated sample wrt. evaluation criteria such as run time of sample generation, feature coverage, sample size, and sampling stability depends on the subject systems and the sampling algorithm. Choosing the right sampling algorithm for practical applications is challenging because each sampling algorithm fulfills the evaluation criteria to a different degree. Researchers keep developing new sampling algorithms with improved performance or unique properties to satisfy application-specific requirements. Comparing sampling algorithms is therefore a necessary task for researchers. However, this task needs a lot of effort because of missing accessibility of existing algorithm implementations and benchmarks. Our platform AutoSMP eases practitioners and researchers lifes by automatically executing sampling algorithms on predefined benchmarks and evaluating the sampling results wrt. specific user requirements. In this paper, we introduce the open-source application of AutoSMP and a set of predefined benchmarks as well as a set of T-wise sampling algorithms as examples.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124429231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
David D. Romero, J. Galindo, J. Horcas, David Benavides
{"title":"A first prototype of a new repository for feature model exchange and knowledge sharing","authors":"David D. Romero, J. Galindo, J. Horcas, David Benavides","doi":"10.1145/3461002.3473949","DOIUrl":"https://doi.org/10.1145/3461002.3473949","url":null,"abstract":"Feature models are the \"de facto\" standard for variability modelling and are used in both academia and industry. The MODEVAR initiative tries to establish a common textual feature modelling language that can be used by different communities and can allow information sharing. Feature model related researches use different models for different purposes such as analysis, sampling, testing, debugging, teaching, etc. Those models are shared in private repositories and there is a risk that all that knowledge is spread across different platforms which hinder collaboration and knowledge reuse. In this paper, we propose a first working version of a new feature model repository that allows to centralise the knowledge generated in the community together with advanced capabilities such as DOI generation, an API, analysis reports, among others. Our solution is a front end interface that uses the popular open science repository Zenodo as an end point to materialise the storage of all the information. Zenodo is enhanced with characteristics that facilitate the management of the models. The idea of our repository is to provide existing but also new features that are not present in other repositories (e.g., SPLOT). We propose to populate our repository with all the existing models of many sources including SPLOT.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121390685","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Transfer learning for multiobjective optimization algorithms supporting dynamic software product lines","authors":"Joaquín Ballesteros, L. Fuentes","doi":"10.1145/3461002.3473944","DOIUrl":"https://doi.org/10.1145/3461002.3473944","url":null,"abstract":"Dynamic Software Product Lines (DSPLs) are a well-accepted approach for self-adapting Cyber-Physical Systems (CPSs) at run-time. The DSPL approaches make decisions supported by performance models, which capture system features' contribution to one or more optimization goals. Combining performance models with Multi-Objectives Evolutionary Algorithms (MOEAs) as decision-making mechanisms is common in DSPLs. However, MOEAs algorithms start solving the optimization problem from a randomly selected population, not finding good configurations fast enough after a context change, requiring too many resources so scarce in CPSs. Also, the DSPL engineer must deal with the hardware and software particularities of the target platform in each CPS deployment. And although each system instantiation has to solve a similar optimization problem of the DSPL, it does not take advantage of experiences gained in similar CPS. Transfer learning aims at improving the efficiency of systems by sharing the previously acquired knowledge and applying it to similar systems. In this work, we analyze the benefits of transfer learning in the context of DSPL and MOEAs testing on 8 feature models with synthetic performance models. Results are good enough, showing that transfer learning solutions dominate up to 71% of the non-transfer learning ones for similar DSPL.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126522569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Johann Mortara, Xhevahire Tërnava, P. Collet, A. Pinna-Dery
{"title":"Extending the identification of object-oriented variability implementations using usage relationships","authors":"Johann Mortara, Xhevahire Tërnava, P. Collet, A. Pinna-Dery","doi":"10.1145/3461002.3473943","DOIUrl":"https://doi.org/10.1145/3461002.3473943","url":null,"abstract":"Many variability-rich object-oriented systems rely on multiple traditional techniques (inheritance, patterns) to implement their variability in a single codebase. These variability implementation places are neither explicit nor documented, hampering their detection and variability comprehension. Based on the identification of symmetry property in seven implementation techniques, a first approach was proposed with symfinder to automatically identify and display the variability of a system in a graph-based visualization structured by inheritance. However, composition, or more generally the usage relationship, is extensively used to implement the variability in object-oriented systems, and without this information, comprehending the large amount of variability identified by symfinder is not trivial. In this paper, we present symfinder-2, an extension of the former approach that incorporates the usage relationships to better identify potential variability implementations. We provide two ways to mark classes as entry points, user-defined and automatic, so that the visualization is filtered and enables users to have a better focus when they identify variability. We also report on the evaluation of this extension to ten open-source Java-based systems.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128568389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Kristof Meixner, Kevin Feichtinger, Rick Rabiser, S. Biffl
{"title":"A reusable set of real-world product line case studies for comparing variability models in research and practice","authors":"Kristof Meixner, Kevin Feichtinger, Rick Rabiser, S. Biffl","doi":"10.1145/3461002.3473946","DOIUrl":"https://doi.org/10.1145/3461002.3473946","url":null,"abstract":"Real-world cases describing (product) variability in production systems are rare and often not accessible. Thus, researchers often use toy examples or develop fictitious case studies. These are designed to demonstrate their approach but rarely to compare multiple approaches. In this paper, we aim at making variability modeling evaluations comparable. We present and provide a reusable set of four real-world case studies that are easy to access, with artifacts represented in a universal, variability-model-agnostic way, the industrial Product-Process-Resource Domain-Specific Language (PPR DSL). We report how researchers can use the case studies, automatically transforming the Domain-Specific Language (DSL) artifacts to well-known variability models, e.g., product feature models, using the Variability Evolution Roundtrip Transformation (VERT) process. We compare the expressiveness and complexity of the transformed feature models. We argue that the case studies with the DSL and the flexible transformation capabilities build a valuable contribution to making future research results more comparable and facilitating evaluations with real-world product lines.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129299836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A flexible approach for transforming variability models","authors":"Kevin Feichtinger","doi":"10.1145/3461002.3473069","DOIUrl":"https://doi.org/10.1145/3461002.3473069","url":null,"abstract":"In software product lines, engineers use variability models to explicitly represent commonalities and variability. A plethora of variability modeling approaches have been proposed in the last 30 years, and there is no standard variability modeling approach the community agrees on. Well-known approaches such as feature modeling or decision modeling exist in many different variants, most of which have been shown to be useful for at least one specific use case. Due to this variety of approaches researchers and practitioners alike struggle to find, understand, and eventually pick the right approach for a specific context or (set of) system(s). Practitioners in industry often develop custom solutions to manage the variability of various artifacts, like requirements documents or design spreadsheets. In this paper, we report on our ongoing research towards developing a framework for (semi-)automatically transforming variability models. Our approach supports researchers and practitioners experimenting with and comparing different variability modeling approaches and switching from one modeling approach to another. We present the research questions guiding our research and discuss the current status of our work as well as future work.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131909931","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Consistent management of variability in space and time","authors":"Sofia Ananieva","doi":"10.1145/3461002.3473067","DOIUrl":"https://doi.org/10.1145/3461002.3473067","url":null,"abstract":"Development and maintenance of software-intensive systems face major challenges. To cope with an increasing demand for customization, systems need to exist in concurrent variations at a single point in time (i.e., variability in space). Furthermore, as longevity of systems increases, it is necessary to continuously maintain sequential variations due to evolution (i.e., variability in time). Finally, systems are often built from different kinds of artifacts, such as source code or diagrams, that need to be kept consistent. Managing these challenges - the evolution of variable systems composed of heterogeneous artifacts in a consistent and integrated way - is highly demanding for engineers. To tackle the described challenges, we propose an approach for consistent, view-based management of variability in space and time. Therefore, we study, identify, and unify concepts and operations of approaches and tools dealing with variability in space and time to provide a common ground for comparing existing work and encouraging novel solutions. Furthermore, we identify consistency preservation challenges related to view-based evolution of variable systems composed of heterogeneous artifacts, such as the consistent propagation of changes between products, and across the different types of artifacts. We provide a technique for (semi-)automated detection and repair of variability-related inconsistencies. The goal of this doctoral work is to develop an integrated solution for dealing with the described challenges and, thus, advance state of the art towards uniform management of variability in space and time.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127242237","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rah Arens, John Herschel, Kevin Jedelhauser, Benedikt Jutz, S. Krieter, Ina Schaefer
{"title":"Integration of UVL in FeatureIDE","authors":"Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rah Arens, John Herschel, Kevin Jedelhauser, Benedikt Jutz, S. Krieter, Ina Schaefer","doi":"10.1145/3461002.3473940","DOIUrl":"https://doi.org/10.1145/3461002.3473940","url":null,"abstract":"Variability models are prevalent for specifying the commonalities and variabilities of configurable systems. A large variety of tools support using, editing, and analyzing variability models. However, the different tools often depend on distinct textual notations to store and read variability models which induces a large effort for researchers and practitioners. This additional effort could be reduced if the community adopted a single format. Following the goal of the MODEVAR initiative to develop a widely adopted variability language, we provided a first proposal with the Universal Variability language (UVL) in previous work. For a textual format to be adopted, an important aspect is an as small as possible effort when integrating the format in other tools. In this work, we discuss the integration of UVL in FeatureIDE. We use the integration to examine the applicability of UVL and our parser library to existing tools and gather further requirements for the language design. Furthermore, we provide a thorough documentation on the implementation to be used as reference and guidance for integration in other tools.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124829452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"How flexible must a transformation approach for variability models and custom variability representations be?","authors":"Kevin Feichtinger, Rick Rabiser","doi":"10.1145/3461002.3473945","DOIUrl":"https://doi.org/10.1145/3461002.3473945","url":null,"abstract":"A plethora of variability modeling approaches has been developed in the last 30 years. Feature modeling approaches are probably the most common and well-known approaches. All existing variability modeling approaches have their benefits and drawbacks and have been shown to be useful at least in certain use cases. Nevertheless, industry frequently develops their own custom solutions to manage variability because they struggle picking an approach from the (still growing) number of modeling approaches available. Therefore, we work towards a transformation approach, which enables researchers and practitioners alike to compare different (custom) variability modeling approaches and representations and switch in between them at least (semi-)automatically. In this paper, we discuss ongoing challenges for the transformation approach regarding the implementation of the transformations and the expected flexibility of the approach. We present our research agenda towards a flexible and adaptable transformation approach for well-known variability modeling approaches and custom variability representations used in industry.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129956618","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"LIFTS: learning featured transition systems","authors":"Sophie Fortz","doi":"10.1145/3461002.3473066","DOIUrl":"https://doi.org/10.1145/3461002.3473066","url":null,"abstract":"This PhD project aims to automatically learn transition systems capturing the behaviour of a whole family of software-based systems. Reasoning at the family level yields important economies of scale and quality improvements for a broad range of systems such as software product lines, adaptive and configurable systems. Yet, to fully benefit from the above advantages, a model of the system family's behaviour is necessary. Such a model is often prohibitively expensive to create manually due to the number of variants. For large long-lived systems with outdated specifications or for systems that continuously adapt, the modelling cost is even higher. Therefore, this PhD proposes to automate the learning of such models from existing artefacts. To advance research at a fundamental level, our learning target are Featured Transition Systems (FTS), an abstract formalism that can be used to provide a pivot semantics to a range of variability-aware state-based modelling languages. The main research questions addressed by this PhD project are: (1) Can we learn variability-aware models efficiently? (2) Can we learn FTS in a black-box fashion? (i.e., with access to execution logs but not to source code); (3) Can we learn FTS in a white/grey-box testing fashion? (i.e., with access to source code); and (4) How do the proposed techniques scale in practice?","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"22 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116858459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}