Google scholar arxiv informatics ads IJAIS publications are indexed with Google Scholar, NASA ADS, Informatics et. al.

Call for Paper


March Edition 2023

International Journal of Applied Information Systems solicits high quality original research papers for the March 2023 Edition of the journal. The last date of research paper submission is February 15, 2023.

Test Case Generation from UML Sequence Diagram for Aadhaar Card Number based ATM System

Wasiur Rhmann, Vipin Saxena. Published in Fuzzy Systems

International Journal of Applied Information Systems
Year of Publication: 2016
Publisher: Foundation of Computer Science (FCS), NY, USA
Authors: Wasiur Rhmann, Vipin Saxena
Download full text
  1. Wasiur Rhmann and Vipin Saxena. Test Case Generation from UML Sequence Diagram for Aadhaar Card Number based ATM System. International Journal of Applied Information Systems 11(4):37-43, September 2016. URL, DOI BibTeX

    	author = "Wasiur Rhmann and Vipin Saxena",
    	title = "Test Case Generation from UML Sequence Diagram for Aadhaar Card Number based ATM System",
    	journal = "International Journal of Applied Information Systems",
    	issue_date = "September 2016",
    	volume = 11,
    	number = 4,
    	month = "Sep",
    	year = 2016,
    	issn = "2249-0868",
    	pages = "37-43",
    	numpages = 7,
    	url = "",
    	doi = "10.5120/ijais2016451599",
    	publisher = "Foundation of Computer Science (FCS), NY, USA",
    	address = "New York, USA"


Software testing plays an important role to uncover the errors during the programming phase of the software development. It is also used for validation of the software. For representing the dynamic behavior of the software system, a sequence diagram from Unified Modeling Language is used. In the present work, test cases are generated from sequence diagram by converting it into the Sequence Flow Graph. Test scenarios are generated from Sequence Flow Graph by defining pre and post conditions using Object Constraint Language. Test case outputs are determined from the final message in the test scenario. A real case study for cash withdraw from Aadhaar card based ATM is considered. In India, Aadhaar card number is mandatory for every citizen and it increases security during transaction of cash from ATM machine. Generated test cases from the present study satisfy message path coverage criteria. Finally, cyclomatic complexity is also computed for optimizing or validating the generated test cases.


  1. Pressman, R. S. 2005. Software Engineering: A Practitioner's Approach. Mc-Graw Hill.
  2. Object Management Group (OMG). 2006. Object Constraint language (OCL) OMG, http://www. omg. org
  3. Booch G. , Jacobson I. and Rambaugh G. 2009. The Unified Modeling Language Guide. Pearson.
  4. Li, L. B. , Shu, L. Z. and Chen, Y. H. 2007. Test Case Automate Generation from UML Sequence Diagram and OCL Expression. International Conference on Computational Intelligence and Security, Harbina, China, pp. 1048-1052
  5. Ali, M. A. , Shaik, S. and Kumar, S. 2014. Test Case generation using UML State diagram and OCL Expression, International Journal of Computer Applications, Vol. 95, No. 12, pp. 7-11
  6. Swain, R. K. , Panthi V. and Behera, P. K. 2012. Test Case design using Slicing of UML Sequence diagram, Second International Conference on Communication, Computing and Security, pp. 136-144
  7. Tonella, P. , Potrich. A. 2003. A Reverse Engineering of the Interaction Diagram from C++ code, Proc. of IEEE third International Conference on Software Maintenance, pp. 159-168.
  8. https://en. wikipedia. org/wiki/Unique_Identification_Authority_of_India.
  9. https://uidai. gov. in/authentication-2/operation-model. html


UML, Sequence Diagram, Test Case, OCL, Sequence Flow Graph