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

True Variability Shining Through Taxonomy Mining 真正的可变性在分类挖掘中闪耀

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608989

C. König, Kamil Rosiak, L. Cleophas, Ina Schaefer

引用次数: 0

Deltas for Functional Programs with Algebraic Data Types 具有代数数据类型的函数式程序的delta

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608977

Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

{"title":"Deltas for Functional Programs with Algebraic Data Types","authors":"Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini","doi":"10.1145/3579027.3608977","DOIUrl":"https://doi.org/10.1145/3579027.3608977","url":null,"abstract":"The development of feature-oriented programming (FOP) and of (its generalization) delta-oriented programming (DOP) has focused primarily on SPLs of class-based object oriented programs. In this paper, we introduce delta-oriented SPLs of functional programs with algebraic data types (ADTs). To pave the way towards SPLs of multi-paradigm programs, we tailor our presentation to the functional sublanguage of the multi-paradigm modeling language ABS, which already features DOP support for its class-based object-oriented sublanguage. Our main contributions are: (i) we motivate and illustrate our proposal by an example from an industrial modeling scenario; (ii) we formalize delta-oriented SPLs for functional programs with ADTs in terms of a foundational calculus; (iii) we define family-based analyses to check whether an SPL satisfies certain well-formedness conditions and whether all variants can be generated and are well-typed; and (iv) we briefly outline how, in the context of the toolchain of ABS, the proposed delta-oriented constructs and analyses for functional programs can be integrated with their counterparts for object-oriented programs.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"8 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":"115849674","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}

引用次数: 0

Continuous T-Wise Coverage 连续的T-Wise覆盖

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608980

T. Pett, Tobias Heß, S. Krieter, Thomas Thüm, Ina Schaefer

{"title":"Continuous T-Wise Coverage","authors":"T. Pett, Tobias Heß, S. Krieter, Thomas Thüm, Ina Schaefer","doi":"10.1145/3579027.3608980","DOIUrl":"https://doi.org/10.1145/3579027.3608980","url":null,"abstract":"Quality assurance for highly configurable systems uses t-wise feature interaction coverage as a metric to measure the quality of selected samples for testing. Achieving t-wise feature interaction coverage requires testing many configurations, often exceeding the available testing time for frequently evolving systems. As testing time is a limiting factor, current testing procedures face the challenge of finding a reasonable trade-off between achieving t-wise feature interaction coverage and reducing the time required for testing. To address this challenge, we can consider t-wise feature interactions covered in previous test executions when calculating the achieved t-wise feature interaction coverage. However, the current definition of t-wise feature interaction coverage does not consider previously tested configurations. Therefore, we propose continuous t-wise coverage as a new customizable metric for tracking the ratio of achieved t-wise feature interaction coverage over time. Our metric allows customizing the tradeoff between test effort per system version and the time to achieve t-wise coverage. We evaluate various parameterizations for our metric on four real-world evolution histories and investigate how they impact the calculated t-wise feature interaction coverage. Our results show that a high t-wise feature interaction coverage can be achieved by testing significant (up to 50%) smaller samples per commit, when the evolution of the system is considered.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"190 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":"114851493","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}

引用次数: 0

Model-based Testing for a Family of Mobile Applications: Industrial Experiences 一系列移动应用的基于模型的测试:工业经验

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608996

Stefan Fischer, R. Ramler, W. K. Assunção, Alexander Egyed, C. Gradl, Sebastian Auberger

{"title":"Model-based Testing for a Family of Mobile Applications: Industrial Experiences","authors":"Stefan Fischer, R. Ramler, W. K. Assunção, Alexander Egyed, C. Gradl, Sebastian Auberger","doi":"10.1145/3579027.3608996","DOIUrl":"https://doi.org/10.1145/3579027.3608996","url":null,"abstract":"Testing is a fundamental verification activity to produce high-quality software. However, testing is a costly and complex activity. The success of software testing depends on the quality of test cases but finding a good set of test cases is laborious. To make matters worse, when dealing with a family of systems (e.g., variants of a mobile applications), test cases must assure that a diversity of configurations in potentially many variants work as expected. This is the case of hello again GmbH, a company that develops mobile applications for customer loyalty (e.g., discounts, free products, rewards, or insider perks). The company targets several business domains, and currently supports about 700 application variants. Testing such applications including all their variability is a cumbersome task. Even simple test cases designed for one variant most likely cannot be reused for other variants. To support developers at hello again GmbH, we present a solution to employ a model-based testing approach to their family of mobile apps. Model-based testing focuses on automatizing the design and generation of test cases. We present results of applying model-based testing on 27 applications from hello again GmbH and report the challenges and lessons learned for designing a variable test model. Our expected contribution is to support companies and practitioners looking for solutions to test families of software products.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"17 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":"129547504","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}

