UML-Based integration testing

ABSTRACT

Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their distributed, component-based applications. At the same time, it is necessary to test these components, especially during unit and integration testing.At Siemens Corporate Research, we have addressed the issue of testing components by integrating test generation and test execution technology with commercial UML modeling tools such as Rational Rose; the goal being a design-based testing environment. In order to generate test cases automatically, developers first define the dynamic behavior of their components via UML Statecharts, specify the interactions amongst them and finally annotate them with test requirements. Test cases are then derived from these annotated Statecharts using our test generation engine and executed with the help of our test execution tool. The latter tool was developed specifically for interfacing to components based on COM/DCOM and CORBA middleware.In this paper, we present our approach to modeling components and their interactions, describe how test cases are derived from these component models and then executed to verify their conformant behavior. We outline the implementation strategy of our TnT environment and use it to evaluate our approach by means of a simple example.

REFERENCES

• 1: M. Balcer , W. Hasling , T. Ostrand, Automatic generation of test scripts from formal test specifications, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.210-218, December 13-15, 1989, Key West, Florida, United States
• 2: Boris Beizer, Software testing techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, 1990
• 3: John Derrick , Eerke A. Boiten, Testing Refinements by Refining Tests, Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation, p.265-283, September 24-26, 1998
• 4: Grasso Max, Distributed Component Systems: The New Computing Model, Application Development Trends, pp. 43-51, Nov. 1999.
• 5: Henniger O., One test case generation from asynchronously communicating state machines, in: Testing of Communicating Systems Vol. 10, Chapman & Hall, Sept. 1997.
• 6: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 7: John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 8: Ince D.C., The Automatic Generation of Test Data, The Computer Journal, vol. 30, no. 1, pp. 62-9, February 1987.
• 9: Kim M., Shin J., Chanson S.T., Kang S.: An Approach for Testing Asynchronous Communicating Systems, IEICE Transactions or Communications, Vol. E82-B, No. 1, Jan. 1999.
• 10: Matena V., Hapner M., Enterprise Java Beans Specification, Version 1.1, Sun Microsystems, Dec. 1999.
• 11: Robin Milner, Communication and concurrency, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1995
• 12: Offutt J., Abdurazik A., Generating Test Cases from UML Specifications. Proceedings of 2 nd International Confererence on UML'99, Oct. 1999.
• 13: Poston R., T: The Automatic Test Case Data Generator, Proceedings of 4th Annual Pacific Northwest Software Quality Assurance Conference, pp. 168-76, Sept. 1986.
• 14: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 15: James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
• 16: Sabnani K. K., Lapone Aleta M., Uyar M. ~mit: An Algorithmic Procedure for Checking Safety Properties of Protocols. IEEE Transactions on Communications, Vol. 37, No. 9, Sept. 1989.
• 17: Sarikaya B., Protocol Test Generation, Trace Analysis, and Verification Techniques, Proceedings of Second Workshop on Software Testing, Verification, and Analysis (TAVS-2), IEEE Computer Society Press, pp. 123-30, July 1988.
• 18: Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
• 19: Kuo-Chung Tai, Predicate-based test generation for computer programs, Proceedings of the 15th international conference on Software Engineering, p.267-276, May 17-21, 1993, Baltimore, Maryland, United States
• 20: Hélène Waeselynck , Pascale Thévenod-Fosse, A Case Study in Statistical Testing of Reusable Concurrent Objects, Proceedings of the Third European Dependable Computing Conference on Dependable Computing, p.401-418, September 15-17, 1999
• 21: Lee J. White , Prabhat N. Sahay, A computer system for generating test data using the domain strategy, Proceedings of the second conference on Software development tools, techniques, and alternatives, p.38-45, December 1985, San Francisco, California, United States

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.7 DOCUMENT AND TEXT PROCESSING
      I.7.2 Document Preparation

          Nouns: XML

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.2 SOFTWARE ENGINEERING

General Terms:
Design, Languages, Measurement, Performance, Theory

Keywords:
COM/DCOM, CORBA, UML statecharts, distributed components, functional testing, test execution, test generation