System Test Synthesis from UML Models of Distributed Software

  • Simon Pickin
  • Claude Jard
  • Yves Le Traon
  • Thierry Jéron
  • Jean-Marc Jézéquel 
  • Alain Le Guennec
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2529)


The object-oriented software development process is increasingly used for the construction of both centralised and distributed systems. As yet, however, formal V&V techniques have not found much use in the object- oriented context, in spite of the fact that some are now mature enough to be exercised in real world applications. In this paper, we investigate the use of formal validation in a UML-based development process. We present a method and a tool for automated synthesis of test cases from generic test scenarios and a design model of the application, remaining entirely within the UML framework. The underlying “on the fly” test synthesis algorithms are based on the input/output labelled transition formalism, which is particularly appropriate for modelling applications which may involve asynchronous communication. We illustrate the system test synthesis process using an Air Traffic Control software case study.


Test Objective Class Diagram Sequence Diagram Label Transition System System Under Test 
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.


  1. 1.
    Alur, R. and Yannakakis, M., Model checking of message sequence charts. proc. of the Tenth International Conference on Concurrency Theory, (1999).Google Scholar
  2. 2.
    Atkinson, C., et al. Component-based Product Line Engineering with UML. Addison-Wesley, 2002.Google Scholar
  3. 3.
    Bousquet, L.d., Martin, H. and Jézéquel, J.-M., Conformance Testing from UML Specifications. Experience Report. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, (October 2001).Google Scholar
  4. 4.
    Briand, L. and Labiche, Y., A UML-Based Approach to System Testing. proc. of the UML 2001, (Toronto-Canada 2001).Google Scholar
  5. 5.
    ETSI. Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3; Part 3: TTCN-3: Graphical Presentation Format (GFT), European Telecommunications Standards Institute, Technical Report TR 101 873-3 V1.1.2 (2001-06), 2001.Google Scholar
  6. 6.
    Gamma, E., et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.Google Scholar
  7. 7.
    Hartmann, J., Imoberdorf, C. and Meisinger, M., UML-Based Integration Testing. proc. of the ACM Sigsoft International Symposium on Software Testing and Analysis 2000 (ISSTA 2000), (Portland Marriott Downtown, Portland, Oregon, USA, August 2000).Google Scholar
  8. 8.
    Ho, W., et al., UMLAUT: an extendible UML transformation framework. proc. of the Automated Software Engineering (ASE’99), (Florida, October 1999).
  9. 9.
    ITU-T. Message Sequence Chart (MSC), International Telecommunications Union-Telecommunications Sector, ITU-T Recommendation Z.120, 2000.Google Scholar
  10. 10.
    Jard, C., Principles of Distributed Test Synthesis based on True-concurrency Models. proc. of the Testcom’2002, (Berlin-Germany, March 2002).Google Scholar
  11. 11.
    Jéron, T. and Morel, P., Test generation derived from model checking. proc. of the Computer Aided Verification (CAV’99), (Trento, Italy1999).Google Scholar
  12. 12.
    OMG. Unified Modelling Language Specification, version 1.4. OMG Standard, November 2001.Google Scholar
  13. 13.
    Pickin, S., et al., A UML-integrated test description language for component testing. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, (October 2001).
  14. 14.
    Tretmans, J. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17 (3).(1996), 103–12.zbMATHGoogle Scholar
  15. 15.
    OMG. UML 1.4 with Action Semantics 2002., Object Management Group, January 2001Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Simon Pickin
    • 1
  • Claude Jard
    • 1
  • Yves Le Traon
    • 1
  • Thierry Jéron
    • 1
  • Jean-Marc Jézéquel 
    • 1
  • Alain Le Guennec
    • 2
  1. 1.IRISA, Campus Universitaire de BeaulieuRennes CedexFrance
  2. 2.TelelogicToulouse CedexFrance

Personalised recommendations