Abstract
In this paper we will present a survey on the test case generation process and tools we are currently developing. It will reflect the new ideas that we’re pursuing while keeping in mind our previous work on formal specification languages and theory of test case generation.
The model based test case generation method we propose is based on a subset of the Unified Modelling Language (UML) and the Object Constraint Language (OCL). It uses UML diagrams in what concerns the conceptual point of view and, in addition, OCL expressions for the system’s behavioral description.
The research builds on past experience of the group while generating test cases starting from a model of the SUT (System Under Test) described in the CO-OPN formalism – formal language for system specification that acts as an intermediary format between the model and the tests.
Our method makes use of well known techniques such as symbolic execution by means of a logic resolution engine (i.e. Prolog) for state space exploration of the SUT.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Binder, R.V.: Testing object-oriented software: a survey. Journal of Testing, Verification and Reliability 6, 125–252 (1996)
Doong, R.-K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology 3(2), 101–130 (1994)
Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. IEEE Software Engineering Journal 6(6), 387–405 (1991)
Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, p. 73. Springer, Heidelberg (2001)
Strohmeier, A.: Fondue: An Object-Oriented Development Method based on the UML Notation. In: X Jornada Técnica de Ada-Spain, Documentación, Lunes 12 de Noviembre 2001, ETSI de Telecommunicación, Universidad Politécnica de Madrid, Madrid, Spain, November 2001.
Buffo, M., Buchs, D.: Symbolic simulation of coordinated algebraic petri nets using logic programming. To be published: internal note, University of Geneva (2004)
Péraire, C., Barbey, S., Buchs, D.: Test selection for object-oriented software based on formal specifications. In: Proc. of Programming Concepts and Methods, PROCOMET 1998, pp. 385–403 (1998)
Legeard, B., Peureux, F.: Génération de séquences de tests à partir d’une spécification B en PLC ensembliste. In: Proc. Approches Formelles dans l’Assistance au Développement de Logiciels, June 2001, pp. 113–130 (2001)
Pretschner, A., et al.: Model-based test case generation for smart cards. In: Proc. Formal Methods for Industria Critical Systems (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lucio, L., Pedro, L., Buchs, D. (2005). A Methodology and a Framework for Model-Based Testing. In: Guelfi, N. (eds) Rapid Integration of Software Engineering Techniques. RISE 2004. Lecture Notes in Computer Science, vol 3475. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11423331_6
Download citation
DOI: https://doi.org/10.1007/11423331_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25812-4
Online ISBN: 978-3-540-32039-5
eBook Packages: Computer ScienceComputer Science (R0)