Proceedings of the 20th International Systems and Software Product Line Conference最新文献_第2页

Towards systematically addressing security variability in software product lines 朝着系统地处理软件产品线中的安全性可变性的方向发展

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2966353

Laurens Sion, D. Landuyt, Koen Yskout, W. Joosen

引用次数: 5

Systematic quality trade-off support in the software product-line configuration process 软件产品线配置过程中的系统质量权衡支持

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934481

Laurens Sion, D. Landuyt, W. Joosen, G. D. Jong

{"title":"Systematic quality trade-off support in the software product-line configuration process","authors":"Laurens Sion, D. Landuyt, W. Joosen, G. D. Jong","doi":"10.1145/2934466.2934481","DOIUrl":"https://doi.org/10.1145/2934466.2934481","url":null,"abstract":"Software product line engineering is a compelling methodology that accomplishes systematic reuse in families of systems by relying on two key principles: (i) the decomposition of complex systems into composable and reusable building blocks (often logical units called features), and (ii) on-demand construction of products and product variants by composing these building blocks. However, unless the stakeholder responsible for product configuration has detailed knowledge of the technical ins and outs of the software product line (e.g., the architectural impact of a specific feature, or potential feature interactions), he is in many cases flying in the dark. Although many initial approaches and techniques have been proposed that take into account quality considerations and involve trade-off decisions during product configuration, no systematic support exists. In this paper, we present a reference architecture for product configuration tooling, providing support for (i) up-front generation of variants, and (ii) quality analysis of these variants. This allows pro-actively assessing and predicting architectural quality properties for each product variant and in turn, product configuration tools can take into account architectural considerations. In addition, we provide an in-depth discussion of techniques and tactics for dealing with the problem of variant explosion, and as such to maintain practical feasibility of such approaches. We validated and implemented our reference architecture in the context of a real-world industrial application, a product-line for the firmware of an automotive sensor. Our prototype, based on FeatureIDE, is open for extension and readily available.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129733226","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}

引用次数: 7

How do software ecosystems evolve? a quantitative assessment of the r ecosystem. 软件生态系统是如何进化的?生态系统的定量评价。

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934488

Konstantinos Plakidas, S. Stevanetic, D. Schall, Tudor B. Ionescu, Uwe Zdun

引用次数: 16

Mining families of android applications for extractive SPL adoption 挖掘android应用程序家族，以采用可提取的SPL

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2946047

Li Li, Jabier Martinez, T. Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon

引用次数: 19

Search-based test case selection of cyber-physical system product lines for simulation-based validation 基于搜索的基于仿真验证的网络物理系统产品线测试用例选择

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2946046

Aitor Arrieta, Shuai Wang, Goiuria Sagardui Mendieta, L. Elorza

{"title":"Search-based test case selection of cyber-physical system product lines for simulation-based validation","authors":"Aitor Arrieta, Shuai Wang, Goiuria Sagardui Mendieta, L. Elorza","doi":"10.1145/2934466.2946046","DOIUrl":"https://doi.org/10.1145/2934466.2946046","url":null,"abstract":"Cyber-Physical Systems (CPSs) are often tested at different test levels following \"X-in-the-Loop\" configurations: Model-, Software- and Hardware-in-the-loop (MiL, SiL and HiL). While MiL and SiL test levels aim at testing functional requirements at the system level, the HiL test level tests functional as well as non-functional requirements by performing a real-time simulation. As testing CPS product line configurations is costly due to the fact that there are many variants to test, test cases are long, the physical layer has to be simulated and co-simulation is often necessary. It is therefore extremely important to select the appropriate test cases that cover the objectives of each level in an allowable amount of time. We propose an efficient test case selection approach adapted to the \"X-in-the-Loop\" test levels. Search algorithms are employed to reduce the amount of time required to test configurations of CPS product lines while achieving the test objectives of each level. We empirically evaluate three commonly-used search algorithms, i.e., Genetic Algorithm (GA), Alternating Variable Method (AVM) and Greedy (Random Search (RS) is used as a baseline) by employing two case studies with the aim of integrating the best algorithm into our approach. Results suggest that as compared with RS, our approach can reduce the costs of testing CPS product line configurations by approximately 80% while improving the overall test quality.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134445892","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

A case study of applying software product line engineering to the air conditioner domain 软件产品线工程在空调领域应用的案例研究

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934489

Motoi Nagamine, Tsuyoshi Nakajima, Noriyoshi Kuno

引用次数: 10

TRUSTIE: towards software production based on crowd wisdom 信赖:走向基于大众智慧的软件生产

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2971319

Huaimin Wang

引用次数: 1

Apples and oranges: comparing top-down and bottom-up language product lines 苹果和橘子:比较自顶向下和自底向上的语言产品线

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934470

Thomas Kühn, W. Cazzola

{"title":"Apples and oranges: comparing top-down and bottom-up language product lines","authors":"Thomas Kühn, W. Cazzola","doi":"10.1145/2934466.2934470","DOIUrl":"https://doi.org/10.1145/2934466.2934470","url":null,"abstract":"Over the past decade language development tools have been significantly improved. This permitted both practitioners and researchers to design a wide variety of domain-specific languages (DSL) and extensions to programming languages. Moreover, multiple researchers have combined different language variants to form families of DSLs as well as programming languages. Unfortunately, current language development tools cannot directly support the development of these families. To overcome this limitation, researchers have recently applied ideas from software product lines (SPL) to create product lines of compilers/interpreters for language families, denoted language product lines (LPL). Similar to SPLs, however, these product lines can be created either using a top-down or a bottom-up approach. Yet, there exist no case study comparing the suitability of both approaches to the development of LPLs, making it unclear how language development tools should evolve. Accordingly, this paper compares both feature modeling approaches by applying them to the development of an LPL for the family of role-based programming languages and discussing their applicability, feasibility and overall suitability for the development of LPLs. Although one might argue that this compares apples and oranges, we believe that this case still provides crucial insights into the requirements, assumptions, and challenges of each approach.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125159857","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}

引用次数: 25

A decision-making process for exploring architectural variants in systems engineering 探索系统工程中体系结构变体的决策过程

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2946045

J. Noir, Sébastien Madelénat, G. Gailliard, C. Labreuche, M. Acher, Olivier Barais, Olivier Constant

{"title":"A decision-making process for exploring architectural variants in systems engineering","authors":"J. Noir, Sébastien Madelénat, G. Gailliard, C. Labreuche, M. Acher, Olivier Barais, Olivier Constant","doi":"10.1145/2934466.2946045","DOIUrl":"https://doi.org/10.1145/2934466.2946045","url":null,"abstract":"In systems engineering, practitioners shall explore numerous architectural alternatives until choosing the most adequate variant. The decision-making process is most of the time a manual, time-consuming, and error-prone activity. The exploration and justification of architectural solutions is ad-hoc and mainly consists in a series of tries and errors on the modeling assets. In this paper, we report on an industrial case study in which we apply variability modeling techniques to automate the assessment and comparison of several candidate architectures (variants). We first describe how we can use a model-based approach such as the Common Variability Language (CVL) to specify the architectural variability. We show that the selection of an architectural variant is a multi-criteria decision problem in which there are numerous interactions (veto, favor, complementary) between criteria. We present a tooled process for exploring architectural variants integrating both CVL and the MYRIAD method for assessing and comparing variants based on an explicit preference model coming from the elicitation of stakeholders' concerns. This solution allows understanding differences among variants and their satisfactions with respect to criteria. Beyond variant selection automation improvement, this experiment results highlight that the approach improves rationality in the assessment and provides decision arguments when selecting the preferred variants.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131310475","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}

引用次数: 6

A framework for enhanced feature models based on mathematical analysis 基于数学分析的增强特征模型框架

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2966352

Muhammad Javed

引用次数: 0