Abstract
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. © 2012 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Ter Beek, M. H., Muccini, H., & Pelliccione, P. (2012). Assume-guarantee testing of evolving software product line architectures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7527 LNCS, pp. 91–105). https://doi.org/10.1007/978-3-642-33176-3_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
