2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE)最新文献

Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing 基于相似性的产品线测试的面向delta的产品优先级

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017.8

Mustafa Al-Hajjaji, Sascha Lity, R. Lachmann, Thomas Thüm, Ina Schaefer, G. Saake

引用次数: 31

Implementing Operations to Combine Feature Models: The Conditional Intersection Case 实现组合特征模型的操作:条件交集情况

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017.2

J. Chavarriaga, R. Casallas, V. Jonckers

{"title":"Implementing Operations to Combine Feature Models: The Conditional Intersection Case","authors":"J. Chavarriaga, R. Casallas, V. Jonckers","doi":"10.1109/VACE.2017.2","DOIUrl":"https://doi.org/10.1109/VACE.2017.2","url":null,"abstract":"In order to reduce the complexity of modeling product lines, many authors propose modeling product concerns separately by using multiple feature models. These proposals use well-known operations such as merge, union and slice to compose the models for analysis and engineering. Such operations produce new models that represent sets of products that comply with the semantics of the operations. We use different feature models, which were independently created by various experts, to represent: (1) domain concerns and (2) standards and regulations. When experts want to analyze the interactions among the models, they need to work collaboratively and compose their own models. This paper (1) introduces the Conditional Intersection Merge – an operation to combine a feature model for a domain with a feature model for a standard, in which the resulting model includes an optional feature that represents the standard and a set of constraints that enforce the rules of the standard whenever that feature is selected – (2) presents a review of different techniques that can be applied to implement the aforementioned operation, and (3) describes a new approach to implement operations by combining feature models, which only adds constraints to one of the input models.","PeriodicalId":391663,"journal":{"name":"2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE)","volume":"2014 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129636846","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}

引用次数: 1

Efficient Mutation Testing in Configurable Systems 可配置系统中的高效突变测试

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017.3

Mustafa Al-Hajjaji, J. Krüger, Fabian Benduhn, Thomas Leich, G. Saake

引用次数: 12

Evaluating Delta-Oriented Programming for Evolving Software Product Lines 为不断发展的软件产品线评估面向增量的编程

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017..7

J. P. Diniz, Gustavo Vale, Felipe Nunes Gaia, Eduardo Figueiredo

引用次数: 2

Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems 面向动态软件产品线系统的在线和离线集体测试

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017.5

Joachim Hänsel, H. Giese

引用次数: 6

Type-Safe Evolution of Web Services Web服务的类型安全演化

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017.6

João Campinhos, J. Seco, Jácome Cunha

{"title":"Type-Safe Evolution of Web Services","authors":"João Campinhos, J. Seco, Jácome Cunha","doi":"10.1109/VACE.2017.6","DOIUrl":"https://doi.org/10.1109/VACE.2017.6","url":null,"abstract":"Applications based on micro or web services have had significant growth due to the exponential increase in the use of mobile devices. However, using such kind of loosely coupled interfaces provides almost no guarantees to the developer in terms of evolution. Changes to service interfaces can be introduced at any moment, which may cause the system to fail due to mismatches between communicating parts. In this paper, we present a programming model that allows the development of web service applications, server end-points and their clients, in such a way that the evolution of services' implementation does not cause the disruption of the client. Our approach is based on a type based code slicing technique that ensures that each version only refers to type compatible code, of the same version or of a compatible version, and that each client request is redirected to the most recent type compatible version implemented by the server. We abstract the notion of version and parametrize type compatibility on the relation between versions. The relation between versions is tagged with compatibility levels, so to capture the common conventions used in software development. Our implementation allows multiple versions of a service to be deployed simultaneously, while reusing code between versions in a type safe way. We describe a prototype framework, based on code transformation, for server-side JavaScript code, and using Flow as verification tool.","PeriodicalId":391663,"journal":{"name":"2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130537582","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

Generating Members from Framework Product Lines Employing a Model-Based Approach 使用基于模型的方法从框架产品线生成成员

2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE) Pub Date : 2017-05-20 DOI: 10.1109/VACE.2017.4

V. H. S. C. Pinto

{"title":"Generating Members from Framework Product Lines Employing a Model-Based Approach","authors":"V. H. S. C. Pinto","doi":"10.1109/VACE.2017.4","DOIUrl":"https://doi.org/10.1109/VACE.2017.4","url":null,"abstract":"Software Product Line (SPL) consists in an approach that enables software reuse by allowing the creation of software applications through the features composition to address a particular domain. Framework Product Line (FPL) is an extension of SPL, whose features composition result in targeted frameworks, which are used to address subdomains of applications. Model-Driven Engineering is a promising technique to deal with features in an efficient and producing manner. Nonetheless, there is no tool yet that makes the modularization and composition process in the FPL context possible. Thus, we have developed the FPLGenerator, which supports two main perspectives: (i) Domain Engineers may build a feature model in requirements-level to target FPL and to modularize their legacy frameworks to FPLs and (ii) Application Engineers may select a subset of features from FPL, generating the corresponding member, ready to be instantiated. The main goal of this tool is to allow the conversion of inflexible frameworks to FPLs through the use of driven feature refactoring. In this paper, we revisit the FPL concept and the main characteristics of FPLGenerator are discussed. As an illustrative example, an FPL called GRENJFPL is used to show the FPLGenerator usage. When it comes to composability and productivity, the preliminary results were found to be relevant to the FPL context.","PeriodicalId":391663,"journal":{"name":"2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120943964","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