research-article

Model-based test cases synthesis using UML interaction diagrams

Authors:

Ashalatha Nayak,

Debasis SamantaAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 34, Issue 2

Pages 1 - 10

https://doi.org/10.1145/1507195.1507209

Published: 28 February 2009 Publication History

Abstract

UML 2.0 interaction diagrams model interactions in complex systems by means of operation fragments and a systematic testing approach is required for the identification and selection of test cases. The major problem for test cases synthesis from such an interaction diagram is to arrive at a comprehensive system behavior in the presence of multiple, nested fragments. In this regard, our approach is towards systematic interpretation of flow of controls as well as their subsequent usage in the test case synthesis. We also simplify the proposed flow of controls on the basis of control primitives resulting from UML 2.0 fragments and bring it to a testable form known as intermediate testable model (ITM), which is suitable for deriving system level test cases.

References

[1]

Frances E. Allen. Control flow analysis. ACM Sigplan Notices, 5(7):1--19, July 1970.

Digital Library

[2]

A. Aho, R. Sethi, and J. Ullman. Compilers - Principles, Techniques and Tools. Addison-Wesley, 1986.

Digital Library

[3]

F. Basanieri and A. Bertolino. A practical approach to UML-based derivation of integration tests. In Proceedings of the Software Quality Week QWE2000, November 2000.

[4]

D. Bell. UML's sequence diagram. Technical Library, IBM Rational Software, February 2004.

[5]

Robert V. Binder. Testing Object Oriented Systems: Models, Patterns and Tools. The Addison-Wesley Object Technology Series, 1999.

Digital Library

[6]

L. Briand and Y. Labiche. A UML-based approach to system testing. Journal of Software and Systems Modeling, pages 10--42, 2002.

[7]

E. G. Cartaxo, F. G. O. Neto, and P.D.L Machando. Test case generation by means of UML sequence diagrams and Labeled Transition Systems. In Proceedings of IEEE International Conference on systems, man and Cybernetics, pages 1292--1297, October 2007.

[8]

Fan-Tien Cheng, Chin-Hui Wang, and Yu-Chuan Su. Development of a generic tester for distributed object-oriented systems. In Proceedings of IEEE International Conference on Robotics and Automation, pages 1723--1730, September 2003.

[9]

Z. Dai. Model-driven testing with UML 2.0. In Proceedings of the 2nd European Workshop on Model Driven Architecture, 2004.

[10]

F. Fraikin and T. Leonhardt. SeDiTeC-testing based on sequence diagrams. In Proceedings of 17th IEEE International Conference on Automated Software Engineering, pages 261--266, 2002.

Digital Library

[11]

A. Z. Javed, P. A. Strooper, and G. N. Watson. Automated generation of test cases using model-driven architecture. In Proceedings of Second International Workshop on Automation of Software Test, 2007.

Digital Library

[12]

Bingchiang Jeng and Elaine J. Weyuker. A simplified domain-testing strategy. ACM Transactions on Software Engmeermg and Methodology, 3(3):254--270, July 1994.

Digital Library

[13]

C. Nebut, F. Fleurey, Y. L. Traon, and J. Jezequel. Automatic test generation: a use case driven approach. IEEE Transactions on Software Engineering, 32(3):140--155, March 2006.

Digital Library

[14]

Pan-Wei Ng. Hunting for use-case scenarios. The Rational Edge, October 2003.

[15]

Orest Pilskalns, Anneliese Andrews, Andrew Knight, Sudipto Ghosh, and Robert France. Testing UML designs. Information and Software Technology, 49(8):892--912, August 2007.

Digital Library

[16]

UML. UML 2.0 Superstructure - Final Adopted Specification. Object Management Group, 2003. http://www.omg.org/docs/ad/03-08-02.pdf.

[17]

F. Zhang and E. H. D'Hollander. Using hammock graphs to structure programs. IEEE Transactions on Software Engineering, 30(4):231--245, April 2004.

Digital Library

Cited By

