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

筛选
英文 中文
True Variability Shining Through Taxonomy Mining 真正的可变性在分类挖掘中闪耀
C. König, Kamil Rosiak, L. Cleophas, Ina Schaefer
{"title":"True Variability Shining Through Taxonomy Mining","authors":"C. König, Kamil Rosiak, L. Cleophas, Ina Schaefer","doi":"10.1145/3579027.3608989","DOIUrl":"https://doi.org/10.1145/3579027.3608989","url":null,"abstract":"Software variants of a Software Product Line (SPL) consist of a set of artifacts specified by features. Variability models document the valid relationships between features and their mapping to artifacts. However, research has shown inconsistencies between the variability of variants in features and artifacts, with negative effects on system safety and development effort. To analyze this mismatch in variability, the causal relationships between features, artifacts, and variants must be uncovered, which has only been addressed to a limited extent. In this paper, we propose taxonomy graphs as novel variability models that reflect the composition of variants from artifacts and features, making mismatches in variability explicit. Our evaluation with two SPL case studies demonstrates the usefulness of our variability model and shows that mismatches in variability can vary significantly in detail and severity.","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":"130545916","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
Deltas for Functional Programs with Algebraic Data Types 具有代数数据类型的函数式程序的delta
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覆盖
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 一系列移动应用的基于模型的测试:工业经验
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 消除制约因素,并行分析特征模型
J. Horcas, Joaquín Ballesteros, M. Pinto, L. Fuentes
{"title":"Elimination of constraints for parallel analysis of feature models","authors":"J. Horcas, Joaquín Ballesteros, M. Pinto, L. Fuentes","doi":"10.1145/3579027.3608981","DOIUrl":"https://doi.org/10.1145/3579027.3608981","url":null,"abstract":"Cross-tree constraints give feature models maximal expressive power since any interdependency between features can be captured through arbitrary propositional logic formulas. However, the existence of these constraints increases the complexity of reasoning about feature models, both for using SAT solvers or compiling the model to a binary decision diagram for efficient analyses. Although some works have tried to refactor constraints to eliminate them, they deal only with simple constraints (i.e., requires and excludes) or require the introduction of an additional set of features, increasing the complexity of the resulting feature model. This paper presents an approach that eliminates all the cross-tree constraints present in regular boolean feature models, including arbitrary constraints, in propositional logic formulas. Our approach for removing constraints consists of splitting the semantics of feature models into orthogonal disjoint feature subtrees, which are then analyzed in parallel to alleviate the exponential blow-up in memory of the resulting feature tree.","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":"130383790","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
Large Language Models to generate meaningful feature model instances 大型语言模型生成有意义的特征模型实例
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) 服务机器人的软件可变性(摘要)
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 平衡软件产品线中的可变性和成本:安全关键系统的经验报告
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 如何淘汰和替换软件产品线
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行业变异性挑战研讨会
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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信