Proceedings of the 19th International Conference on Software Product Line最新文献

Delta-oriented test case prioritization for integration testing of software product lines 面向增量的测试用例优先级，用于软件产品线的集成测试

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791073

R. Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer

{"title":"Delta-oriented test case prioritization for integration testing of software product lines","authors":"R. Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer","doi":"10.1145/2791060.2791073","DOIUrl":"https://doi.org/10.1145/2791060.2791073","url":null,"abstract":"Software product lines have potential to allow for mass customization of products. Unfortunately, the resulting, vast amount of possible product variants with commonalities and differences leads to new challenges in software testing. Ideally, every product variant should be tested, especially in safety-critical systems. However, due to the exponentially increasing number of product variants, testing every product variant is not feasible. Thus, new concepts and techniques are required to provide efficient SPL testing strategies exploiting the commonalities of software artifacts between product variants to reduce redundancy in testing. In this paper, we present an efficient integration testing approach for SPLs based on delta modeling. We focus on test case prioritization. As a result, only the most important test cases for every product variant are tested, reducing the number of executed test cases significantly, as testing can stop at any given point because of resource constraints while ensuring that the most important test cases have been covered. We present the general concept and our evaluation results. The results show a measurable reduction of executed test cases compared to single-software testing approaches.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125137461","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}

引用次数: 37

What is a feature?: a qualitative study of features in industrial software product lines 什么是功能?对工业软件产品线特性的定性研究

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791108

T. Berger, Daniela Rabiser, J. Rubin, P. Grünbacher, Adeline Silva, Martin Becker, M. Chechik, K. Czarnecki

{"title":"What is a feature?: a qualitative study of features in industrial software product lines","authors":"T. Berger, Daniela Rabiser, J. Rubin, P. Grünbacher, Adeline Silva, Martin Becker, M. Chechik, K. Czarnecki","doi":"10.1145/2791060.2791108","DOIUrl":"https://doi.org/10.1145/2791060.2791108","url":null,"abstract":"The notion of features is commonly used to describe the functional and non-functional characteristics of a system. In software product line engineering, features often become the prime entities of software reuse and are used to distinguish the individual products of a product line. Properly decomposing a product line into features, and correctly using features in all engineering phases, is core to the immediate and long-term success of such a system. Yet, although more than ten different definitions of the term feature exist, it is still a very abstract concept. Definitions lack concrete guidelines on how to use the notion of features in practice. To address this gap, we present a qualitative empirical study on actual feature usage in industry. Our study covers three large companies and an in-depth, contextualized analysis of 23 features, perceived by the interviewees as typical, atypical (outlier), good, or bad representatives of features. Using structured interviews, we investigate the rationales that lead to a feature's perception, and identify and analyze core characteristics (facets) of these features. Among others, we find that good features precisely describe customer-relevant functionality, while bad features primarily arise from rashly executed processes. Outlier features, serving unusual purposes, are necessary, but do not require the full engineering process of typical features.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116616057","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}

引用次数: 135

REFAS: a PLE approach for simulation of self-adaptive systems requirements REFAS:一种模拟自适应系统需求的PLE方法

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791102

J. Muñoz-Fernández, Gabriel Tamura, I. Raicu, R. Mazo, C. Salinesi

{"title":"REFAS: a PLE approach for simulation of self-adaptive systems requirements","authors":"J. Muñoz-Fernández, Gabriel Tamura, I. Raicu, R. Mazo, C. Salinesi","doi":"10.1145/2791060.2791102","DOIUrl":"https://doi.org/10.1145/2791060.2791102","url":null,"abstract":"Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework for specifying requirements models for dynamic software products lines and self-adaptive systems. The simulation is controlled by a feedback loop and a reasoning engine that operates on the functional and non-functional requirements. The paper contribution is threefold. First, REFAS allows developers to evaluate and improve requirements models through their simulation capabilities. Second, REFAS provides rich feedback in its interactive simulations for the human modeller to make informed decisions to improve her model. Third, REFAS automates the generation of simulation scenarios required to verify the model adequacy and correctness. We evaluate our contribution by comparing the application of REFAS to a case study used in other approaches.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129048223","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

Understanding hybrid SPL composition impact on the refactoring into SPL 理解混合SPL组合对重构到SPL的影响

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2796539

A. R. Santos

引用次数: 0

OPLA-tool: a support tool for search-based product line architecture design opla工具:用于基于搜索的产品线架构设计的支持工具

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791096

Édipo Luis Féderle, T. Ferreira, T. Colanzi, S. Vergilio

引用次数: 21

Evaluation across multiple views for variable automation systems 对可变自动化系统进行跨多个视图的评估

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791082

Lothar Hotz, Yibo Wang, Matthias Riebisch, Olaf Götz, Josef Lackhove

引用次数: 6

Harnessing variability in product-lines of self-adaptive software systems 利用自适应软件系统产品线中的可变性

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791089

Nadeem Abbas, J. Andersson

{"title":"Harnessing variability in product-lines of self-adaptive software systems","authors":"Nadeem Abbas, J. Andersson","doi":"10.1145/2791060.2791089","DOIUrl":"https://doi.org/10.1145/2791060.2791089","url":null,"abstract":"This work studies systematic reuse in the context of self-adaptive software systems. In our work, we realized that managing variability for such platforms is different compared to traditional platforms, primarily due to the run-time variability and system uncertainties. Motivated by the fact that recent trends show that self-adaptation will be used more often in future system generation and that software reuse state-of-practice or research do not provide sufficient support, we have investigated the problems and possibly resolutions in this context. We have analyzed variability for these systems, using a systematic reuse prism, and identified a research gap in variability management. The analysis divides variability handling into four activities: (1) identify variability, (2) constrain variability, (3) implement variability, and (4) manage variability. Based on the findings we envision a reuse framework for the specific domain and present an example framework that addresses some of the identified challenges. We argue that it provides basic support for engineering self-adaptive software systems with systematic reuse. We discuss some important avenues of research for achieving the vision.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127098068","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

Fault-based product-line testing: effective sample generation based on feature-diagram mutation 基于故障的产品线测试:基于特征图突变的有效样本生成

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791074

Dennis Reuling, Johannes Bürdek, Serge Rotärmel, Malte Lochau, U. Kelter

{"title":"Fault-based product-line testing: effective sample generation based on feature-diagram mutation","authors":"Dennis Reuling, Johannes Bürdek, Serge Rotärmel, Malte Lochau, U. Kelter","doi":"10.1145/2791060.2791074","DOIUrl":"https://doi.org/10.1145/2791060.2791074","url":null,"abstract":"Testing every member of a product line individually is often impracticable due to large number of possible product configurations. Thus, feature models are frequently used to generate samples, i.e., subsets of product configurations under test. Besides the extensively studied combinatorial interaction testing (CIT) approach for coverage-driven sample generation, only few approaches exist so far adopting mutation testing to emulate faults in feature models to be detected by a sample. In this paper, we present a mutation-based sampling framework for fault-based product-line testing. We define a comprehensive catalog of atomic mutation operators on the graphical representation of feature models. This way, we are able (1) to also define complex mutation operators emulating more subtle faults, and (2) to classify operators semantically, e.g., to avoid redundant and equivalent mutants. We further introduce similarity-based mutant selection and higher order mutation strategies to reduce testing efforts. Our implementation is based on the graph transformation engine Henshin and is evaluated concerning effectiveness/efficiency trade-offs.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126964633","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}

引用次数: 35

Modeling aerospace systems product lines in SysML 在SysML中建模航空航天系统产品线

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791104

Jesús Padilla, K. Czarnecki

引用次数: 12

Evolution in dynamic software product lines: challenges and perspectives 动态软件产品线的演变:挑战和前景

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791101

Clément Quinton, Rick Rabiser, Michael Vierhauser, P. Grünbacher, L. Baresi

{"title":"Evolution in dynamic software product lines: challenges and perspectives","authors":"Clément Quinton, Rick Rabiser, Michael Vierhauser, P. Grünbacher, L. Baresi","doi":"10.1145/2791060.2791101","DOIUrl":"https://doi.org/10.1145/2791060.2791101","url":null,"abstract":"In many domains systems need to run continuously and cannot be shut down for reconfiguration or maintenance tasks. Cyber-physical or cloud-based systems, for instance, thus often provide means to support their adaptation at runtime. The required flexibility and adaptability of systems suggests the application of Software Product Line (spl) principles to manage their variability and to support their reconfiguration. Specifically, Dynamic Software Product Lines (dspl) have been proposed to support the management and binding of variability at runtime. While spl evolution has been widely studied, it has so far not been investigated in detail in a dspl context. Variability models that are used in a dspl have to co-evolve and be kept consistent with the systems they represent to support reconfiguration even after changes to the systems at runtime. In this short paper we present a classification of the required operations for jointly evolving problem and solution space in a dspl. We analyze the impact of such operations on the consistency of a dspl and propose an approach to deal with the described issues. We describe a runtime monitoring system used in the domain of industrial automation software as an example of a dspl evolving at runtime to motivate and explain our work.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122897204","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}

引用次数: 20