Sciweavers

Share
ASE
2005

Tool-Supported Verification of Product Line Requirements

9 years 9 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no automated way to verify the completeness and consistency of the new product's requirements in terms of the product line. In this paper we address the issue of requirements verification for product lines. We have implemented our approach in a requirements engineering tool called DECIMAL (DECIsion Modeling AppLication). DECIMAL is a requirements verification tool with a rich graphical user interface that automatically checks for completeness and consistency between a new product and the product line to which it belongs. The verification uses a SQL database server as the underlying analysis engine. The paper describes the tool and evaluates it in two applications: a virtual-reality, positional device-driver product line and the featureinteraction resolution problem.
Prasanna Padmanabhan, Robyn R. Lutz
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where ASE
Authors Prasanna Padmanabhan, Robyn R. Lutz
Comments (0)
books