首页 > 最新文献

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

英文 中文
Validating Partial Configurations of Product Lines 验证产品线的部分配置
Mustafa Al-Hajjaji, U. Ryssel, M. Schulze
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.
配置产品线的新变体并不总是一次性的任务。在某些情况下,许多涉众都参与到配置过程中。例如,如果不同的涉众负责产品线的不同部分,并且不允许他们查看已在前面步骤中配置的产品线的特定部分,则需要这样做。因此,可以执行部分派生,其中配置过程的一部分可以由某些涉众完成,而其余的配置过程可以由其他人完成。验证部分配置是一项具有挑战性的任务,因为某些特性的选择状态仍然是打开的。除了这些特征的开放选择状态之外,还需要处理属性值、表达式计算以及约束,因为它们可以使用尚未定义的信息。因此,需要一个能够处理上述挑战的验证器。在本文中,我们讨论了如何在不同情况下验证部分构型。虽然这些讨论的案例可以在一般情况下应用,但我们在本文中将重点放在将它们应用于工业变量管理工具pure::variant上。
{"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 部分注释模型中可变性注释的确定
Sandra Greiner, B. Westfechtel
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.
在模型驱动软件产品线工程(simple)中,产品的超集是在模型之上开发的。特征模型通常描述软件的区别性和共性因素。在注释方法中,模型元素与可变性注释相关联,可变性注释是定义产品中元素可见的特征上的布尔表达式。当产品线在不同的模型上定义时,开发人员希望注释一种类型的模型,并将其转换为不同的表示,例如,将(UML)类图转换为关系数据库模式,以建立对象-关系映射。手动将注释分配给目标模型是一项容易出错且费力的任务。在黑盒方法中,我们自动将正确的注释分配给目标模型,而无需分析转换规范。在1:1映射的情况下,这是一项简单的任务,源元素的注释被复制到目标模型中的相应元素。通常这种类型的信息是可用的,例如,在转换执行期间写入的跟踪中。在现实中,更复杂的映射频繁出现,但其对应关系难以确定。假设目标模型已经使用1:1对应的注释进行了注释,那么仍有一定数量的元素没有注释。本文提出了在部分标注模型中确定缺失标注的策略。我们将全局包含策略与考虑模型结构的更复杂的策略进行比较。由于我们在一个模型上局部应用了缺失的注释,因此我们解决了一个通用的spe问题,即完全注释的模型减少了用户的手工工作,并且适合过滤。
{"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 软件测试过程与工具组合可变性管理
Kristof Meixner, D. Winkler, S. Biffl
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.
上下文。依赖于持续和自动化测试的现代软件工程方法,如敏捷软件工程和后期的DevOps运动,需要集成和功能齐全的测试工具链环境,以有效地识别软件工件中的缺陷。这样的环境包括开发团队使用的已建立的测试过程的实现。然而,在实践中,不同的测试工具链和过程取决于特定的项目需求,如编程语言、选择的测试工具或系统架构。所需的各种技术和过程经常导致孤立的测试自动化解决方案的环境。因此,需要一组考虑结构化方法来集成可变性的可管理和可控的测试工具链变体。的目标。在本文中,我们展示了正在进行的工作,作为灵活的测试自动化框架(TAF)的一部分,重点关注测试工具链的可变性需求,建立的测试过程,以及候选的解决方案方法。方法。我们以软件和系统测试以及可变性管理的最佳实践为基础,在TAF中实现可变性。结果。第一个结果表明,存在几个测试自动化(TA)解决方案,它们以有限的方式支持可变性,因此,增加了在灵活的TAF中建模可变性的需求。结论。在软件测试自动化的上下文中,用于测试体系结构、业务过程和公共接口定义的可变性建模(VM)方法的组合有望实现支持灵活的工具和过程集成的TAF。
{"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系统
S. Krieter, Tobias Thiem, Thomas Leich
In the light of computational outsourcing and external data storage, data protection and trusted execution become increasingly important. Novel hardware such as Intel's Software Guard extensions (SGX) attempts to provide a solution to protect data and computations from unauthorized access and manipulation, even against attackers with physical access to a machine. However, the current generation of SGX limits the protected memory space that can be efficiently used to 128 MiB, which must be shared between data and binary code. Thus, we propose to use a software product line approach to tailor an application's binary code in such a way that it can be updated during runtime, with the goal to only store relevant features in the protected memory at a given time. We provide a prototypical implementation that enables basic support for loading and unloading features during runtime and evaluate our prototype in terms of execution times against non-adaptive execution.
在计算外包和外部数据存储的背景下,数据保护和可信执行变得越来越重要。英特尔的Software Guard扩展(SGX)等新型硬件试图提供一种解决方案,以保护数据和计算免受未经授权的访问和操纵,甚至可以抵御对机器进行物理访问的攻击者。但是,当前一代SGX限制了可以有效使用的保护内存空间为128 MiB,必须在数据和二进制代码之间共享。因此,我们建议使用软件产品线方法来定制应用程序的二进制代码,使其可以在运行时更新,目标是在给定时间仅将相关特性存储在受保护的内存中。我们提供了一个原型实现,它支持在运行时加载和卸载特性,并根据执行时间和非自适应执行来评估我们的原型。
{"title":"Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems","authors":"S. Krieter, Tobias Thiem, Thomas Leich","doi":"10.1145/3302333.3302340","DOIUrl":"https://doi.org/10.1145/3302333.3302340","url":null,"abstract":"In the light of computational outsourcing and external data storage, data protection and trusted execution become increasingly important. Novel hardware such as Intel's Software Guard extensions (SGX) attempts to provide a solution to protect data and computations from unauthorized access and manipulation, even against attackers with physical access to a machine. However, the current generation of SGX limits the protected memory space that can be efficiently used to 128 MiB, which must be shared between data and binary code. Thus, we propose to use a software product line approach to tailor an application's binary code in such a way that it can be updated during runtime, with the goal to only store relevant features in the protected memory at a given time. We provide a prototypical implementation that enables basic support for loading and unloading features during runtime and evaluate our prototype in terms of execution times against non-adaptive execution.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"30 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":"131344649","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}
引用次数: 5
A Literature Review and Comparison of Three Feature Location Techniques using ArgoUML-SPL ArgoUML-SPL三种特征定位技术的文献综述及比较
Daniel Cruz, Eduardo Figueiredo, Jabier Martinez
Over the last decades, the adoption of Software Product Line (SPL) engineering for supporting software reuse has increased. An SPL can be extracted from one single product or from a family of related software products, and feature location strategies are widely used for variability mining. Several feature location strategies have been proposed in the literature and they usually aim to map a feature to its source code implementation. In this paper, we present a systematic literature review that identifies and characterizes existing feature location strategies. We also evaluated three different strategies based on textual information retrieval in the context of the ArgoUML-SPL feature location case study. In this evaluation, we compare the strategies based on their ability to correctly identify the source code of several features from ArgoUML-SPL ground truth. We then discuss the strengths and weaknesses of each feature location strategy.
在过去的几十年里,为支持软件重用而采用软件产品线(SPL)工程的情况有所增加。SPL可以从单个产品或一系列相关软件产品中提取,特征定位策略被广泛用于变异性挖掘。文献中已经提出了几种特征定位策略,它们通常旨在将特征映射到其源代码实现。在本文中,我们提出了一个系统的文献综述,以识别和表征现有的特征定位策略。在ArgoUML-SPL特征定位案例研究中,我们还评估了基于文本信息检索的三种不同策略。在这个评估中,我们基于正确识别ArgoUML-SPL的几个特征的源代码的能力来比较这些策略。然后,我们讨论了每种特征定位策略的优缺点。
{"title":"A Literature Review and Comparison of Three Feature Location Techniques using ArgoUML-SPL","authors":"Daniel Cruz, Eduardo Figueiredo, Jabier Martinez","doi":"10.1145/3302333.3302343","DOIUrl":"https://doi.org/10.1145/3302333.3302343","url":null,"abstract":"Over the last decades, the adoption of Software Product Line (SPL) engineering for supporting software reuse has increased. An SPL can be extracted from one single product or from a family of related software products, and feature location strategies are widely used for variability mining. Several feature location strategies have been proposed in the literature and they usually aim to map a feature to its source code implementation. In this paper, we present a systematic literature review that identifies and characterizes existing feature location strategies. We also evaluated three different strategies based on textual information retrieval in the context of the ArgoUML-SPL feature location case study. In this evaluation, we compare the strategies based on their ability to correctly identify the source code of several features from ArgoUML-SPL ground truth. We then discuss the strengths and weaknesses of each feature location strategy.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"70 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":"125100039","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}
引用次数: 23
An Exploratory Study on Migrating Single-Products towards Product Lines in Startup Contexts 创业环境下单产品向产品线迁移的探索性研究
Mercy N. Njima, S. Demeyer
A majority of technology startups fail; inadequate software engineering practices are known to be a contributing factor. The smooth transitioning towards software product lines in particular is a major stumbling block for startups that must broaden their product portfolio to deal with divergent demands imposed by the market. We conducted a preliminary study within two software engineering startups, which revealed the motivating factors and benefits that would lead to the migration from a single product into a product line. Despite the benefits, tackling the challenges foreseen and the identification of features and their relations in the current product is the crucial first step towards implementing an appropriate highly-configurable product portfolio.
大多数科技创业公司都失败了;不充分的软件工程实践被认为是一个促成因素。特别是向软件产品线的平稳过渡是初创公司的主要障碍,它们必须扩大产品组合,以应对市场施加的不同需求。我们在两个软件工程初创公司中进行了初步研究,揭示了将导致从单一产品迁移到产品线的激励因素和好处。尽管有这些好处,但解决可预见的挑战,识别当前产品中的功能及其关系,是实现适当的高度可配置产品组合的关键第一步。
{"title":"An Exploratory Study on Migrating Single-Products towards Product Lines in Startup Contexts","authors":"Mercy N. Njima, S. Demeyer","doi":"10.1145/3302333.3302347","DOIUrl":"https://doi.org/10.1145/3302333.3302347","url":null,"abstract":"A majority of technology startups fail; inadequate software engineering practices are known to be a contributing factor. The smooth transitioning towards software product lines in particular is a major stumbling block for startups that must broaden their product portfolio to deal with divergent demands imposed by the market. We conducted a preliminary study within two software engineering startups, which revealed the motivating factors and benefits that would lead to the migration from a single product into a product line. Despite the benefits, tackling the challenges foreseen and the identification of features and their relations in the current product is the crucial first step towards implementing an appropriate highly-configurable product portfolio.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"35 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":"127609459","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}
引用次数: 5
Testing Tools for Configurable Software Systems: A Review-based Empirical Study 可配置软件系统的测试工具:基于回顾的实证研究
Fischer Ferreira, J. P. Diniz, Cleiton Silva Tavares, Eduardo Figueiredo
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.
可配置软件系统是可以根据一组特性进行调整或配置的软件系统,其目标是提高重用和生产力。然而,测试可配置系统是非常具有挑战性的,因为每个测试都要运行大量的配置,从而导致配置和测试数量的组合爆炸。目前,已经提出了几种测试技术和工具来处理这一挑战,但它们的潜在实际应用仍未被探索。缺乏研究来探索应用这些技术的工具,这促使我们调查文献来寻找可配置软件系统的测试工具,并了解它们是如何工作的。在本文中,我们对可配置软件系统进行了系统的映射,并确定了34种测试工具。我们首先总结和讨论了它们的主要特点。然后,我们设计并进行了比较实证研究,发现主要的声音测试工具:VarexJ和SPLat。它们被认为是可靠的测试技术,因为它们从给定的测试中探索所有可到达的配置。总的来说,我们观察到,在测试目标系统时,VarexJ和SPLat在效率方面给出了不同的结果,尽管VarexJ在大多数目标系统中发现的错误比SPLat更多,但这样的结果值得更深入的研究,因为我们预计它们遇到的错误交集会更高。
{"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 可变性密集型软件系统:产品线及其他
M. Galster
Product line engineering emerged from the software reuse and generative programming movements of the 70s. However, in today's competitive and fast-paced markets where users expect software to adapt to their specific needs, most modern software-intensive products and services are variability-intensive, regardless of whether they are part of a product line or not. In this talk, we explore how building variability-intensive software systems influences the various software product lifecycle stages. Furthermore, we look beyond variability in functional features: We explore the role of quality attributes in the design of variability-intensive software systems and discuss how to address the challenge of identifying and managing variability in quality attributes. Finally, based on the example of software product line research, we explore how research on variability has been changing over time and if research trends in industry and academia have diverged.
产品线工程起源于70年代的软件重用和生成式编程运动。然而,在当今竞争激烈且快节奏的市场中,用户期望软件能够适应他们的特定需求,大多数现代软件密集型产品和服务都是可变密集型的,无论它们是否属于产品线的一部分。在这次演讲中,我们将探讨构建可变性密集型软件系统如何影响软件产品生命周期的各个阶段。此外,我们超越了功能特性中的可变性:我们探索了在可变性密集的软件系统设计中的质量属性的角色,并讨论了如何处理识别和管理质量属性中的可变性的挑战。最后,基于软件产品线研究的例子,我们探讨了对可变性的研究是如何随着时间的推移而变化的,以及工业界和学术界的研究趋势是否出现了分歧。
{"title":"Variability-intensive Software Systems: Product Lines and Beyond","authors":"M. Galster","doi":"10.1145/3302333.3302336","DOIUrl":"https://doi.org/10.1145/3302333.3302336","url":null,"abstract":"Product line engineering emerged from the software reuse and generative programming movements of the 70s. However, in today's competitive and fast-paced markets where users expect software to adapt to their specific needs, most modern software-intensive products and services are variability-intensive, regardless of whether they are part of a product line or not. In this talk, we explore how building variability-intensive software systems influences the various software product lifecycle stages. Furthermore, we look beyond variability in functional features: We explore the role of quality attributes in the design of variability-intensive software systems and discuss how to address the challenge of identifying and managing variability in quality attributes. Finally, based on the example of software product line research, we explore how research on variability has been changing over time and if research trends in industry and academia have diverged.","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":"122441524","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
Variability Modeling of Service Robots: Experiences and Challenges 服务机器人的可变性建模:经验与挑战
Sergio García, D. Strüber, D. Brugali, Alessandro Di Fava, Philipp Schillinger, Patrizio Pelliccione, T. Berger
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.
感知、规划、控制和推理都是类似人类的能力,可以在自主机器人中人工复制。这样的机器人实现了基于大量理论的数据结构和算法,从概率论、力学、控制理论到行为学、经济学和认知科学。软件在机器人系统的发展中起着关键作用,因为它是体现机器智能的媒介。然而,在过去的几年中,由于三个因素,软件开发日益成为机器人系统工程的瓶颈:(a)软件开发主要基于社区的努力,而不是由关键利益相关者协调;(b)机器人技术的特点是高度可变性,使得软件的重用成为一项具有挑战性的实践;(三)机器人开发人员通常没有受过软件工程方面的专门培训。在本文中,我们阐述了我们在服务机器人领域识别、建模和管理可变性方面的经验,这些经验来自欧盟、学术和工业项目。我们希望提高对机器人软件工程中特定变异性挑战的认识,并激励其他研究人员推进这一领域。
{"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 第十三届软件密集型系统可变性建模研讨会前言
Gilles Perrouin, Danny Weyns
{"title":"Preface to the Thirteenth Workshop on Variability Modelling of Software-intensive Systems","authors":"Gilles Perrouin, Danny Weyns","doi":"10.1145/3302333.3302334","DOIUrl":"https://doi.org/10.1145/3302333.3302334","url":null,"abstract":"","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"132 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":"115900070","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
期刊
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems
全部 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