Delta-Oriented FSM-Based Testing

  • Mahsa Varshosaz
  • Harsh Beohar
  • Mohammad Reza Mousavi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9407)


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.


Model-based testing FSM-based testing HSI method Software product lines Delta-oriented programming DeltaJava 


  1. 1.
    Binder, R.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading (2000)Google Scholar
  2. 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) zbMATHGoogle Scholar
  3. 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. 4.
    Engström, E., Runeson, P.: Software product line testing - a systematic mapping study. Inf. Softw. Technol. 53(1), 2–13 (2011)CrossRefGoogle Scholar
  5. 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. 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) CrossRefGoogle Scholar
  7. 7.
    Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proc. IEEE 84(8), 1090–1123 (1996)CrossRefGoogle Scholar
  8. 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) CrossRefGoogle Scholar
  9. 9.
    Németh, G.A., Pap, Z.: The incremental maintenance of transition tour. Fund. Inf. 129, 279–300 (2014)MathSciNetzbMATHGoogle Scholar
  10. 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. 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) CrossRefGoogle Scholar
  12. 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) CrossRefGoogle Scholar
  13. 13.
    Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. ISDN Syst. 15(4), 285–297 (1988)CrossRefGoogle Scholar
  14. 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) CrossRefGoogle Scholar
  15. 15.
    Simão, A., Petrenko, A.: Fault coverage-driven incremental test generation. Comput. J. 53, 1508–1522 (2010)CrossRefGoogle Scholar
  16. 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) CrossRefGoogle Scholar
  17. 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. 18.
    Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2010) Google Scholar
  19. 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

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Mahsa Varshosaz
    • 1
  • Harsh Beohar
    • 1
  • Mohammad Reza Mousavi
    • 1
  1. 1.Center for Research on Embedded SystemsHalmstad UniversityHalmstadSweden

Personalised recommendations