Skip to main content
SpringerLink
Log in

Assume-Guarantee Testing of Evolving Software Product Line Architectures

  • Conference paper
Software Engineering for Resilient Systems (SERENE 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7527))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley (2002)

    Google Scholar 

  2. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)

    Google Scholar 

  3. ter Beek, M.H., Muccini, H., Pelliccione, P.: Guaranteeing Correct Evolution of Software Product Lines: Setting up the Problem. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol. 6968, pp. 100–105. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  4. Giannakopoulou, D., Pasareanu, C., Blundell, C.: Assume-guarantee testing for software components. IET Softw. 2(6), 547–562 (2008)

    Article  Google Scholar 

  5. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: SPLC 2011 Conference Proceedings, pp. 130–139. IEEE Press (2011)

    Google Scholar 

  6. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Design and Validation of Variability in Product Lines. In: PLEASE 2011 Workshop Proceedings, pp. 25–30. ACM Press (2011)

    Google Scholar 

  7. ter Beek, M.H., Mazzanti, F., Sulova, A.: VMC: A Tool for Product Variability Analysis. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 450–454. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model Checking Software Product Lines with SNIP. To appear in Int. J. Softw. Tools Technol. Transfer (2012)

    Google Scholar 

  9. Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: ICSE 2011 Conference Proceedings, pp. 321–330. ACM Press (2011)

    Google Scholar 

  10. Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE 2010 Conference Proceedings, pp. 335–344. ACM Press (2010)

    Google Scholar 

  11. Fischbein, D., Uchitel, S., Braberman, V.A.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA 2006 Workshop Proceedings, pp. 39–48. ACM Press (2006)

    Google Scholar 

  12. Lauenroth, K., Pohl, K., Toehning, S.: Model Checking of Domain Artifacts in Product Line Engineering. In: ASE 2009 Conference Proceedings, pp. 269–280. IEEE Press (2009)

    Google Scholar 

  13. Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., le Traon, Y.: Pairwise Testing for Software Product Lines: Comparison of Two Approaches. To appear in Software Qual. J. (2012)

    Google Scholar 

  14. Schaefer, I., Gurov, D., Soleimanifard, S.: Compositional Algorithmic Verification of Software Product Lines. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 184–203. Springer, Heidelberg (2011)

    Google Scholar 

  15. Thüm, T., Schaefer, I., Kuhlemann, M., Apel, S.: Proof Composition for Deductive Verification of Software Product Lines. In: ICSTW 2011 Conference Proceedings, pp. 270–277. IEEE Press (2011)

    Google Scholar 

  16. da Mota Silveira Neto, P.A.: A Regression Testing Approach for Software Product Lines Architectures: Selecting an efficient and effective set of test cases. LAP (2010)

    Google Scholar 

  17. da Mota Silveira Neto, P.A., do Carmo Machado, I., McGregor, J.D., de Almeida, E.S., de Lemos Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol. 53(5), 407–423 (2011)

    Article  Google Scholar 

  18. Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University (1981)

    Google Scholar 

  19. Pnueli, A.: In Transition from Global to Modular Temporal Reasoning about Programs. In: Logics and Models of Concurrent Systems, pp. 123–144. Springer (1985)

    Google Scholar 

  20. Cobleigh, J.M., Avrunin, G.S., Clarke, L.A.: Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17(2), 1–52 (2008)

    Article  Google Scholar 

  21. Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: SEAMS 2009 Workshop Proceedings, pp. 106–115 (2009)

    Google Scholar 

  22. Cobleigh, J.M., Giannakopoulou, D., Păsăreanu, C.S.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 331–346. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  23. Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3), 297–320 (2005)

    Article  Google Scholar 

  24. Engström, E., Runeson, P.: Software product line testing: A systematic mapping study. Inf. Softw. Technol. 53(1), 2–13 (2011)

    Article  Google Scholar 

  25. Kim, C.H.P., Batory, D.S., Khurshid, S.: Reducing combinatorics in testing product lines. In: AOSD 2011 Conference Proceedings, pp. 57–68. ACM Press (2011)

    Google Scholar 

  26. Kim, C.H.P., Bodden, E., Batory, D., Khurshid, S.: Reducing Configurations to Monitor in a Software Product Line. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 285–299. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  27. Cordy, M., Classen, A., Schobbens, P.Y., Heymans, P., Legay, A.: Managing evolution in software product lines: a model-checking perspective. In: VaMoS 2012 Workshop Proceedings, pp. 183–191. ACM Press (2012)

    Google Scholar 

  28. Engström, E.: Regression Test Selection and Product Line System Testing. In: ICST 2010 Conference Proceedings, pp. 512–515. IEEE Press (2010)

    Google Scholar 

  29. D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The modal transition system analyser. In: ASE 2008 Conference Proceedings, pp. 475–476. IEEE Press (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISTI–CNR, Pisa, Italy

    Maurice H. ter Beek

  2. Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, Università dell’Aquila, Italy

    Henry Muccini & Patrizio Pelliccione

Authors
  1. Maurice H. ter Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henry Muccini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Patrizio Pelliccione
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Groningen, Nijenborgh 9, 9747, Groningen, AG, The Netherlands

    Paris Avgeriou

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

ter Beek, M.H., Muccini, H., Pelliccione, P. (2012). Assume-Guarantee Testing of Evolving Software Product Line Architectures. In: Avgeriou, P. (eds) Software Engineering for Resilient Systems. SERENE 2012. Lecture Notes in Computer Science, vol 7527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33176-3_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33176-3_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33175-6

  • Online ISBN: 978-3-642-33176-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation