article

Free access

UML-Based integration testing

Authors:

Claudio Imoberdorf,

Michael MeisingerAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 25, Issue 5

Pages 60 - 70

https://doi.org/10.1145/347636.348872

Published: 01 August 2000 Publication History

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]

Balcer M., Hasling W., Ostrand T., Automatic Generation of Test Scripts from Formal Test Specifications, Proceedings of ACM SIGSOFT'89 - Third Symposium on Software Testing, Verification, and Analysis (TAVS-3), ACM Press, pp. 257-71, June 1990.]]

Digital Library

[2]

Beizer, Boris, Software Testing Techniques, Second Edition. Van Nostrand Reinhold, 1990.]]

Digital Library

[3]

Derrick J., Boiten E.A.: Testing Refinements by Refining Tests, ZUM'98 - The Z Formal Specification Notation, Springer-Verlag, pp. 265-83, Sept. 1998.]]

Digital Library

[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]

Hoare C. A. R, Communicating Sequential Processes. Prentice Hall, 1987.]]

Digital Library

[7]

Hopcroft J., Ullman J., Introduction to Automata Theory, Languages and Computation, 3 rd Edition, Addison-Wesley, 1994.]]

Digital Library

[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]

Milner R., Communication and Concurrency, Prentice-Hall, 1 st Edition, 1995.]]

Digital Library

[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]

Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W.: Object-Oriented Modeling and Design. Prentice Hall, 1991.]]

Digital Library

[15]

Rumbaugh J., Jacobson I., Booch G.: The Unified Modeling Language Reference Manual, Addision-Wesley, 1999.]]

Digital Library

[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]

Szyperski Clemens: Component Software. Beyond Object-Oriented Programming. Addison-Wesley Longman Ltd., 1998.]]

Digital Library

[19]

Tai K.C., Predicate-Based Test Generation for Computer Programs, Proceedings of 15th International Conference on Software Engineering (ICSE), IEEE Computer Society Press, pp. 267-76, May 1993.]]

Digital Library

[20]

Waeselynck H. and Thevenod-Fosse P., A Case Study in Statistical Testing of Reuseable Concurrent Objects, Proceedings of 3 rd European Dependable Computing Conference (EDCC-3), LNCS 1667, pp. 401-418, 1999.]]

Digital Library

[21]

White L.J., and Sahay P.N., A Computer System for Generating Test Data using the Domain Strategy, Proceedings of SOFTFAIRII - 2nd Conference on Software Development Tools, Techniques and Alternatives, IEEE Computer Society Press, pp. 38-45, Dec. 1985.]]

Digital Library

Cited By

Minhas NMasood SPetersen KNadeem A(2020)A systematic mapping of test case generation techniques using UML interaction diagramsJournal of Software: Evolution and Process10.1002/smr.223532:6Online publication date: 4-Jun-2020
https://dl.acm.org/doi/10.1002/smr.2235
Mukherjee DMall R(2019)An integration test coverage metric for Java programsInternational Journal of System Assurance Engineering and Management10.1007/s13198-019-00787-9Online publication date: 15-Jun-2019
https://doi.org/10.1007/s13198-019-00787-9
Mukherjee DShekhar DMall R(2018)Proposal for A Structural Integration Test Coverage Metric for Object-Oriented ProgramsACM SIGSOFT Software Engineering Notes10.1145/3178315.317833043:1(1-4)Online publication date: 28-Mar-2018
https://dl.acm.org/doi/10.1145/3178315.3178330
Show More Cited By

Index Terms

UML-Based integration testing
1. Applied computing
  1. Document management and text processing
    1. Document preparation
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

UML-Based integration testing
ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis

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 ...
Test ready UML statechart models
SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of ...
A Tool-Supported Approach to Testing UML Design Models
ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems

For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diagrams, interaction diagrams, and activity diagrams. A UML design model ...

Comments

Information & Contributors

Information

Published In

Copyright © 2000 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2000

Published in SIGSOFT Volume 25, Issue 5

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

114
Total Citations
View Citations
3,829
Total Downloads

Downloads (Last 12 months)286
Downloads (Last 6 weeks)30

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Minhas NMasood SPetersen KNadeem A(2020)A systematic mapping of test case generation techniques using UML interaction diagramsJournal of Software: Evolution and Process10.1002/smr.223532:6Online publication date: 4-Jun-2020
https://dl.acm.org/doi/10.1002/smr.2235
Mukherjee DMall R(2019)An integration test coverage metric for Java programsInternational Journal of System Assurance Engineering and Management10.1007/s13198-019-00787-9Online publication date: 15-Jun-2019
https://doi.org/10.1007/s13198-019-00787-9
Mukherjee DShekhar DMall R(2018)Proposal for A Structural Integration Test Coverage Metric for Object-Oriented ProgramsACM SIGSOFT Software Engineering Notes10.1145/3178315.317833043:1(1-4)Online publication date: 28-Mar-2018
https://dl.acm.org/doi/10.1145/3178315.3178330
Liu PXu Z(2018)MTTool: A Tool for Software Modeling and Test GenerationIEEE Access10.1109/ACCESS.2018.28727746(56222-56237)Online publication date: 2018
https://doi.org/10.1109/ACCESS.2018.2872774
Khalil ADingel J(2018)Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts10.1016/bs.adcom.2017.09.003(145-281)Online publication date: 2018
https://doi.org/10.1016/bs.adcom.2017.09.003
Jiang HLi XYang ZXuan JUchitel SOrso ARobillard M(2017)What causes my test alarm?Proceedings of the 39th International Conference on Software Engineering10.1109/ICSE.2017.71(712-723)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/ICSE.2017.71
Shchurov AMarik R(2017)A Multilayer Approach to Commercial Computer Networks TestingIEEE Access10.1109/ACCESS.2017.27140985(11083-11099)Online publication date: 2017
https://doi.org/10.1109/ACCESS.2017.2714098
Shin KLim D(2017)Model-based automatic test case generation for automotive embedded software testingInternational Journal of Automotive Technology10.1007/s12239-018-0011-619:1(107-119)Online publication date: 3-Oct-2017
https://doi.org/10.1007/s12239-018-0011-6
Sun CZhao YPan LHe XTowey D(2016)A transformation-based approach to testing concurrent programs using UML activity diagramsSoftware—Practice & Experience10.1002/spe.232446:4(551-576)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.1002/spe.2324
Salman YHashim N(2015)Automatic Test Case Generation from UML State Chart Diagram: A SurveyAdvanced Computer and Communication Engineering Technology10.1007/978-3-319-24584-3_12(123-134)Online publication date: 29-Dec-2015
https://doi.org/10.1007/978-3-319-24584-3_12
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents