Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Muccini H., Pelliccione P. Assume-Guarantee Testing of Evolving Software Product Line Architectures. In: SERENE 2012 - International Workshop on Software Engineering for Resilient Systems (Pisa, Italy, 27-28 September 2012). Proceedings, vol. 7527 pp. 91 - 105. P. Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.
Despite some work on testing software product lines, maintaining the quality of products when a software product line evolves is still an open problem. In this paper, we propose a novel assume-guarantee testing approach as a solution to the following research question: how can we verify the correct functioning of products of an software product line when core components evolve? The underlying idea is to retest only some of the products that conform to the software product line architecture and to infer, using assume-guarantee reasoning, the correctness of the other products. Assume-guarantee reasoning moreover permits the retesting of only those components that are affected by the changes.
DOI: http://dx.doi.org/10.1007/978-3-642-33176-3_7
Subject Assume-guarantee testing
Evolving software product lines
Software testing
Compositional verification
D.2.2: Design Tools and Techniques
D.2.4: Software/Program Verification - Formal methods, 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