A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams

  • Mourad Badri
  • Linda Badri
  • Marius Naha
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2931)


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.


Post Condition Test Sequence Testing Process Verification Process Control Flow Graph 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    Araujo, J., Moreira, A.: Specifying The Behavior Of UML Collaborations Using Objet-Z. In: AMCIS 2000 (2000)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Badri, M., Badri, L.: Génération de tests à partir des diagrammes de collaboration UML. Génie Logiciel, n° 60 (March 2002)Google Scholar
  5. 5.
    Bashir, I., Goel, A.L.: Testing object-oriented software: Life cycle solutions. Springer, Heidelberg (2000)Google Scholar
  6. 6.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User guide. Object Technology Series. Addison- Wesley, Reading (2000)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Jacobson, I.: Use Cases and Aspects – Working Seamlessly Together. Journal of Object Technology 2(4) (July-August 2003)Google Scholar
  9. 9.
    Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall, Englewood Cliffs (1986)zbMATHGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Marick, B.: The craft of software testing. Prentice-Hall, Englewood Cliffs (1995)Google Scholar
  12. 12.
    McGregor, J.D., Sykes, D.A.: A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, Reading (2001)Google Scholar
  13. 13.
    Object Management Group: OMG-UML Specification, Version 1.4 (September 2001)Google Scholar
  14. 14.
    Pressman, R.S.: Software Engineering, A practitioner’s approach, 5th edn. Mc Graw Hill, New York (2001)Google Scholar
  15. 15.
    Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn., Oriel College, Oxford (1998)Google Scholar
  16. 16.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling With UML. Addson-Wesley, London (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Mourad Badri
    • 1
  • Linda Badri
    • 1
  • Marius Naha
    • 1
  1. 1.Département de Mathématiques et InformatiqueUniversité du Québec à Trois-RivièresTrois-RivièresCanada

Personalised recommendations