Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Muccini H., Pelliccione P. Guaranteeing correct evolution of software product lines: setting up the problem. In: SERENE 2011 - Software Engineering for Resilient Systems. Third International Workshop (Geneva, Switzerland, 29-30 September 2011). Proceedings, pp. 100 - 105. E.A. Troubitsyna (ed.). (Lecture Notes in Computer Science, vol. 6968). Springer-Verlag, 2011.
The research question that we posed ourselves and which has led to this paper is: "how can we guarantee the correct functioning of products of an SPL when core components evolve?" This exploratory paper merely proposes an overview of a novel approach that, by extending and adapting assume-guarantee reasoning to evolving SPLs, guarantees the resilience against changes in the environment of products of an SPL. The idea is to selectively model check and test assume-guarantee properties on those SPL components affected by the changes.
URL: http://www.springerlink.com/content/n535107122g4q276/
DOI: 10.1007/978-3-642-24124-6_9
Subject Software Product Lines
Assume-guarantee reasoning
Software evolution
Model problems
Formal verification
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional