Skip to main content
SpringerLink
Log in

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

  • Introduction
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

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).

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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)

  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)

  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)

  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)

    Article  Google Scholar 

  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)

  6. En-Nouaary , En-Nouaary : A scalable method for testing real-time systems. Softw. Qual. J. 16(1), 3–22 (2008)

    Article  Google Scholar 

  7. Falcone, Y., Fernandez, J.-C., Jéron, T., Marchand, H., Mounier, L.: More testable properties, in this volume

  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)

  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)

  10. Gladisch, C.: Model Generation for Quantified Formulas with Application to Test Data Generation, in this volume

  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)

    Article  Google Scholar 

  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)

  13. Hassine J., Rilling J., Dssouli R.: An evaluation of timed scenario notations. J. Syst. Softw. 83(2), 326–350 (2010)

    Article  Google Scholar 

  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)

  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)

  16. Hierons R.M.: Controllable testing from Nondeterministic Finite State Machines with Multiple Ports. IEEE Trans. Comput. 60(12), 1818–1822 (2011)

    Article  MathSciNet  Google Scholar 

  17. Huo J., Petrenko A.: Transition covering tests for systems with queues. Softw. Test. Verification Reliability 19(1), 55–83 (2009)

    Article  Google Scholar 

  18. Jard C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Int. J. Inform. Softw. Technol. 45(12), 805–814 (2003)

    Article  Google Scholar 

  19. Jard C., Jéron T.: TGV: theory, principles and algorithms. Softw. Tools Technol. Transf. 7(4), 297–315 (2005)

    Article  Google Scholar 

  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)

  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)

  22. Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies. vol. 34, 129–153. Princeton University Press, Princeton (1956)

  23. Petrenko A., Boroday S., Groz R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29–42 (2004)

    Article  Google Scholar 

  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 volume

  25. Simao A., Petrenko A., Maldonado J.C.: Comparing finite state machine test coverage criteria. IET Softw. 3(2), 91–105 (2009)

    Article  Google Scholar 

  26. Simao A., Petrenko A.: Generating asynchronous test cases from test purposes. Inform. Softw. Technol. 53(11), 1252–1262 (2011)

    Article  Google Scholar 

  27. Tretmans J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concept Tools. 17(3), 103–120 (1996)

    MATH  Google Scholar 

  28. Tretmans, J., Brinksma, E.: TorX: Automated model-based testing. In: First European Conference on Model-Driven Software Engineering, pp. 31–43 (2003)

  29. Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing, LNCS, vol. 4949, pp. 1–38. Springer, Berlin, (2008)

  30. Utting, M., Legeard, B.: Practical model-based testing: a tools approach. Morgan Kaufmann, San Francisco (2007)

  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)

  32. Veanes, M., Bjørner, N.: Alternating Simulation and IOCO, in this volume.

Download references

Author information

Authors and Affiliations

  1. Centre de recherche informatique de Montreal (CRIM), Montreal, Quebec, Canada

    Alexandre Petrenko

  2. São Paulo University, São Carlos, São Paulo, Brazil

    Adenilso Simao & José Carlos Maldonado

Authors
  1. Alexandre Petrenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Adenilso Simao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. José Carlos Maldonado
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Adenilso Simao.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Petrenko, A., Simao, A. & Maldonado, J.C. Model-based testing of software and systems: recent advances and challenges. Int J Softw Tools Technol Transfer 14, 383–386 (2012). https://doi.org/10.1007/s10009-012-0240-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-012-0240-3

Keywords

Search

Navigation