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).
Similar content being viewed by others
References
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)
Bochmann, G.v., Jourdan, G.-V.: Testing k-safe petri nets. In: TestCom/FATES 09, LNCS, vol. 5826, pp. 33–48, Springer, Berlin (2009)
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)
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)
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)
En-Nouaary , En-Nouaary : A scalable method for testing real-time systems. Softw. Qual. J. 16(1), 3–22 (2008)
Falcone, Y., Fernandez, J.-C., Jéron, T., Marchand, H., Mounier, L.: More testable properties, in this volume
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)
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)
Gladisch, C.: Model Generation for Quantified Formulas with Application to Test Data Generation, in this volume
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)
Haar, S., Jard, C., Jourdan, G.-V.: Testing input/output partial order automata. In: TestCom 2007, LNCS 4581, pp. 171–185, Springer, Berlin (2007)
Hassine J., Rilling J., Dssouli R.: An evaluation of timed scenario notations. J. Syst. Softw. 83(2), 326–350 (2010)
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)
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)
Hierons R.M.: Controllable testing from Nondeterministic Finite State Machines with Multiple Ports. IEEE Trans. Comput. 60(12), 1818–1822 (2011)
Huo J., Petrenko A.: Transition covering tests for systems with queues. Softw. Test. Verification Reliability 19(1), 55–83 (2009)
Jard C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Int. J. Inform. Softw. Technol. 45(12), 805–814 (2003)
Jard C., Jéron T.: TGV: theory, principles and algorithms. Softw. Tools Technol. Transf. 7(4), 297–315 (2005)
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)
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)
Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies. vol. 34, 129–153. Princeton University Press, Princeton (1956)
Petrenko A., Boroday S., Groz R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29–42 (2004)
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
Simao A., Petrenko A., Maldonado J.C.: Comparing finite state machine test coverage criteria. IET Softw. 3(2), 91–105 (2009)
Simao A., Petrenko A.: Generating asynchronous test cases from test purposes. Inform. Softw. Technol. 53(11), 1252–1262 (2011)
Tretmans J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concept Tools. 17(3), 103–120 (1996)
Tretmans, J., Brinksma, E.: TorX: Automated model-based testing. In: First European Conference on Model-Driven Software Engineering, pp. 31–43 (2003)
Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing, LNCS, vol. 4949, pp. 1–38. Springer, Berlin, (2008)
Utting, M., Legeard, B.: Practical model-based testing: a tools approach. Morgan Kaufmann, San Francisco (2007)
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)
Veanes, M., Bjørner, N.: Alternating Simulation and IOCO, in this volume.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-012-0240-3