Abstract
Dynamic interactions between a group of objects, for the realization of a use case or a complex operation of an object, may be specified by using UML collaboration diagrams. Collaboration defines the roles a group of objects play when performing a particular task and several aspects of the control related to their interactions. The specification described in a collaboration diagram must be preserved during the transformation process into an implementation. Test generation based upon collaboration diagrams is actually a poorly exploited approach. The testing methodology (generation and verification) proposed in this paper is based on the dynamic interactions between objects and takes into account several aspects related to their control. It supports an incremental verification of the implementation of the use cases. The generated sequences correspond to the different scenarios of the use cases, expected during the analysis and design phases. They allow verifying whether the implementation of each use case is in accordance with the corresponding specification. We also present in this paper a brief summary of the environment that we developed for supporting the proposed use case driven testing process.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 383–395. Springer, Heidelberg (2000)
Araujo, J., Moreira, A.: Specifying The Behavior Of UML Collaborations Using Objet-Z. In: AMCIS 2000 (2000)
Badri, M., Badri, L.: Génération incrémentale de séquences de test fonctionnel des classes: Vers une approche formelle basée sur l’héritage du comportement des objets. In: 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA 1999), Paris (December 1999)
Badri, M., Badri, L.: Génération de tests à partir des diagrammes de collaboration UML. Génie Logiciel, n° 60 (March 2002)
Bashir, I., Goel, A.L.: Testing object-oriented software: Life cycle solutions. Springer, Heidelberg (2000)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User guide. Object Technology Series. Addison- Wesley, Reading (2000)
Duke, D., King, P., Rose, G.A., Smith, G.: The Object-Z Specification Language, Version 1, Technical Report 91-1, Department of Computing Science, University of Queensland, Australia (1991)
Jacobson, I.: Use Cases and Aspects – Working Seamlessly Together. Journal of Object Technology 2(4) (July-August 2003)
Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall, Englewood Cliffs (1986)
Larman, G.: Applying UML and Patterns: An introduction to object-oriented analysis and design and the unified process, 2nd edn. Prentice Hall, Englewood Cliffs (2002)
Marick, B.: The craft of software testing. Prentice-Hall, Englewood Cliffs (1995)
McGregor, J.D., Sykes, D.A.: A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, Reading (2001)
Object Management Group: OMG-UML Specification, Version 1.4 (September 2001)
Pressman, R.S.: Software Engineering, A practitioner’s approach, 5th edn. Mc Graw Hill, New York (2001)
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn., Oriel College, Oxford (1998)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling With UML. Addson-Wesley, London (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badri, M., Badri, L., Naha, M. (2004). A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. In: Petrenko, A., Ulrich, A. (eds) Formal Approaches to Software Testing. FATES 2003. Lecture Notes in Computer Science, vol 2931. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24617-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-24617-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20894-5
Online ISBN: 978-3-540-24617-6
eBook Packages: Springer Book Archive