Efficient Verification of Evolving Software Product Lines

• Published in: Fundamentals of Software Engineering Vol. 7141; pp. 351 - 358
• Main Authors: Sabouri, Hamideh, Khosravi, Ramtin
• Format: Book Chapter
• Language: English
• Published: Germany Springer Berlin / Heidelberg 2012; Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Feature Model; Product Family; Product Line; State Space; Variation Point
• ISBN: 9783642293191; 3642293190
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-29320-7_24

Software product line engineering represents a promising approach to achieve systematic reuse in development of families of software. Software product lines are intended to be used in a long period of time. As a result, they evolve over time, due to the changes in the requirements. Having several individual products in a software family, verification of the entire software family may take a considerable effort. In this paper, we present an idea for efficient verification of evolving software product lines, by reusing the result of verification and state space of the product family. To this end, we generate the state space of the product family once and verify the desired properties. The result of verification is the set of products satisfying the given properties. When the product line evolves, we may use the result of verification, and the state space to produce new results, and update the existing state space. We show the applicability of our approach by applying it on a small case study.