Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A最新文献

{"title":"Feature-oriented Test Case Selection during Evolution of Highly-Configurable Systems","authors":"W. D. F. Mendonça, W. K. Assunção, S. Vergilio","doi":"10.1145/3579027.3608979","DOIUrl":"https://doi.org/10.1145/3579027.3608979","url":null,"abstract":"Ensuring the quality of Highly Configurable Systems (HCSs) during its evolution and maintenance is challenging. As an HCS evolves, new features are added, changed, or removed, which makes the test case selection for regression testing a difficult task. The use of test traceability can help in this task, but there is a lack of studies exploring the use of trace links for HCS testing. Existing work is usually based on the variability model, which is not always available or updated. Yet, the few existing approaches rely on links between test cases and files/lines of code, limiting the selection to test cases related to file changes, not considering the whole implementation of features, which can be spread in many files other than the changed ones. Considering this limitation, this work presents a test case selection approach, namely FeaTestSel, that links test cases to features using HCS pre-processor directives. Then, the selection of test cases is based on features affected by changes in each commit. In addition to the selected test cases, the approach also produces the following reports to support the test activity: the lines of code that correspond to each feature, the lines exercised by each test case, and the test cases linked to each feature. To validate the approach, we rely on Libssh, a real open-source HCS in constant evolution. By adding the execution time of the approach to the execution time of the selected test cases, we achieved a reduction of approximately ≈50%, in comparison with the retest-all technique. Furthermore, the approach was able to maintain quality by selecting 100% of failed test files. The traceability and reports produced by our approach can also be used for further work by researchers, analysis of the test quality by engineers, or as a source of information for tool builders.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117338917","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":"Second Tutorial on the Universal Variability Language","authors":"S. Krieter, Kevin Feichtinger, J. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm","doi":"10.1145/3579027.3609002","DOIUrl":"https://doi.org/10.1145/3579027.3609002","url":null,"abstract":"The Universal Variability Language (UVL) is a textual feature modeling approach that is developed in regular exchange with the community. Over the last years, the adoption of UVL in variability-modeling tools is steadily increasing. Our tutorial covers different aspects of working with UVL, such as editing, format conversion, and automated analysis, and shows recent advances in tool support.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"46 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114015439","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":"VariMod: A Structured Approach to Variability in 3D Modelling","authors":"Jeffrey D. Jacobs, Jens Nicolay, W. De Meuter","doi":"10.1145/3579027.3608987","DOIUrl":"https://doi.org/10.1145/3579027.3608987","url":null,"abstract":"Today's manufacturing industry is confronted with an increasing demand for product variability that stems from product customisation needs and the engineering process. Different customer demands and the mass-customisation of physical products require designing multiple variants of products, and additional requirements may be introduced when the product reaches subsequent stages (simulation, manufacturing, assembly...) in its engineering process. The state-of-the-art 3D modelling software deals with variability in a mostly ad-hoc fashion. Designing products typically involves creating digital 3D models using Computer-Aided Design (CAD) software, and implementing variability requires duplication of entire models or parts thereof that then require changes without any identification of or distinction between the different requirements that caused them. Parametric CAD approaches do enable designing 3D models that contain modifiable parameters, but designers must still ensure that the 3D model with updated parameter values satisfies all requirements. It is therefore difficult or impossible with current approaches and tools to design variants of products in a structured and efficient manner. In this work, we present VariMod, a 3D modelling approach that distinguishes between invariant requirements that each variant of a 3D model must satisfy, and variant-specific requirements that individual variants must satisfy. Hereby, VariMod enables the specification of 'generic' 3D models that satisfy invariant requirements, of which the parameter values can be optimised so that they also satisfy variant-specific requirements. To this end, VariMod represents both types of requirements as bidirectional constraints that are solved to find optimal parameter values that satisfy all constraints. VariMod features a constraint-solving process that aims to minimise the modifications made to parameter values when optimising a 3D model, thereby preventing unexpected modifications to the 3D model. We use PrintTalk, a programmatic CAD language for parametric 3D modelling, as a vehicle for implementing and validating VariMod by demonstrating how it can be used for designing variants of 3D models in a structured and efficient manner.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"286 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115392939","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":"Generating Pairwise Covering Arrays for Highly Configurable Software Systems","authors":"Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu","doi":"10.1145/3579027.3608998","DOIUrl":"https://doi.org/10.1145/3579027.3608998","url":null,"abstract":"Highly configurable software systems play crucial roles in real-world applications, which urgently calls for useful testing methods. Combinatorial interaction testing (CIT) is an effective methodology for detecting those faults that are triggered by the interaction of any t options, where t is the testing strength. Pairwise testing, i.e., CIT with t = 2, is known to be the most practical and popular CIT technique, and the pairwise covering array generation (PCAG) problem is the most critical problem in pairwise testing. Due to the practical importance of PCAG, many PCAG algorithms have been proposed. Unfortunately, existing PCAG algorithms suffer from the severe scalability problem. To this end, the SPLC Scalability Challenge (i.e., Product Sampling for Product Lines: The Scalability Challenge) has been proposed since 2019, in order to motivate researchers to develop practical PCAG algorithms for overcoming this scalability problem. In this work, we present a practical PCAG algorithm dubbed SamplingCA-ASF. To the best of our knowledge, our experiments show that SamplingCA-ASF is the first algorithm that can generate PCAs for Automotive02 and Linux, the two hardest and largest-scale instances in the SPLC Scalability Challenge, within reasonable time. Our experimental results indicate that SamplingCA-ASF can effectively alleviate the scalability problem in pairwise testing.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127248574","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":"Automata Learning for Dynamic Software Product Lines: A Tutorial","authors":"M. Mousavi","doi":"10.1145/3579027.3609001","DOIUrl":"https://doi.org/10.1145/3579027.3609001","url":null,"abstract":"Automata learning is a fundamental techique for building behavioral models by actively interacting with black-box systems. Through four decades of research the community has come up with many algorithms and tools for automata learning, of which this tutorial will provide an overview. Moreover, researchers have proposed several extensions of automata learning algorithms to evolving systems, i.e., systems that change in time, as well as variability-intensive systems, i.e., systems that change in configuration space. In this tutorial, we provide an overview of such extensions and show how they can be applied to the field of dynamic software product lines.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114226766","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":"Adapting the Database to Feature Changes in Software Product Lines","authors":"Alejandro Cortiñas, M. R. Luaces, Oscar Pedreira, Á. Places","doi":"10.1145/3579027.3608990","DOIUrl":"https://doi.org/10.1145/3579027.3608990","url":null,"abstract":"Software Product Lines (SPL) support the development of families of software products that share a set of core assets but differ in certain features. To generate a new product, the engineer selects the desired features and the SPL assembles and adapts the implementation of the core assets. In real scenarios, we may need to update a product by adding a feature not initially selected. Similarly, we may need to remove a feature that is no longer necessary. Modifying the selection of features of a product in use poses a challenge from the point of view of the product's database. If the added/removed features affect the database schema, we may need to adapt the schema and the data stored in the database. This paper addresses this scenario and proposes an evolution model to define actions to be executed in the database when features are added or removed. Our proposal allows us to model those adaptations and to automate them when modifying the selection of features of a product. The evolution model describes changes to be made in the database, each composed of different actions that adapt certain elements of the database. Changes are associated with the features that may trigger their execution, and the change's actions are associated with the data model elements they affect. In this way, the evolution model supports automatic adaptation of the database, and we keep traceability between features and the elements of the data model they affect.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117162914","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":"Managing Variability of Logistics Robot System: Experience at Hitachi","authors":"Kentaro Yoshimura, Yuta Yamauchi, Hideo Takahashi","doi":"10.1145/3579027.3608995","DOIUrl":"https://doi.org/10.1145/3579027.3608995","url":null,"abstract":"This paper reports an industrial experience of managing the variability of a logistics robot system. Logistics centers need to dispatch products rapidly and accurately from huge inventories in accordance with the daily flow of orders, and autonomous logistics robot systems provide a solution that can handle a wide variety of products without relying on manual tasks. However, the development of such systems can be challenging due to the many different operation environments and product characteristics that must be considered. We have therefore developed a variability management approach that models the variability of robot systems and the items to be handled in such a way that the software components can be reused and expanded across different products and environments. This paper presents the motivation, challenges, and benefits of applying the variability management approach to a logistics robot system at Hitachi.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"76 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130098141","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":"Taming the Diversity of Computational Notebooks","authors":"Yann Brault, Yassine El Amraoui, M. Blay-Fornarino, P. Collet, Florent Jaillet, F. Precioso","doi":"10.1145/3579027.3608974","DOIUrl":"https://doi.org/10.1145/3579027.3608974","url":null,"abstract":"In many applications of Computational Science and especially Data Science, notebooks are the cornerstone of knowledge and experiment sharing. Their diversity is multiple (problem addressed, input data, algorithm used, overall quality) and is not made explicit at all. As they are heavily reused through a clone-and-own approach, the tailoring process from an existing notebook to a specific problem is cumbersome, error-prone, and particularly uncertain. In this paper, we propose a tooled approach that captures the different dimensions of variability in computational notebooks. It allows one to seek an existing notebook that suits her requirements, or to generate most parts of a new one.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117187943","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":"Code-Level Functional Equivalence Checking of Annotative Software Product Lines","authors":"Alan Wang, Nick Feng, M. Chechik","doi":"10.1145/3579027.3608978","DOIUrl":"https://doi.org/10.1145/3579027.3608978","url":null,"abstract":"Software functional equivalence checking is a technique for analyzing the impact of change of a portion of code on the rest of the system. The existing functional equivalence checking approaches are applicable only at the individual software product level. In this paper, we propose a lifted functional equivalence checking approach, CLEVER-V, that can efficiently handle annotative software product lines. Instead of checking functional equivalence of every product separately, CLEVER-V analyzes all products together to iteratively identify groups of non-equivalent products with common causes. We report on the implementation of the lifted functional equivalence checking approach and demonstrate its effectiveness and scalability on a suite of 288 realistic software updates from BusyBox.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124377326","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":"Product-Structuring Concepts for Automotive Platforms: A Systematic Mapping Study","authors":"Philipp Zellmer, Lennart Holsten, Thomas Leich, J. Krüger","doi":"10.1145/3579027.3608988","DOIUrl":"https://doi.org/10.1145/3579027.3608988","url":null,"abstract":"The products of the automotive industry are facing one of the biggest changes: becoming digital smart devices on wheels. Driven by the rising amount of vehicle functions, electronic control units, and software, today's vehicles are becoming cyber-physical systems that are increasingly complex and hard to manage over their life cycle. To handle these challenges, the automotive industry is adopting and integrating methods like software product-line engineering, electrics/electronics platforms, and product generation. While these concepts are widely recognized in their respective research areas and various domains, there is limited research regarding the practical effectiveness of implementing these concepts in a software-driven automotive context. In this paper, we investigate existing product-structuring concepts and methods that consider both hardware and software artifacts, and their applicability to the automotive as well as other cyber-physical industries. For this purpose, we conducted a systematic mapping study to capture a comprehensive overview of existing product-structuring concepts and methods, based on which we discuss how the state-of-the-art can or cannot help solve the challenges of the automotive industry. Specifically, we analyze the practical applicability of the existing solutions to help practitioners apply them and to guide future research.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125916415","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}