引用次数: 0

Elimination of constraints for parallel analysis of feature models 消除制约因素，并行分析特征模型

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608981

J. Horcas, Joaquín Ballesteros, M. Pinto, L. Fuentes

引用次数: 0

Large Language Models to generate meaningful feature model instances 大型语言模型生成有意义的特征模型实例

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608973

J. Galindo, Antonio J. Dominguez, Jules White, David Benavides

{"title":"Large Language Models to generate meaningful feature model instances","authors":"J. Galindo, Antonio J. Dominguez, Jules White, David Benavides","doi":"10.1145/3579027.3608973","DOIUrl":"https://doi.org/10.1145/3579027.3608973","url":null,"abstract":"Feature models are the \"de facto\" standard for representing variability in software-intensive systems. Automated analysis of feature models is the computer-aided extraction of information of feature models and is used in testing, maintenance, configuration, and derivation, among other tasks. Testing the analyses of feature models often requires relying on a large number of models that are as realistic as possible. There exist different proposals to generate synthetic feature models using random techniques or metamorphic relations; however, the existing methods do not take into account the semantics of the concepts of the domain that are being represented and the interrelations between them, leading to less realistic feature models. In this paper, we propose a novel approach that uses Large Language Models (LLMs), such as Codex or GPT-3, to generate realistic feature models that preserve semantic coherence while maintaining syntactic validity. The approach automatically generates instances of feature models from a given domain. Concretely, two language models were used, first OpenAI's Codex to generate new instances of feature models using the Universal Variability Language (UVL) syntax and then Cohere's semantic analysis to verify if the newly introduced concepts are from the same domain. This approach enabled the generation of 90% of valid instances according to the UVL syntax. In addition, the valid models score well on model complexity metrics, and the generated features mirror the domain of the original UVL instance used as prompts. With this work, we envision a new thread of research where variability is generated and analyzed using LLMs. This opens the door for a new generation of techniques and tools for variability management.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"1 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":"130080114","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}

引用次数: 1

Software Variability in Service Robots (Summary) 服务机器人的软件可变性(摘要)

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608999

Sergio García, D. Strüber, D. Brugali, Alessandro Di Fava, Patrizio Pelliccione, T. Berger

{"title":"Software Variability in Service Robots (Summary)","authors":"Sergio García, D. Strüber, D. Brugali, Alessandro Di Fava, Patrizio Pelliccione, T. Berger","doi":"10.1145/3579027.3608999","DOIUrl":"https://doi.org/10.1145/3579027.3608999","url":null,"abstract":"We present “Software Variability in Service Robotics” published in the Journal of Empirical Software Engineering (EMSE) in 2023 [2]. Engineering robotics software systems [1] is a booming discipline, with recent breakthroughs in AI that improve robots’ capabilities to emulate human perception and intelligence, while operating in environments that are potentially unsafe or even hostile to humans. A trend are service robots—autonomous, mobile robots that can address meaningful tasks. For example, consider a disinfection robot for hospital rooms, which was developed during the COVID19 pandemic by one of the subject companies of this paper. Service robotics presents a much more sophisticated challenge for software engineering than traditional, factory-automation type robots, due to several drivers of variability that inherently need to be reflected in software, and lead to variability management issues. In our journal article [2] we survey the state-of-the-art and stateof-practice in software variability in service robotics. We present and triangulate the results from a systematic literature review and an interview suite conducted with eleven practitioners from three subject companies. The paper extends a previous workshop paper [3] that did not yet include the SLR and only two interviews. We now summarize the results for our three research questions. The paper adds details within 38 observations, each paired with actionable recommendations for researchers and practitioners.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"64 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":"114499763","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}

引用次数: 0

Balancing Variability and Costs in Software Product Lines: An Experience Report in Safety-Critical Systems 平衡软件产品线中的可变性和成本:安全关键系统的经验报告

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608992

Udo Knop, Peter Hofman, M. Mihatsch, Martin Siegmund

