Compositional type checking of delta-oriented software product lines

Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina

doi:10.1007/s00236-012-0173-z

Cited by 41 publications

(112 citation statements)

References 52 publications

Supporting

Mentioning

112

Contrasting

Order By: Relevance

“…A type system for DOP, formalized for the minimal core calculus IMPERATIVE FEATHERWEIGHT DELTA JAVA(IF∆J) [7], guarantees that if an IF∆J product line is well-typed then its product generation mapping is total and all its products are welltyped Java programs (cf. Section 3.3).…”

Section: Discussionmentioning

confidence: 99%

“…DeltaJ is the archetypal language for delta-oriented programming of SPLs of Java programs [7]. A prototypical implementation of DeltaJ that supports Java 1.5, called DeltaJ 1.5, is available [22,44].…”

Section: A Recollection Of Delta-oriented Programming Of Spls Of Javamentioning

confidence: 99%

“…Such a type system has been formalized for the minimal core calculus IMPERATIVE FEATHERWEIGHT DELTA JAVA (IF∆J) [7]. However, it…”

Section: Deltaj Generation Of the Productsmentioning

confidence: 99%

“…To this aim, we consider delta-oriented programming (DOP) [36,7] (see also [1], Section 6.6.1), a recently proposed flexible approach for implementing SPLs. DOP is an extension of feature-oriented programming (FOP) [5], a prominent approach for developing SPLs (cf.…”

Section: Introductionmentioning

confidence: 99%

“…[1], Section 6.1). 1 DeltaJ [7,22,44] is the archetypal language for delta-oriented programming of SPLs of Java programs.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

A novel model-based testing approach for software product lines

et al. 2016

Self Cite

View full text Add to dashboard Cite

A novel model-based testing approach for software product lines / Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel. -In: SOFTWARE AND SYSTEMS MODELING. -ISSN 1619-ISSN -1366-ISSN . -14:4(2017, pp. 1223-1251. Original Citation:A novel model-based testing approach for software product lines Abstract Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs. In the FineFit approach, the model is expressed by a set of tables based on Parnas tables. A software product line is a family of programs (the products) with well-defined commonalities and variabilities that are developed by (re)using common artifacts. In this paper we address the issue of using the FineFit approach to support the development of correct software product lines. We specify a software product line as a specification product line where each product is a FineFit specification of the corresponding software product. The main challenge is to concisely specify the software product line while retaining the readability of the specification of a single system. To address this we used delta-oriented programming, a recently proposed flexible approach for implementing software product lines, and developed: (i) delta-tables as a means to apply the delta-oriented programming idea to the specification of software product lines; and (ii) DeltaFineFit as a novel model-based testing approach for software product lines.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: A Recollection Of Delta-oriented Programming Of Spls Of Javamentioning

confidence: 99%

“…Such a type system has been formalized for the minimal core calculus IMPERATIVE FEATHERWEIGHT DELTA JAVA (IF∆J) [7]. However, it…”

Section: Deltaj Generation Of the Productsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…[1], Section 6.1). 1 DeltaJ [7,22,44] is the archetypal language for delta-oriented programming of SPLs of Java programs.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A novel model-based testing approach for software product lines

et al. 2016

Self Cite

View full text Add to dashboard Cite

show abstract

A delta‐oriented approach to support the safe reuse of black‐box code rewriters

Benni

Mosser

Moha

et al. 2019

J Software Evolu Process

View full text Add to dashboard Cite

Large-scale corrective and perfective maintenance is often automated thanks to rewriting rules using tools such as Python2to3, Spoon, or Coccinelle. Such tools consider these rules as black-boxes and compose multiple rules by chaining them: giving the output of a given rewriting rule as input to the next one. It is up to the developer to identify the right order (if it exists) among all the different rules to yield the right program. In this paper, we define a formal model compatible with the black-box assumption that reifies the modifications (Δs) made by each rule. Leveraging these Δs, we propose a way to safely compose multiple rules when applied to the same program by (a) ensuring the isolated application of the different rules and (b) identifying unexpected behaviors that were silently ignored before. We assess this approach on two large-scale case studies: (a) identifying conflicts in the Linux source-code automated maintenance and (b) fixing energy antipatterns existing in Android applications available on GitHub.

show abstract

Compositional Feature-Oriented Systems

Dubslaff

2019

Software Engineering and Formal Methods

View full text Add to dashboard Cite

Compositional type checking of delta-oriented software product lines

Cited by 41 publications

References 52 publications

A novel model-based testing approach for software product lines

A novel model-based testing approach for software product lines

A delta‐oriented approach to support the safe reuse of black‐box code rewriters

Compositional Feature-Oriented Systems

Contact Info

Product

Resources

About