research-article

A Memorization Approach for Test Case Generation in Concurrent UML Activity Diagram

Authors:

Suwatchai Kamonsantiroj,

Luepol Pipanmaekaporn,

Siriluck LorpunmaneeAuthors Info & Claims

ICGDA '19: Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis

Pages 20 - 25

https://doi.org/10.1145/3318236.3318256

Published: 15 March 2019 Publication History

Abstract

Test case generation is the most important part of software testing. Currently, researchers have used the UML activity diagram for test case generation. Testing concurrent system is difficult task due to the concurrent interaction among the threads and the system results in test case explosion. In this paper, we proposed a novel approach to generate test cases for concurrent systems using a dynamic programming technique with tester specification to avoid the path explosion. The tester can configure the concurrency specifications that follow the business flow constraints. In order to evaluate the quality of test cases, activity coverage and causal ordering coverage were measured. By experimental results, the proposed approach is superior as compared to DFS and BFS algorithms. Finally, the proposed approach helps to avoid generating all possible concurrent activity paths which are able to minimize test cases explosion.

References

[1]

M. Rajib, Fundamentals of Software Engineering, 2nd ed., India: Prentice Hall Co., 2009.

[2]

K. Debasish, and S. Debasis, "A Novel approach to generate test cases from UML activity diagram. Journal of Object," Technology, 2009, pp. 65--83.

[3]

G. Jerry, T. H.-S, W. Ye, Testing and Quality Assurance for Component-Based Software. USA Publication: Artech House, Inc. Norwood, 2003.

Digital Library

[4]

S.Monalisa, and M. Rajib, "Automatic test case generation from uml models," In: IEEE 10th International conference on Information Technology, 2007, pp. 196--201.

Digital Library

[5]

B. Grady, R. James, and J. Ivar, Unified Modeling Language User Guide, first ed., Addison Wesley, 1998.

[6]

L.Wang, J.Yuan, X.Yu, J.Hu, X.Li, G.Zheng, "Generating Test Cases from UML Activity Diagram based on Gray-Box Method," In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, 2004, pp. 284--291.

Digital Library

[7]

K. Monalisha, A. Arup, and M.Durga, "A Survey on Test Case Generation from UML Model," International Journal of Computer Science and Information Technologies, vol 2, 2011, pp. 1164--1171.

[8]

M. Chen, X. Qiu, and X. Li, "Automatic Test Case Generation for UML Activity Diagrams," In: ACM Proceedings of the 2006 international workshop on Automation of software test, 2006.

Digital Library

[9]

C. Mingsong, Q. Xiaokang, X. Wei, W. Linzhang, Z. Jianhua, and L. Xuandong, "UML Activity Diagram-Based Automatic Test Case Generation For Java Programs," The Computer Journal, vol 52, issue 5, 1 Aug 2009, pp 545--556.

Digital Library

[10]

T. Walaithip, K Suwatchai, and P. Luepol, "Generating Test Cases from UML Activity Diagram based on Business Flow Constraints," In: ACM the Fifth International Conference on Network, Communication and Computing, 2016, pp. 155--160.

Digital Library

[11]

C. Mingsong, M. Prabhat, and K. Dhrubajyoti, "Coverage-driven Automatic Test Generation for UML Activity Diagram," In The Association for Computing Machinery ACM Great Lakes Symposium on VLSI, 2008.

Digital Library

[12]

K. Hyungchoul, K. Sungwon, B. Jongmoon, and K. Inyoung, "Test Cases Generation from UML Activity Diagrams," In The Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Paralle/Distributed Computing. SNPD, 2007, pp. 556--561.

Digital Library

[13]

S.Philip, M. Rajib, and K. Pratyush, "Automatic test case generation from UML communication diagrams," Information and Software Technology, 2007, pp. 158--171.

Digital Library

[14]

B. Adnan, S. A, and R. Sita, "Testing Concurrency and Communication in Distributed Objects," In Proceedings. Fifth International Conference on High Performance Computing (Cat. No. 98EX238), 1998.

Digital Library

[15]

K. Monalisha, A. Arup, and M. Durga, "A Novel Approach of Test Case Generation for Concurrent Systems Using UML Sequence Diagram," In 2011 3rd International Conference on Electronics Computer Technology. 8-10 April 2011, pp. 157--161

[16]

S.Mahesh, and K. Rajeev, "Testing for concurrency in UML Diagrams," In ACM SIGSOFT Software Engineering Notes, vol 37, September 2012, pp. 1--8.

Digital Library

[17]