Kundu DSarma MSamanta D(2019)A UML model-based approach to detect infeasible pathsJournal of Systems and Software10.1016/j.jss.2015.05.007107:C(71-92)Online publication date: 3-Jan-2019
https://dl.acm.org/doi/10.1016/j.jss.2015.05.007
Kundu DSamanta D(2018)Enumerating message paths for interaction testing of object-oriented systemsInnovations in Systems and Software Engineering10.1007/s11334-015-0264-412:4(279-301)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1007/s11334-015-0264-4
Jensen SThummalapenta SSinha SChandra S(2015)Test Generation from Business Rules2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2015.7102608(1-10)Online publication date: Apr-2015
https://doi.org/10.1109/ICST.2015.7102608
Show More Cited By

Index Terms

Model-based test cases synthesis using UML interaction diagrams
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Synthesis of test scenarios using UML activity diagrams

Often system developers follow Unified Modeling Language (UML) activity diagrams to depict all possible flows of controls commonly known as scenarios of use cases. Hence, an activity diagram is treated as a useful design artifact to identify all ...
Automated-generating test case using UML statechart diagrams
SAICSIT '03: Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology

Software testing plays a major role in software development because it accounts for a large part of the development cost. Moreover, manual testing technique always makes a problem. Consequently, this paper proposes the automatic testing technique to ...
Proposal of Testing Diagrams for Visualizing Test Cases
ICST '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation

A software system becomes a large scale in recent years. As a result, test cases used in software testing have become a large scale. It is difficult to understand where the software system is tested by a large quantity of test cases. For this reason, ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 34, Issue 2

March 2009

140 pages

ISSN:0163-5948

DOI:10.1145/1507195

Issue’s Table of Contents

Copyright © 2009 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 February 2009

Published in SIGSOFT Volume 34, Issue 2

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
550
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kundu DSarma MSamanta D(2019)A UML model-based approach to detect infeasible pathsJournal of Systems and Software10.1016/j.jss.2015.05.007107:C(71-92)Online publication date: 3-Jan-2019
https://dl.acm.org/doi/10.1016/j.jss.2015.05.007
Kundu DSamanta D(2018)Enumerating message paths for interaction testing of object-oriented systemsInnovations in Systems and Software Engineering10.1007/s11334-015-0264-412:4(279-301)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1007/s11334-015-0264-4
Jensen SThummalapenta SSinha SChandra S(2015)Test Generation from Business Rules2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2015.7102608(1-10)Online publication date: Apr-2015
https://doi.org/10.1109/ICST.2015.7102608
Gogolla MHamann LHilken FSedlmeier M(2015)Modeling Behavior with Interaction Diagrams in a UML and OCL ToolRevised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 636810.1007/978-3-319-21912-7_2(31-58)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/978-3-319-21912-7_2
Gogolla MHamann LHilken FSedlmeier MNguyen Q(2014)Behavior Modeling with Interaction Diagrams in a UML and OCL ToolProceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications10.1145/2630768.2630772(1-12)Online publication date: 22-Jul-2014
https://dl.acm.org/doi/10.1145/2630768.2630772
Mall RKundu DSamanta D(2013)Automatic code generation from unified modelling language sequence diagramsIET Software10.1049/iet-sen.2011.00807:1(12-28)Online publication date: 1-Feb-2013
https://doi.org/10.1049/iet-sen.2011.0080
Holzer AJanuzaj VKugele SLanger BSchallhart CTautschnig MVeith H(2011)Seamless testing for models and codeProceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software10.5555/1987434.1987461(278-293)Online publication date: 26-Mar-2011
https://dl.acm.org/doi/10.5555/1987434.1987461
Holzer AJanuzaj VKugele SLanger BSchallhart CTautschnig MVeith H(2011)Seamless Testing for Models and CodeFundamental Approaches to Software Engineering10.1007/978-3-642-19811-3_20(278-293)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19811-3_20
Löffler RMeyer MGottschalk MClarke LWeber-Jahnke J(2010)Formal scenario-based requirements specification and test case generation in healthcare applicationsProceedings of the 2010 ICSE Workshop on Software Engineering in Health Care10.1145/1809085.1809093(57-67)Online publication date: 3-May-2010
https://dl.acm.org/doi/10.1145/1809085.1809093

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents