Formalizing Traceability and Derivability in Software Product Lines

Details Formalizing Traceability and Derivability in Software Product Lines Formalizing Traceability and Derivability in Software Product Lines

2012-01-03

arxiv.org/abs/1201.0595v1

Computer Science

Software Engineering

Scientific paper

In the literature, the definition of product in a Software Product Line (SPL) is based upon the notion of consistency of the constraints, imposed by variability and traceability relations on the elements of the SPL. In this paper, we contend that consistency does not model the natural semantics of the implementability relation between problem and solution spaces correctly. Therefore, we define when a feature can be {\em derived} from a set of components . Using this, we define a product of the SPL by a pair, where all the features in the specification are derived from the components in the architecture. This notion of derivability is formulated in a simple yet expressive, abstract model of a productline with traceability relation. We then define a set of SPL analysis problems and show that these problems can be encoded as Quantified Boolean Formulas. Then, QSAT solvers like QUBE can be used to solve the analysis problems. We illustrate the methodology on a small fragment of a realistic productline.

Affiliated with

Also associated with

No associations

Rating

Formalizing Traceability and Derivability in Software Product Lines does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formalizing Traceability and Derivability in Software Product Lines, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalizing Traceability and Derivability in Software Product Lines will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-183628