Dalai S, Acharya A A, Mohapatra D P, "Test Case Generation For Concurrent Object-Oriented Systems Using Combinational Uml Models," International Journal of Advanced Computer Science and Information Technologies, vol 3, 2011, pp. 97--102.

[18]

Bellman, R. E. and Dreyfus, S. E., Applied Dynamic Programming, Princeton Legacy Library Paperback, 2015.

Digital Library

Cited By

Du XZhang JChen KZhou Y(2023)DFS-KeyLevel: A Two-Layer Test Scenario Generation Approach for UML Activity DiagramJournal of Electronic Testing: Theory and Applications10.1007/s10836-023-06045-y39:1(71-88)Online publication date: 3-Feb-2023
https://dl.acm.org/doi/10.1007/s10836-023-06045-y
Panigrahi SJena A(2023)Test Scenarios Generation and Optimization of Object-Oriented Models Using Meta-Heuristic AlgorithmsIntelligent Technologies: Concepts, Applications, and Future Directions, Volume 210.1007/978-981-99-1482-1_3(45-74)Online publication date: 2-Jun-2023
https://doi.org/10.1007/978-981-99-1482-1_3
Jin KLano K(2021)Generation of Test Cases from UML Diagrams - A Systematic Literature ReviewProceedings of the 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3452383.3452408(1-10)Online publication date: 25-Feb-2021
https://dl.acm.org/doi/10.1145/3452383.3452408
Show More Cited By

Index Terms

A Memorization Approach for Test Case Generation in Concurrent UML Activity Diagram
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification

Recommendations

Automatic test case generation for UML activity diagrams
AST '06: Proceedings of the 2006 international workshop on Automation of software test

The test case generation from design specifications is an important work in testing phase. In this paper, we use UML activity diagrams as design specifications, and present an automatic test case generation approach. The approach first randomly ...
Generating Test Cases from UML Activity Diagram Based on Business Flow Constraints
ICNCC '16: Proceedings of the Fifth International Conference on Network, Communication and Computing

Test case generation is the most important part of software testing. More than 50 percent of the cost and time are spent on testing the software development. Currently, researchers have used the UML activity for test case generation. However, finding a ...
Concurrent test case generation from UML activity diagram based on dynamic programming
ICSCA '17: Proceedings of the 6th International Conference on Software and Computer Applications

Concurrency is a challenging and difficult task for software testing. Many researchers try to solve this problem and propose a solution, i.e. control flow graph, breadth first search (BFS), combined activity diagram and I/O explicit activity diagram. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICGDA '19: Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis

March 2019

156 pages

ISBN:9781450362450

DOI:10.1145/3318236

Copyright © 2019 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]

In-Cooperation

Department of Informatics, University of Oslo

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 March 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

ICGDA 2019

ICGDA 2019: 2019 2nd International Conference on Geoinformatics and Data Analysis & 2019 2nd International Conference on Software and Services Engineering

March 15 - 17, 2019

Prague, Czech Republic

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
130
Total Downloads

Downloads (Last 12 months)25
Downloads (Last 6 weeks)4

Reflects downloads up to 01 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Du XZhang JChen KZhou Y(2023)DFS-KeyLevel: A Two-Layer Test Scenario Generation Approach for UML Activity DiagramJournal of Electronic Testing: Theory and Applications10.1007/s10836-023-06045-y39:1(71-88)Online publication date: 3-Feb-2023
https://dl.acm.org/doi/10.1007/s10836-023-06045-y
Panigrahi SJena A(2023)Test Scenarios Generation and Optimization of Object-Oriented Models Using Meta-Heuristic AlgorithmsIntelligent Technologies: Concepts, Applications, and Future Directions, Volume 210.1007/978-981-99-1482-1_3(45-74)Online publication date: 2-Jun-2023
https://doi.org/10.1007/978-981-99-1482-1_3
Jin KLano K(2021)Generation of Test Cases from UML Diagrams - A Systematic Literature ReviewProceedings of the 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3452383.3452408(1-10)Online publication date: 25-Feb-2021
https://dl.acm.org/doi/10.1145/3452383.3452408
Shirole MKumar R(2021)Concurrent behavioral coverage criteria for sequence diagramsInnovations in Systems and Software Engineering10.1007/s11334-021-00413-719:2(157-176)Online publication date: 25-Nov-2021
https://dl.acm.org/doi/10.1007/s11334-021-00413-7
Shirole MKumar R(2021)Constrained permutation-based test scenario generation from concurrent activity diagramsInnovations in Systems and Software Engineering10.1007/s11334-021-00389-417:4(343-353)Online publication date: 1-Dec-2021
https://dl.acm.org/doi/10.1007/s11334-021-00389-4

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 Table of Contents