Abstract
In this paper we will explain our approach for generating test cases for a UML system model. Despite the fact that UML authors claim that UML semantics are precise enough to define non-ambiguous models, we find that the overlap of the different views makes it difficult to explore and make deductions on the state space of the modeled system in order to generate test cases. Our approach is thus based on a subset of UML (inspired from the Fondue approach) for which we have defined clear transformation semantics. We provide these semantics by delineating transformation rules using the MDA (Model Driven Architecture) architecture. We transform UML models into CO-OPN (Concurrent Object Oriented Petri Nets) ones, CO-OPN being a formal specification language defined in our Laboratory.
We have also defined a language for expressing test intentions for CO-OPN models. This language allows selecting interesting executions (tests cases) of a model by providing constraints over all possible traces of that model. By exploring the model’s semantics with the tools we have built for our CO-OPN language we are able to generate test cases based on those test intentions. We are also able to partially eliminate redundancy in the produced test cases by finding equivalence classes in the model operation’s inputs.
This project was partially funded by the DICS project of the Hasler foundation, with number 1850.
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
Strohmeier, A.: Fondue: An Object-Oriented Development Method based on the UML Notation. In: X Jornada Técnica de Ada-Spain, Documentación, ETSI de Telecommunicación, Universidad Politécnica de Madrid, Spain, Madrid (November 2001)
Buchs, D., Guelfi, N.: A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering 26(7), 635–652 (2000)
Biberstein, O., Buchs, D., Guelfi, N.: CO-OPN/2: A concurrent object-oriented formalism. In: Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23, 1997, pp. 57–72. Chapman and Hall, Lo, Boca Raton (1997)
Biberstein, O.: CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva (1997)
Object Management Group. Mda guide version 1.0.1. Technical report, OMG (June 2003)
Patrascoiu, O.: YATL:Yet Another Transformation Language. In: Proceedings of the 1st European MDA Workshop, MDA-IA, pp. 83–90. University of Twente, the Nederlands (2004)
Triskell team. MTL Documentation, URL: http://modelware.inria.fr/rubrique4.html
Hu, Z., Shatz, S.M.: Mapping uml diagrams to a petri net notation for system simulation. In: Maurer, F., Ruhe, G. (eds.) SEKE, pp. 213–219 (2004)
Triskell team. Mod-Transf - xml and ruled based transformation language, URL: http://modelware.inria.fr/rubrique15.html
Object Management Group. Meta-Object Facility specification (April 2002), url: http://www.omg.org/technology/documents/formal/mof.htm
Pedro, L.M., Lucio, L., Buchs, D.: Prototyping Domain Specific Languages with COOPN. In: Guelfi, N., Savidis, A. (eds.) RISE 2005. LNCS, vol. 3943, pp. 174–189. Springer, Heidelberg (2006)
Gaudel, M.-C., Bernot, G., Marre, B.: Software testing based on formal specifications: a theory and a tool. IEEE Software Engineering Journal 6(6), 387–405 (1991)
Myers, G.J.: The Art of Software Testing. John Wiley & Sons, Inc., New York (1979)
Péraire, C., Barbey, S., Buchs, D.: Test selection for object-oriented software based on formal specifications. In: PROCOMET 1998: Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods, London, UK, pp. 385–403. Chapman & Hall, Ltd, Boca Raton (1998)
Barbey, S., Buchs, D., Péraire, C.: A theory of specification-based testing for object-oriented software. In: Hlawiczka, A., Simoncini, L., Silva, J.G.S. (eds.) EDCC 1996. LNCS, vol. 1150, pp. 303–320. Springer, Heidelberg (1996)
Lucio, L., Pedro, L.M., Buchs, D.: A Methodology and a Framework for Model-Based Testing. In: Guelfi, N. (ed.) RISE 2004. LNCS, vol. 3475, pp. 57–70. Springer, Heidelberg (2005)
Gamma, E., Beck, K.: Junit.org. URL: http://www.junit.org/
Hennessy, M., Stirling, C.: The power of the future perfect in program logics. Inf. Control 67(1-3), 23–52 (1986)
Lucio, L., Pedro, L., Buchs, D.: A test selection language for co-opn specifications. In: IEEE International Workshop on Rapid System Prototyping, pp. 195–201 (2005)
Al-Shabibi, A., Buchs, D., Buffo, M., Chachkov, S., Chen, A., Hurzeler, D.: Prototyping object oriented specifications. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 473–482. Springer, Heidelberg (2003)
Buffo, M., Buchs, D.: Symbolic simulation of coordinated algebraic petri nets using logic programming. University of Geneva – Internal Note
Legeard, B., Peureux, F.: Generation of functional test sequences from b formal specifications-presentation and industrial case study. In: ASE, pp. 377–381 (2001)
Philipps, J., Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S., Scholl, K.: Model-based test case generation for smart cards. Electr. Notes Theor. Comput. Sci., 80 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Buchs, D., Pedro, L., Lúcio, L. (2006). Formal Test Generation from UML Models. In: Kohlas, J., Meyer, B., Schiper, A. (eds) Dependable Systems: Software, Computing, Networks. Lecture Notes in Computer Science, vol 4028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11808107_7
Download citation
DOI: https://doi.org/10.1007/11808107_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36821-2
Online ISBN: 978-3-540-36823-6
eBook Packages: Computer ScienceComputer Science (R0)