{"title":"Balancing Variability and Costs in Software Product Lines: An Experience Report in Safety-Critical Systems","authors":"Udo Knop, Peter Hofman, M. Mihatsch, Martin Siegmund","doi":"10.1145/3579027.3608992","DOIUrl":"https://doi.org/10.1145/3579027.3608992","url":null,"abstract":"This paper provides a detailed testing strategy for Software Product Lines (SPLs), aiming to balance the variability offered with its associated cost. Utilizing feature modeling, combinatorial testing, and deployment-based testing, the strategy addresses the unique challenges of testing SPLs, including the large number of possible feature interactions. The paper includes an experience report in the Syngo SPL by Siemens Healthineers that had approximately 900 optional features and was deployed at about 35.000 end-customer installations. Testing this variability using conventional approaches was an immense challenge due to the vast number of required test cases and test configurations. As a result, the actual variability offered to customers was restricted to four configurations, and the time-to-market of new features was limited to four releases per year. The project's goal was to devise a testing strategy to deliver a greater variety of configurations in a shorter time without substantially increasing testing effort or compromising quality. By restricting feature interaction testing to dependent features and those included in customer offerings, the strategy demonstrated the feasibility of maintaining high-quality deliverable configurations without significant increase in testing effort. Additionally, it allowed the accurate identification of necessary test case adjustments or developments when introducing new functionality, enabling significant reuse of existing test cases, and facilitating a transition to monthly release cycles. Overall, this paper provides valuable insights for practitioners and researchers working with SPLs and facing the challenges of testing them. The presented strategy offers a promising approach to reducing the number of cross-module test cases required in software platform development, demonstrating its feasibility and potential benefits.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"91 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":"124422624","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}

引用次数: 0

How to Retire and Replace a Software Product Line 如何淘汰和替换软件产品线

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3609004

Alejandro Cortiñas, J. Krüger, Victor Lamas, M. R. Luaces, Oscar Pedreira

{"title":"How to Retire and Replace a Software Product Line","authors":"Alejandro Cortiñas, J. Krüger, Victor Lamas, M. R. Luaces, Oscar Pedreira","doi":"10.1145/3579027.3609004","DOIUrl":"https://doi.org/10.1145/3579027.3609004","url":null,"abstract":"Software product-line engineering provides a framework for an organization to develop a family of similar, yet customized, software systems based on a common platform. This platform allows the organization to configure a system to changing customer requirements, while also achieving long-term benefits like reduced development and maintenance costs. Consequently, a product line is typically used for a long-living family of systems and is continuously evolved. However, at some point even a product line may be retired and potentially replaced by a successor, for instance, because of outdated technology that cannot be replaced easily and thus makes developing a new product line more feasible. Such a retiring of product lines is mentioned in previous work, but has not been investigated in detail. In this paper, we tackle this gap by describing a process for retiring and replacing a product line, which we defined based on a real-world action-research-like case study. Via this case study. we describe how our process can be executed in practice, what decisions must be considered, as well as the pros and cons we experienced with retiring a product line. We expect that these contributions will help practitioners retire product lines more systematically and with fewer problems. We also indicate open research directions that should be tackled in the future.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"16 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":"121474190","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}

引用次数: 0

SPLC 2023 Industry Variability Challenges Workshop SPLC 2023行业变异性挑战研讨会

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3612819

Rick Rabiser, Martin Becker, Mitsuhiro Kitani

{"title":"SPLC 2023 Industry Variability Challenges Workshop","authors":"Rick Rabiser, Martin Becker, Mitsuhiro Kitani","doi":"10.1145/3579027.3612819","DOIUrl":"https://doi.org/10.1145/3579027.3612819","url":null,"abstract":"The idea of the SPLC 2023 Industry Variability Challenges Workshop is to bring together practitioners and researchers to discuss the challenges regarding variability companies are currently facing. Companies can tell the researchers what they could/should work on regarding highly variable/configurable systems, identify areas where they would like to get some help from the SPLC community, network with other companies in other domains potentially having related issues, and identify possibilities to collaborate with researchers. Researchers can learn about current challenges of companies, relate industry challenges with ongoing research, and identify possibilities to collaborate with companies. After a motivating introduction by the organizers, each company pitches their setting, especially drivers, challenges, and lessons learned with regard to dealing with variability/highly variable/configurable systems in their context. Workshop organizers document challenges live on a shared board. This is followed by open discussion guided by the workshop organizers to further extend the challenges collected on the shared board and discuss them together with all participants.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"42 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":"134562752","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}

引用次数: 0