Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems最新文献

Validating Partial Configurations of Product Lines 验证产品线的部分配置

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302337

Mustafa Al-Hajjaji, U. Ryssel, M. Schulze

{"title":"Validating Partial Configurations of Product Lines","authors":"Mustafa Al-Hajjaji, U. Ryssel, M. Schulze","doi":"10.1145/3302333.3302337","DOIUrl":"https://doi.org/10.1145/3302333.3302337","url":null,"abstract":"Configuring a new variant of a product line is not always a one-time task. In some cases, many stakeholders are involved in the configuration process. This is needed for example, if different stakeholders are responsible for different parts of the product line and they are not allowed to see specific parts of the product line already configured in previous steps. Thus, a partial derivation can be performed, where a part of the configuration process can be done by some stakeholders, while finishing the rest of the configuration process can be achieved by others. Validating partial configurations is a challenging task, since the selection state of some features can still be open. In addition to these open selection states of features, values of attributes, calculations of expressions, as well as constraints are needed to be handled, as they can use information, which is not defined yet. Thus, a validator that ables to address the aforementioned challenges is required. In this paper, we discuss how the partial configurations can be validated considering different cases. While these discussed cases can be applied in general, we focus in this paper on applying them with respect to the industrial variant management tool pure::variants.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113988817","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}

引用次数: 2

On Determining Variability Annotations In Partially Annotated Models 部分注释模型中可变性注释的确定

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302341

Sandra Greiner, B. Westfechtel

{"title":"On Determining Variability Annotations In Partially Annotated Models","authors":"Sandra Greiner, B. Westfechtel","doi":"10.1145/3302333.3302341","DOIUrl":"https://doi.org/10.1145/3302333.3302341","url":null,"abstract":"In model-driven software product line engineering (SPLE) the superset of products is developed over models. A feature model typically states the discriminating and common factors of the software. In annotative approaches model elements are associated with variability annotations which are boolean expressions over the features defining in which products the elements are visible. When the product line is defined over different models, the developer wants to annotate the model of one type and transform it to different representations, e.g., a (UML) class diagram into a relational database schema for establishing an object-relational mapping. Assigning the annotations manually to the target model is an error-prone and laborious task. In a black-box approach we automatically assign the correct annotations to the target model without analyzing the transformation specification. It is an easy task in the case of 1:1 mappings where the annotation of the source element is copied to the corresponding element in the target model. Typically this kind of information is available, e.g., in traces written during the transformation execution. In reality, more complex mappings are frequent but the correspondences harder to determine. Assuming a target model is already annotated with the annotation of 1:1 correspondences, a certain number of elements remains without annotations. This paper contributes strategies to determine missing annotations in partially annotated models. We compare a global include strategy with more sophisticated ones which take the model structure into account. Since we apply missing annotations locally on one model, we solve a general SPLE problem where completely annotated models reduce the manual user effort and are desirable for filtering.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130665217","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}

引用次数: 8

Towards Combined Process & Tool Variability Management in Software Testing 软件测试过程与工具组合可变性管理

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302339

Kristof Meixner, D. Winkler, S. Biffl

{"title":"Towards Combined Process & Tool Variability Management in Software Testing","authors":"Kristof Meixner, D. Winkler, S. Biffl","doi":"10.1145/3302333.3302339","DOIUrl":"https://doi.org/10.1145/3302333.3302339","url":null,"abstract":"Context. Modern software engineering approaches that rely on continuous and automated testing, like Agile Software Engineering and the late DevOps movement, require integrated and fully functional testing tool chain environment, to efficiently identify defects in software artifacts. Such an environment includes the implementation of established testing processes that are utilized by the development teams. However, in practice, different testing tool chains and processes are implemented depending on particular project requirements such as programming language, selected testing tool, or system architecture. This variety of required technologies and processes frequently results in an environment of isolated test automation solutions. Thus, there is a need for a managed and controllable set of testing tool chain variants that consider structured methods to integrate variability. Goal. In this paper, we show ongoing work, as part of a flexible Test Automation Framework (TAF), with focus on requirements for the variability of testing tool chains, established testing processes, and candidate solution approaches. Method. We build on best practices from software and systems testing and variability management to implement variability in the TAF. Results. First results showed that several Test Automation (TA) solutions exist, which support variability in a limited manner and, therefore, increase the need for modeling variability in a flexible TAF. Conclusion. In the context of Software Test Automation, a combination of Variability Modeling (VM) methods for testing architectures, business processes, and a definition of common interface definitions is promising towards a TAF that enables a flexible tool and process integration.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132871693","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

Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems 使用动态软件产品线实现自适应sgx系统

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302340

S. Krieter, Tobias Thiem, Thomas Leich

引用次数: 5

A Literature Review and Comparison of Three Feature Location Techniques using ArgoUML-SPL ArgoUML-SPL三种特征定位技术的文献综述及比较

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302343

Daniel Cruz, Eduardo Figueiredo, Jabier Martinez

引用次数: 23

An Exploratory Study on Migrating Single-Products towards Product Lines in Startup Contexts 创业环境下单产品向产品线迁移的探索性研究

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302347

Mercy N. Njima, S. Demeyer

引用次数: 5

Testing Tools for Configurable Software Systems: A Review-based Empirical Study 可配置软件系统的测试工具:基于回顾的实证研究

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302344

Fischer Ferreira, J. P. Diniz, Cleiton Silva Tavares, Eduardo Figueiredo

{"title":"Testing Tools for Configurable Software Systems: A Review-based Empirical Study","authors":"Fischer Ferreira, J. P. Diniz, Cleiton Silva Tavares, Eduardo Figueiredo","doi":"10.1145/3302333.3302344","DOIUrl":"https://doi.org/10.1145/3302333.3302344","url":null,"abstract":"Configurable software systems are software systems that can be adapted or configured according to a set of features with the goal of increasing reuse and productivity. However, testing configurable systems is very challenging due to the number of configurations to run with each test, leading to a combinatorial explosion in the number of configurations and tests. Currently, several testing techniques and tools have been proposed to deal with this challenge, but their potential practical application remains mostly unexplored. The lack of studies to explore the tools that apply those techniques motivated us to investigate the literature to find testing tools for configurable software systems and to understand how they work. In this paper, we conducted a systematic mapping and identified 34 testing tools for configurable software systems. We first summarized and discussed their main characteristics. We then designed and performed a comparative empirical study of the main sound testing tools found: VarexJ and SPLat. They are considered sound testing techniques because they explore all reachable configurations from a given test. Overall, we observed that VarexJ and SPLat presented distinct results for efficiency while testing the target systems and that, although VarexJ found more errors than SPLat for the majority of the target systems, such result deserves a more in-depth investigation because we expected a higher intersection of errors encountered by them.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120945738","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}

引用次数: 11

Variability-intensive Software Systems: Product Lines and Beyond 可变性密集型软件系统:产品线及其他

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302336

M. Galster

引用次数: 8

Variability Modeling of Service Robots: Experiences and Challenges 服务机器人的可变性建模:经验与挑战

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302350

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

{"title":"Variability Modeling of Service Robots: Experiences and Challenges","authors":"Sergio García, D. Strüber, D. Brugali, Alessandro Di Fava, Philipp Schillinger, Patrizio Pelliccione, T. Berger","doi":"10.1145/3302333.3302350","DOIUrl":"https://doi.org/10.1145/3302333.3302350","url":null,"abstract":"Sensing, planning, controlling, and reasoning, are human-like capabilities that can be artificially replicated in an autonomous robot. Such a robot implements data structures and algorithms devised on a large spectrum of theories, from probability theory, mechanics, and control theory to ethology, economy, and cognitive sciences. Software plays a key role in the development of robotic systems, as it is the medium to embody intelligence in the machine. During the last years, however, software development is increasingly becoming the bottleneck of robotic systems engineering due to three factors: (a) the software development is mostly based on community efforts and it is not coordinated by key stakeholders; (b) robotic technologies are characterized by a high variability that makes reuse of software a challenging practice; and (c) robotics developers are usually not specifically trained in software engineering. In this paper, we illustrate our experiences from EU, academic, and industrial projects in identifying, modeling, and managing variability in the domain of service robots. We hope to raise awareness for the specific variability challenges in robotics software engineering and to inspire other researchers to advance this field.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114650005","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}

引用次数: 31

Preface to the Thirteenth Workshop on Variability Modelling of Software-intensive Systems 第十三届软件密集型系统可变性建模研讨会前言

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems Pub Date : 2019-02-06 DOI: 10.1145/3302333.3302334

Gilles Perrouin, Danny Weyns

引用次数: 0