Skip to main content
SpringerLink
Log in
Book cover

International Conference on Enterprise Information Systems

ICEIS 2011: Enterprise Information Systems pp 270–283Cite as

Model Based Testing in Software Product Lines

  • Conference paper

  • 1114 Accesses

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 102))

Abstract

This article describes an approach for test case generation in Software Product Lines, using Model Driven. Our proposal defines a set of metamodels, models and algorithms, all of them organized and managed in a 5-step process, which are implemented in a tool specifically developed for this goal, Pralíntool.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clements, P., Northrop, L.: Salion, inc.: A software product line case study. Technical report, DTIC Research Report ADA412311 (2002)

    Google Scholar 

  2. Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: Model-driven software product lines. In: Conference on Object Oriented Programming Systems Languages and Applications, pp. 126–127. ACM, New York (2005)

    Google Scholar 

  3. Nebut, C., Pickin, S., Le Traon, Y., Jezequel, J.: Automated requirements-based generation of test cases for product families. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 263–266 (2003)

    Google Scholar 

  4. Bertolino, A., Gnesi, S., di Pisa, A.: PLUTO: A Test Methodology for Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 181–197. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  5. Kang, S., Lee, J., Kim, M., Lee, W.: Towards a formal framework for product line test development. In: 7th IEEE International Conference on Computer and Information Technology, CIT 2007, pp. 921–926 (2007)

    Google Scholar 

  6. Reuys, A., Kamsties, E., Pohl, K., Reis, S.: Model-Based System Testing of Software Product Families. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 519–534. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Olimpiew, E., Gomaa, H.: Customizable requirements-based test models for software product lines. In: International Workshop on Software Product Line Testing (2006)

    Google Scholar 

  8. Baresi, L., Young, M.: Test oracles. Technical Report Technical Report CIS-TR01 -02, Dept. of Computer and Information Science, Univ. of Oregon (2001)

    Google Scholar 

  9. Bertolino, A.: Software testing research: Achievements, challenges, dreams. In: International Conference on Software Engineering, pp. 85–103. IEEE Computer Society, Washington, DC (2007)

    Google Scholar 

  10. Offutt, A.J., Liu, S., Abdurazik, A., Amman, P.: Generating test data from state-based specifications. Software Testing, Verification and Reliability, 25–53 (2003)

    Google Scholar 

  11. Jin, H., Wang, Y., Chen, N., Gou, Z., Wang, S.: Artificial neural network for automatic test oracles generation. In: International Conference on Computer Science and Software Engineering, vol. 2 (2008)

    Google Scholar 

  12. Mayer, J., Guderlei, R.: An empirical study on the selection of good metamorphic relations. In: Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), vol. 01, pp. 475–484. IEEE Computer Society, Washington, DC (2006)

    Chapter  Google Scholar 

  13. Pohl, K., Backle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)

    Google Scholar 

  14. Polo, M., Piattini, M., Tendero, S.: Integrating techniques and tools for testing automation. Software Testing, Verification and Reliability 17, 3–39 (2007)

    Article  Google Scholar 

  15. Baxter, I.D., Yahin, A., Moura, L., Sant’Anna, M., Bier, L.: Clone detection using abstract syntax trees. In: International Conference on Software Maintenance, pp. 368–377 (1998)

    Google Scholar 

  16. Khatchadourian, R., Sawin, J., Rountev, A.: Automated refactoring of legacy java software to enumerated types. In: International Conference on Software Maintenance (ICSM 2007), Paris, France, pp. 224–233 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Castilla-La Mancha, Ciudad Real, Spain

    Pedro Reales & Macario Polo

  2. University of Study, Bari, Italy

    Danilo Caivano

Authors
  1. Pedro Reales
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Macario Polo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Danilo Caivano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Economics and Management, Beijing Jiaotong University, Beijing, China

    Runtong Zhang , Juliang Zhang  & Zhenji Zhang ,  & 

  2. Instituto Politécnico de Setúbal (IPS), Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Setúbal, Portugal

    Joaquim Filipe  & José Cordeiro  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reales, P., Polo, M., Caivano, D. (2012). Model Based Testing in Software Product Lines. In: Zhang, R., Zhang, J., Zhang, Z., Filipe, J., Cordeiro, J. (eds) Enterprise Information Systems. ICEIS 2011. Lecture Notes in Business Information Processing, vol 102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29958-2_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29958-2_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29957-5

  • Online ISBN: 978-3-642-29958-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation