scholarly journals Software Product Line Analysis Using Variability-aware Datalog

2021 ◽  
Author(s):  
Ramy Shahin ◽  
Murad Akhundov ◽  
marsha chechik
Keyword(s):  
Research Problem ◽  
Product Line ◽  
Product Lines ◽  
C Language ◽  
Lifted Inference ◽  
Software Analysis ◽  
Software Product ◽  
Database Size ◽  
Fundamental Research ◽  
Line Engineering

Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection<br>of Product Line Engineering and software analysis. Different attempts have been made to "lift" particular product-level analyses to run on the entire product line. In this paper, we tackle the class of Datalog-based analyses (e.g., pointer and taint analyses), study the theoretical aspects of lifting Datalog inference, and implement a lifted inference algorithm inside the Souffl  Datalog engine. We evaluate our implementation on a set of Java and C-language benchmark product lines. We show significant savings in processing time and fact database size (billions of times faster on one of the benchmarks) compared to brute-force analysis of each product individually.

scholarly journals Software Product Line Analysis Using Variability-aware Datalog

2021 ◽  
Author(s):  
Ramy Shahin ◽  
Murad Akhundov ◽  
marsha chechik
Keyword(s):  
Research Problem ◽  
Product Line ◽  
Product Lines ◽  
C Language ◽  
Lifted Inference ◽  
Software Analysis ◽  
Software Product ◽  
Database Size ◽  
Fundamental Research ◽  
Line Engineering

Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection<br>of Product Line Engineering and software analysis. Different attempts have been made to "lift" particular product-level analyses to run on the entire product line. In this paper, we tackle the class of Datalog-based analyses (e.g., pointer and taint analyses), study the theoretical aspects of lifting Datalog inference, and implement a lifted inference algorithm inside the Souffl  Datalog engine. We evaluate our implementation on a set of Java and C-language benchmark product lines. We show significant savings in processing time and fact database size (billions of times faster on one of the benchmarks) compared to brute-force analysis of each product individually.

An Industrial Case Study on Managing Variability with Traceability in Software Product Lines

2015 ◽  
Vol 3 (1) ◽  
pp. 1-15 ◽  
Author(s):  
Taeho Kim ◽  
Sungwon Kang
Keyword(s):  
Product Line ◽  
Washing Machine ◽  
Product Lines ◽  
Industrial Case Study ◽  
Rapid Product Development ◽  
Software Product ◽  
Software Engineers ◽  
Requirement Changes ◽  
Line Engineering

In order to successfully carry out software product line engineering, it is important to manage variability and explicit traceability management of variabilities with development artifacts. Trace links of variability with development artifacts allows software engineers to have rapid product development and reduces maintenance efforts resulting from requirement changes or defect corrections as trace links improve the understandability of their side effects. In this study, the authors present a Variability Tracing Approach (VTA), which consists of variability analysis, variability classification, and variability implementation. The proposed approach is applied to developing the development of a washing machine software platform. This paper describes the results of how a member product can be configured under the proposed VTA.

scholarly journals A LITERATURE REVIEW ON FEATURE DIAGRAM PRODUCT COUNTING AND ITS USAGE IN SOFTWARE PRODUCT LINE ECONOMIC MODELS

2013 ◽  
Vol 23 (08) ◽  
pp. 1177-1204 ◽  
Author(s):  
RUBEN HERADIO ◽  
DAVID FERNANDEZ-AMOROS ◽  
JOSE A. CERRADA ◽  
ISMAEL ABAD
Keyword(s):  
Cost Savings ◽  
Economic Models ◽  
Automated Analysis ◽  
Software Product Line ◽  
Product Line ◽  
Product Lines ◽  
Software Product ◽  
Feature Diagram ◽  
The Cost ◽  
Line Engineering

In software product line engineering, feature diagrams are a popular means to represent the similarities and differences within a family of related systems. In addition, feature diagrams implicitly model valuable information that can be used in economic models to estimate the cost savings of a product line. In particular, this paper reviews existing proposals on computing the total number of products modeled with a feature diagram and, given a feature, the number of products that implement it. This paper also reviews the economic information that can be estimated when such numbers are known. Thus, this paper contributes by bringing together previously-disparate streams of work: the automated analysis of feature diagrams and economic models for product lines.

scholarly journals Validation of RP-SPF Framework: A Systematic Method for Requirements Reuse in Software Product Lines

2019 ◽  
Vol 9 (1) ◽  
pp. 3423-3426
Keyword(s):  
Software Development ◽  
Requirements Engineering ◽  
Domain Engineering ◽  
Product Line ◽  
Product Lines ◽  
Systematic Method ◽  
Product Families ◽  
Software Product ◽  
Application Engineering ◽  
Line Engineering

Reuse of requirements is crucial activity in software development especially across software product line engineering (SPLE), which involves two main processes known as domain engineering and application engineering. With these two processes SPLE enables systematic reuse of requirements through proper planning and development. This paper presents methodology and result of survey of experts for validating a proposed systematic requirement reuse approach named requirements pattern for software product families (RP-SPF) framework. During the survey, 14 experts in requirements engineering (RE), SPLE and software development responded and gave their opinions on RP-SPF framework. The result of the survey shows that RP-SPF approach is suitable and can effectively improve requirements engineering activities of SPLE.

scholarly journals Software product-line evaluation in the large

2021 ◽  
Vol 26 (2) ◽  
Author(s):  
Robert Lindohf ◽  
Jacob Krüger ◽  
Erik Herzog ◽  
Thorsten Berger
Keyword(s):  
Large Scale ◽  
Software Product Line ◽  
Product Line ◽  
Evaluation Framework ◽  
Business Strategies ◽  
Product Lines ◽  
Product Line Engineering ◽  
Product Line Architecture ◽  
Software Product ◽  
Line Engineering

AbstractSoftware product-line engineering is arguably one of the most successful methods for establishing large portfolios of software variants in an application domain. However, despite the benefits, establishing a product line requires substantial upfront investments into a software platform with a proper product-line architecture, into new software-engineering processes (domain engineering and application engineering), into business strategies with commercially successful product-line visions and financial planning, as well as into re-organization of development teams. Moreover, establishing a full-fledged product line is not always possible or desired, and thus organizations often adopt product-line engineering only to an extent that deemed necessary or was possible. However, understanding the current state of adoption, namely, the maturity or performance of product-line engineering in an organization, is challenging, while being crucial to steer investments. To this end, several measurement methods have been proposed in the literature, with the most prominent one being the Family Evaluation Framework (FEF), introduced almost two decades ago. Unfortunately, applying it is not straightforward, and the benefits of using it have not been assessed so far. We present an experience report of applying the FEF to nine medium- to large-scale product lines in the avionics domain. We discuss how we tailored and executed the FEF, together with the relevant adaptations and extensions we needed to perform. Specifically, we elicited the data for the FEF assessment with 27 interviews over a period of 11 months. We discuss experiences and assess the benefits of using the FEF, aiming at helping other organizations assessing their practices for engineering their portfolios of software variants.

scholarly journals Development of a plug-in for Variability Modeling in Software Product Lines

2012 ◽  
Vol 22 ◽  
pp. 134-140
Author(s):  
María Karen Cortés-Verdín ◽  
María Lucía López-Araujo ◽  
Jorge Octavio Ocharán-Hernández
Keyword(s):  
Software Product Lines ◽  
Software Product Line ◽  
Product Line ◽  
Levels Of Abstraction ◽  
Product Lines ◽  
Product Line Engineering ◽  
Variability Modeling ◽  
Software Product Line Engineering ◽  
Software Product ◽  
Line Engineering

Software Product Lines (SPL) take economic advantage of commonality and variability among a set of software systems that exist within a specific domain. Therefore, Software Product Line Engineering defines a series of processes for the development of a SPL that consider commonality and variability during the software life cycle. Variability modeling is therefore an essential activity in a Software Product Line Engineering approach. There are several techniques for variability modeling nowadays. COVAMOF stands out among them since it allows the modeling of variation points, variants and dependencies as first class elements. COVAMOF, therefore, provides an uniform manner for representing such concepts in different levels of abstraction within a SPL. In order to take advantage of COVAMOF benefits, it is necessary to have a computer aided tool, otherwise variability modeling and management canbe a hard tasks for the software engineer. This paper presents the development of a Eclipse plug-in for COVAMOF.

Sign in / Sign up

Export Citation Format

Share Document