Model-based testing of software and systems: recent advances and challenges

  • Alexandre Petrenko
  • Adenilso SimaoEmail author
  • José Carlos Maldonado


Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).


Software testing Model-based testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrade, W.L., Machado, P.D.L., Jeron, T., Marchand, H.: Abstracting time and data for conformance Testing of teal-time systems. In: A-MOST 2011, 9–17 (2011)Google Scholar
  2. 2.
    Bochmann, G.v., Jourdan, G.-V.: Testing k-safe petri nets. In: TestCom/FATES 09, LNCS, vol. 5826, pp. 33–48, Springer, Berlin (2009)Google Scholar
  3. 3.
    Clarke, D., Jéron, T., Rusu, V., Zinovieva, E., Katoen, J.-P., Stevens, P.: STG: A symbolic test generation tool. ETAPS 2002 and TACAS 2002, LNCS, vol. 2280, pp. 151–173. Springer, Heidelberg (2002)Google Scholar
  4. 4.
    Constant C., Jéron T., Marchand H., Rusu V.: Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Softw. Eng. 33(8), 558–574 (2007)CrossRefGoogle Scholar
  5. 5.
    El-Fakih, K., Yevtushenko, N., Fouchal, H.: Testing timed finite state machines with guaranteed fault coverage. In: TestCom 2009, LNCS, vol. 5826, pp. 66–80. Springer, Eindhoven (2009)Google Scholar
  6. 6.
    En-Nouaary , En-Nouaary : A scalable method for testing real-time systems. Softw. Qual. J. 16(1), 3–22 (2008)CrossRefGoogle Scholar
  7. 7.
    Falcone, Y., Fernandez, J.-C., Jéron, T., Marchand, H., Mounier, L.: More testable properties, in this volumeGoogle Scholar
  8. 8.
    Frantzen, L., Tretmans, J., Willemse, T.: A Symbolic Framework for Model-Based Testing. FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 40–54. Springer, Heidelberg (2006)Google Scholar
  9. 9.
    Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for Test Purpose Definition. In: TESTCOM 2006, LNCS, vol. 3964, pp. 1–18. Springer, Heidelberg (2006)Google Scholar
  10. 10.
    Gladisch, C.: Model Generation for Quantified Formulas with Application to Test Data Generation, in this volumeGoogle Scholar
  11. 11.
    Grieskamp W., Kicillof N., Stobie K., Braberman V.: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21(1), 55–71 (2011)CrossRefGoogle Scholar
  12. 12.
    Haar, S., Jard, C., Jourdan, G.-V.: Testing input/output partial order automata. In: TestCom 2007, LNCS 4581, pp. 171–185, Springer, Berlin (2007)Google Scholar
  13. 13.
    Hassine J., Rilling J., Dssouli R.: An evaluation of timed scenario notations. J. Syst. Softw. 83(2), 326–350 (2010)CrossRefGoogle Scholar
  14. 14.
    Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems Using UPPAAL. In: FORTEST 2008. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)Google Scholar
  15. 15.
    Hessel, A., Larsen, K.G., Nielsen, B., Pettersson, P., Skou., A.: Time-optimal real-time test case generation using UPPAAL. In: FATES’03, LNCS, vol. 2931, pp. 136–151. Springer, Heidelberg (2003)Google Scholar
  16. 16.
    Hierons R.M.: Controllable testing from Nondeterministic Finite State Machines with Multiple Ports. IEEE Trans. Comput. 60(12), 1818–1822 (2011)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Huo J., Petrenko A.: Transition covering tests for systems with queues. Softw. Test. Verification Reliability 19(1), 55–83 (2009)CrossRefGoogle Scholar
  18. 18.
    Jard C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Int. J. Inform. Softw. Technol. 45(12), 805–814 (2003)CrossRefGoogle Scholar
  19. 19.
    Jard C., Jéron T.: TGV: theory, principles and algorithms. Softw. Tools Technol. Transf. 7(4), 297–315 (2005)CrossRefGoogle Scholar
  20. 20.
    Larsen, K., Mikucionis, M., Nielsen, B., Skou, A.: Testing Teal-time embedded software using UPPAAL-TRON: an industrial case study. In: 5th ACM international conference on Embedded software, pp. 299–306. ACM Press, NY (2005)Google Scholar
  21. 21.
    Lund, M.S., Refsdal, A., Stølen, K.: Semantics of UML Models for Dynamic Behavior: A survey of different approaches. In: Model-Based Engineering of Embedded Real-Time Systems, LNCS, vol. 6100, pp. 77–103. Springer, Berlin (2011)Google Scholar
  22. 22.
    Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies. vol. 34, 129–153. Princeton University Press, Princeton (1956)Google Scholar
  23. 23.
    Petrenko A., Boroday S., Groz R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29–42 (2004)CrossRefGoogle Scholar
  24. 24.
    Pozo, A., Árias, J.C.G., Cabral, R.V., Vergilio, S.R. and Nobre, T.: Multi-objective optimization algorithms applied to the class integration and test order problem, in this volumeGoogle Scholar
  25. 25.
    Simao A., Petrenko A., Maldonado J.C.: Comparing finite state machine test coverage criteria. IET Softw. 3(2), 91–105 (2009)CrossRefGoogle Scholar
  26. 26.
    Simao A., Petrenko A.: Generating asynchronous test cases from test purposes. Inform. Softw. Technol. 53(11), 1252–1262 (2011)CrossRefGoogle Scholar
  27. 27.
    Tretmans J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concept Tools. 17(3), 103–120 (1996)zbMATHGoogle Scholar
  28. 28.
    Tretmans, J., Brinksma, E.: TorX: Automated model-based testing. In: First European Conference on Model-Driven Software Engineering, pp. 31–43 (2003)Google Scholar
  29. 29.
    Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing, LNCS, vol. 4949, pp. 1–38. Springer, Berlin, (2008)Google Scholar
  30. 30.
    Utting, M., Legeard, B.: Practical model-based testing: a tools approach. Morgan Kaufmann, San Francisco (2007)Google Scholar
  31. 31.
    Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson L.: Model-based testing of object-oriented reactive systems with Spec Explore. In: Formal Methods and Testing, LNCS, vol. 4949, pp. 39–76. Springer, Berlin, (2008)Google Scholar
  32. 32.
    Veanes, M., Bjørner, N.: Alternating Simulation and IOCO, in this volume.Google Scholar

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  • Alexandre Petrenko
    • 1
  • Adenilso Simao
    • 2
    Email author
  • José Carlos Maldonado
    • 2
  1. 1.Centre de recherche informatique de Montreal (CRIM)MontrealCanada
  2. 2.São Paulo UniversitySão CarlosBrazil

Personalised recommendations