首页 > 最新文献

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

英文 中文
Delta-oriented test case prioritization for integration testing of software product lines 面向增量的测试用例优先级,用于软件产品线的集成测试
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791073
R. Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer
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.
软件产品线具有允许大规模定制产品的潜力。不幸的是,由此产生的大量具有共性和差异的可能的产品变体给软件测试带来了新的挑战。理想情况下,每个产品变体都应该进行测试,特别是在安全关键系统中。然而,由于产品变体的数量呈指数增长,测试每个产品变体是不可行的。因此,需要新的概念和技术来提供有效的SPL测试策略,利用产品变体之间软件工件的共性来减少测试中的冗余。本文提出了一种基于增量建模的高效集成测试方法。我们关注测试用例的优先级。结果,对于每个产品变体,只测试最重要的测试用例,显著减少执行测试用例的数量,因为测试可以在任何给定点停止,因为资源限制,同时确保最重要的测试用例已经被覆盖。我们介绍了总体概念和我们的评估结果。结果显示,与单一软件测试方法相比,执行测试用例的减少是可测量的。
{"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 什么是功能?对工业软件产品线特性的定性研究
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
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.
特性的概念通常用于描述系统的功能性和非功能性特征。在软件产品线工程中,功能通常成为软件重用的主要实体,并用于区分产品线中的单个产品。正确地将产品线分解为功能,并在所有工程阶段正确地使用功能,是这种系统的即时和长期成功的核心。然而,尽管存在十多种不同的术语特征定义,但它仍然是一个非常抽象的概念。定义缺乏关于如何在实践中使用特征概念的具体指导。为了解决这一差距,我们提出了一个定性的实证研究,在实际工业特征的使用。我们的研究涵盖了三家大公司,并对23个特征进行了深入的、情境化的分析,这些特征被受访者认为是典型的、非典型的(异常值)、好的或坏的特征代表。使用结构化访谈,我们调查了导致特征感知的基本原理,并识别和分析了这些特征的核心特征(方面)。其中,我们发现好的特性精确地描述了与客户相关的功能,而坏的特性主要来自于草率执行的过程。异常特征,服务于不寻常的目的,是必要的,但不需要典型特征的完整工程过程。
{"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方法
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791102
J. Muñoz-Fernández, Gabriel Tamura, I. Raicu, R. Mazo, C. Salinesi
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.
模型仿真已经证明了它在评估和决策方面的有用性,可以在生产前改进工件的初步版本。特别是,仿真的主要目标之一是基于从其执行中收集的数据来验证模型属性。在本文中,我们展示了我们的REFAS框架的仿真功能,用于指定动态软件产品线和自适应系统的需求模型。仿真由一个反馈回路和一个对功能性和非功能性需求进行操作的推理引擎控制。论文贡献是三倍的。首先,REFAS允许开发人员通过他们的模拟功能来评估和改进需求模型。其次,REFAS在其交互模拟中为人类建模者提供了丰富的反馈,以做出明智的决策来改进她的模型。第三,REFAS自动生成验证模型充分性和正确性所需的仿真场景。我们通过将REFAS的应用与其他方法中使用的案例研究进行比较来评估我们的贡献。
{"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的影响
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2796539
A. R. Santos
Feature-oriented software development still register few cases of adoption in industry. At least to some extent, such lower adotion might derive from the lack of evidence of its gains in the overall software project costs. This Ph.D thesis aims to improve the state-of-the-art by adding evidence to the body of knowledge on the adoption of Software Product Line (SPL) hybrid composition approahces.
面向功能的软件开发在工业中仍然很少被采用。至少在某种程度上,这种较低的采用率可能源于缺乏在整个软件项目成本中获得收益的证据。这篇博士论文旨在通过为采用软件产品线(SPL)混合组合方法的知识体系增加证据来提高最先进的技术。
{"title":"Understanding hybrid SPL composition impact on the refactoring into SPL","authors":"A. R. Santos","doi":"10.1145/2791060.2796539","DOIUrl":"https://doi.org/10.1145/2791060.2796539","url":null,"abstract":"Feature-oriented software development still register few cases of adoption in industry. At least to some extent, such lower adotion might derive from the lack of evidence of its gains in the overall software project costs. This Ph.D thesis aims to improve the state-of-the-art by adding evidence to the body of knowledge on the adoption of Software Product Line (SPL) hybrid composition approahces.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"162 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114106760","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
OPLA-tool: a support tool for search-based product line architecture design opla工具:用于基于搜索的产品线架构设计的支持工具
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791096
Édipo Luis Féderle, T. Ferreira, T. Colanzi, S. Vergilio
The Product Line Architecture (PLA) design is a complex task, influenced by many factors such as feature modularization and PLA extensibility, which are usually evaluated according to different metrics. Hence, the PLA design is an optimization problem and problems like that have been successfully solved in the Search-Based Software Engineering (SBSE) area, by using metaheuristics such as Genetic Algorithm. Considering this fact, this paper introduces a tool named OPLA-Tool, conceived to provide computer support to a search-based approach for PLA design. OPLA-Tool implements all the steps necessary to use multi-objective optimization algorithms, including PLA transformations and visualization through a graphical interface. OPLA-Tool receives as input a PLA at the class diagram level, and produces a set of good alternative diagrams in terms of cohesion, feature modularization and reduction of crosscutting concerns.
产品线架构(PLA)设计是一项复杂的任务,受特性模块化和PLA可扩展性等诸多因素的影响,通常采用不同的指标进行评估。因此,PLA设计是一个优化问题,类似的问题已经在基于搜索的软件工程(SBSE)领域通过使用遗传算法等元启发式方法成功地解决了。考虑到这一事实,本文介绍了一个名为OPLA-Tool的工具,旨在为基于搜索的PLA设计方法提供计算机支持。OPLA-Tool实现了使用多目标优化算法所需的所有步骤,包括PLA转换和通过图形界面的可视化。OPLA-Tool在类图级别上接收PLA作为输入,并根据内聚、特征模块化和减少横切关注点产生一组良好的可选图。
{"title":"OPLA-tool: a support tool for search-based product line architecture design","authors":"Édipo Luis Féderle, T. Ferreira, T. Colanzi, S. Vergilio","doi":"10.1145/2791060.2791096","DOIUrl":"https://doi.org/10.1145/2791060.2791096","url":null,"abstract":"The Product Line Architecture (PLA) design is a complex task, influenced by many factors such as feature modularization and PLA extensibility, which are usually evaluated according to different metrics. Hence, the PLA design is an optimization problem and problems like that have been successfully solved in the Search-Based Software Engineering (SBSE) area, by using metaheuristics such as Genetic Algorithm. Considering this fact, this paper introduces a tool named OPLA-Tool, conceived to provide computer support to a search-based approach for PLA design. OPLA-Tool implements all the steps necessary to use multi-objective optimization algorithms, including PLA transformations and visualization through a graphical interface. OPLA-Tool receives as input a PLA at the class diagram level, and produces a set of good alternative diagrams in terms of cohesion, feature modularization and reduction of crosscutting concerns.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"24 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":"132904856","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}
引用次数: 21
Evaluation across multiple views for variable automation systems 对可变自动化系统进行跨多个视图的评估
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791082
Lothar Hotz, Yibo Wang, Matthias Riebisch, Olaf Götz, Josef Lackhove
Automation systems in industry are often software-intensive systems consisting of software and hardware components. During their development several engineers of different disciplines are involved, such as mechanical, electrical and software engineering. Each engineer focuses on specific system aspects to be developed. To enable an efficient development, product lines especially with feature models for variability modeling are promising technologies. In order to reduce the complexity of both feature models and development process, views on feature models can be applied. The use of views for filtering purposes constitutes an established method. However, views also enable further options missing in current approaches, such as evaluations regarding requirements, including non-functional ones. This paper presents an approach for evaluation across multiple views to enable collaborative development for developers who focus on different system aspects. We validate our approach by applying it in an industrial project for the planning of flying saws.
工业自动化系统通常是由软件和硬件组成的软件密集型系统。在他们的发展过程中,涉及到不同学科的工程师,如机械、电气和软件工程。每个工程师专注于要开发的特定系统方面。为了实现高效的开发,产品线,特别是带有可变性建模特征模型的产品线是很有前途的技术。为了降低特征模型和开发过程的复杂性,可以应用特征模型的视图。为了过滤目的而使用视图构成了一种已建立的方法。然而,视图还支持当前方法中缺少的其他选项,例如关于需求的评估,包括非功能性的评估。本文提出了一种跨多个视图进行评估的方法,以便为关注不同系统方面的开发人员提供协作开发。我们通过将其应用于飞锯规划的工业项目来验证我们的方法。
{"title":"Evaluation across multiple views for variable automation systems","authors":"Lothar Hotz, Yibo Wang, Matthias Riebisch, Olaf Götz, Josef Lackhove","doi":"10.1145/2791060.2791082","DOIUrl":"https://doi.org/10.1145/2791060.2791082","url":null,"abstract":"Automation systems in industry are often software-intensive systems consisting of software and hardware components. During their development several engineers of different disciplines are involved, such as mechanical, electrical and software engineering. Each engineer focuses on specific system aspects to be developed. To enable an efficient development, product lines especially with feature models for variability modeling are promising technologies. In order to reduce the complexity of both feature models and development process, views on feature models can be applied. The use of views for filtering purposes constitutes an established method. However, views also enable further options missing in current approaches, such as evaluations regarding requirements, including non-functional ones. This paper presents an approach for evaluation across multiple views to enable collaborative development for developers who focus on different system aspects. We validate our approach by applying it in an industrial project for the planning of flying saws.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"103 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":"116297161","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
Harnessing variability in product-lines of self-adaptive software systems 利用自适应软件系统产品线中的可变性
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791089
Nadeem Abbas, J. Andersson
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.
本文研究了自适应软件系统背景下的系统重用。在我们的工作中,我们意识到管理这种平台的可变性与传统平台相比是不同的,主要是由于运行时的可变性和系统的不确定性。由于最近的趋势表明,自适应将在未来的系统生成中更频繁地使用,并且软件重用的实践状态或研究没有提供足够的支持,我们已经调查了在这种情况下的问题和可能的解决方案。我们使用系统重用棱镜分析了这些系统的可变性,并确定了可变性管理方面的研究差距。分析将可变性处理分为四个活动:(1)识别可变性,(2)约束可变性,(3)实现可变性,以及(4)管理可变性。基于这些发现,我们设想了一个特定领域的重用框架,并提供了一个示例框架来解决一些已确定的挑战。我们认为它为具有系统重用的工程自适应软件系统提供了基本支持。我们讨论了实现这一愿景的一些重要研究途径。
{"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 基于故障的产品线测试:基于特征图突变的有效样本生成
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791074
Dennis Reuling, Johannes Bürdek, Serge Rotärmel, Malte Lochau, U. Kelter
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.
由于有大量可能的产品配置,单独测试产品线的每个成员通常是不切实际的。因此,特征模型经常被用来生成样本,即被测产品配置的子集。除了被广泛研究的用于覆盖驱动的样本生成的组合交互测试(CIT)方法外,目前很少有方法采用突变测试来模拟由样本检测的特征模型中的故障。在本文中,我们提出了一个基于突变的采样框架,用于基于故障的产品线测试。我们在特征模型的图形表示上定义了一个全面的原子突变算子目录。这样,我们就能够(1)定义复杂的突变算子来模拟更细微的故障,(2)对算子进行语义分类,例如,避免冗余和等效的突变。我们进一步引入基于相似性的突变选择和高阶突变策略来减少测试工作。我们的实现基于图形转换引擎Henshin,并根据有效性/效率权衡进行评估。
{"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中建模航空航天系统产品线
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791104
Jesús Padilla, K. Czarnecki
As the complexity of avionic systems increases, the aerospace industry is turning to product-line engineering and model-based development to better manage complexity and reduce cost. This paper describes a method and a pattern catalog for modeling avionics product lines in SysML, a standard systems modeling language. The method is designed to satisfy aerospace systems and software development standards, and the patterns provide guidance for expressing variability in SysML. The paper also reports on the experience in applying the method and the patterns to model families of propeller controllers and fuel controllers for turbo engines.
随着航空电子系统复杂性的增加,航空航天业正在转向产品线工程和基于模型的开发,以更好地管理复杂性并降低成本。本文描述了一种用标准系统建模语言SysML对航电产品线进行建模的方法和模式目录。该方法旨在满足航空航天系统和软件开发标准,并且模式为在SysML中表达可变性提供了指导。本文还介绍了将该方法和模式应用于涡轮发动机螺旋桨控制器和燃油控制器模型族的经验。
{"title":"Modeling aerospace systems product lines in SysML","authors":"Jesús Padilla, K. Czarnecki","doi":"10.1145/2791060.2791104","DOIUrl":"https://doi.org/10.1145/2791060.2791104","url":null,"abstract":"As the complexity of avionic systems increases, the aerospace industry is turning to product-line engineering and model-based development to better manage complexity and reduce cost. This paper describes a method and a pattern catalog for modeling avionics product lines in SysML, a standard systems modeling language. The method is designed to satisfy aerospace systems and software development standards, and the patterns provide guidance for expressing variability in SysML. The paper also reports on the experience in applying the method and the patterns to model families of propeller controllers and fuel controllers for turbo engines.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"9 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":"121810395","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}
引用次数: 12
Evolution in dynamic software product lines: challenges and perspectives 动态软件产品线的演变:挑战和前景
Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791101
Clément Quinton, Rick Rabiser, Michael Vierhauser, P. Grünbacher, L. Baresi
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.
在许多领域中,系统需要连续运行,不能因重新配置或维护任务而关闭。例如,网络物理系统或基于云的系统通常提供在运行时支持其适应性的方法。系统所需的灵活性和适应性建议应用软件产品线(spl)原则来管理它们的可变性并支持它们的重新配置。具体地说,动态软件产品线(dspl)已经被提出来支持运行时可变性的管理和绑定。虽然spl进化已经得到了广泛的研究,但到目前为止还没有在dspl环境中进行详细的研究。在dspl中使用的可变性模型必须共同演化,并与它们所代表的系统保持一致,以便即使在运行时对系统进行更改后也能支持重新配置。在这篇简短的文章中,我们提出了一个dspl中共同演化的问题和解空间所需操作的分类。我们分析了这些操作对dspl一致性的影响,并提出了一种处理所描述问题的方法。我们描述了一个在工业自动化软件领域中使用的运行时监控系统,作为一个dspl在运行时发展的例子,以激励和解释我们的工作。
{"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
期刊
Proceedings of the 19th International Conference on Software Product Line
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1