Skip to main content
SpringerLink
Log in

Delta-Oriented FSM-Based Testing

  • Conference paper
  • First Online:
Formal Methods and Software Engineering (ICFEM 2015)

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

Included in the following conference series:

Abstract

We use the concept of delta-oriented programming to organize FSM-based test models in an incremental structure. We then exploit incremental FSM-based testing to make efficient use of this high-level structure in generating test cases. We show how our approach can lead to more efficient test-case generation, both by analyzing the complexity of the test-case generation algorithm and by applying the technique to a case study.

M.R. Mousavi—The work has been partially supported by the Swedish Research Council award number: 621-2014-5057 and the Swedish Knowledge Foundation in the context of the AUTO-CAAS HöG project.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

Institutional subscriptions

References

  1. Binder, R.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading (2000)

    Google Scholar 

  2. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  3. El-Fakih, K., Yevtushenko, N., von Bochmann, G.: FSM-based incremental conformance testing methods. IEEE TSE 30(7), 425–436 (2004)

    Google Scholar 

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

    Article  Google Scholar 

  5. Hong, H.S., Kwon, Y.R., Cha, S.D.: Testing of object-oriented programs based on finite state machines. In: Proceedings of APSEC 1995, pp. 234–241. IEEE CS (1995)

    Google Scholar 

  6. Jääskeläinen, A.: Filtering test models to support incremental testing. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 72–87. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  7. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proc. IEEE 84(8), 1090–1123 (1996)

    Article  Google Scholar 

  8. Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 67–82. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  9. Németh, G.A., Pap, Z.: The incremental maintenance of transition tour. Fund. Inf. 129, 279–300 (2014)

    MathSciNet  MATH  Google Scholar 

  10. Oster, S., Wübbeke, A., Engels, G., Schürr, A.: Model-based software product lines testing survey. In: Model-based Testing for Embedded Systems, pp. 339–381. CRC Press (2011)

    Google Scholar 

  11. Pap, Z., Subramaniam, M., Kovács, G., Németh, G.A.: A bounded incremental test generation algorithm for finite state machines. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom/FATES 2007. LNCS, vol. 4581, pp. 244–259. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Rumpe, B.: Model-based testing of object-oriented systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 380–402. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. ISDN Syst. 15(4), 285–297 (1988)

    Article  Google Scholar 

  14. Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77–91. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  15. Simão, A., Petrenko, A.: Fault coverage-driven incremental test generation. Comput. J. 53, 1508–1522 (2010)

    Article  Google Scholar 

  16. Tasharofi, S., Karmani, R.K., Lauterburg, S., Legay, A., Marinov, D., Agha, G.: TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs. In: Giese, H., Rosu, G. (eds.) FORTE 2012 and FMOODS 2012. LNCS, vol. 7273, pp. 219–234. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  17. Thüm, T., Apel, S., Kästner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis strategies for software product lines. Technical report FIN-004-2012, School of Computer Science, University of Magdeburg (2012)

    Google Scholar 

  18. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2010)

    Google Scholar 

  19. Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 112–122. ACM (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Research on Embedded Systems, Halmstad University, Halmstad, Sweden

    Mahsa Varshosaz, Harsh Beohar & Mohammad Reza Mousavi

Authors
  1. Mahsa Varshosaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Harsh Beohar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mohammad Reza Mousavi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mahsa Varshosaz .

Editor information

Editors and Affiliations

  1. Electronics and Computer Science, University of Southampton, Southampton, United Kingdom

    Michael Butler

  2. Université Paris-Sud, Orsay, France

    Sylvain Conchon

  3. Université Paris-Sud, Orsay, France

    Fatiha Zaïdi

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Varshosaz, M., Beohar, H., Mousavi, M.R. (2015). Delta-Oriented FSM-Based Testing. In: Butler, M., Conchon, S., Zaïdi, F. (eds) Formal Methods and Software Engineering. ICFEM 2015. Lecture Notes in Computer Science(), vol 9407. Springer, Cham. https://doi.org/10.1007/978-3-319-25423-4_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25423-4_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25422-7

  • Online ISBN: 978-3-319-25423-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation