• Jul 12, 2018 News!The submission for 2019 8th International Conference on Information and Electronics Engineering (ICIEE 2019) is officially open now !   [Click]
  • Aug 31, 2018 News!IJIEE Vol. 8, No. 3 issue has been published online!   [Click]
  • Aug 06, 2018 News!Vol.7, No.1-No.4 has been indexed by EI (Inspec).   [Click]
General Information
    • ISSN: 2010-3719
    • Frequency: Bimonthly
    • DOI: 10.18178/IJIEE
    • Editor-in-Chief: Prof. Chandratilak De Silva Liyanage
    • Associate Executive Editor: Ms. Jennifer Zeng
    • Executive Editor: Mr. Ron C. Wu
    • Abstracting/ Indexing : Google Scholar, Electronic Journals Library, Crossref and ProQuest, Ei (INSPEC, IET).
    • E-mail ijiee@ejournal.net

Faculty of Science, University of Brunei Darussalam, Brunei Darussalam   
" It is a great honor to serve as the editor-in-chief of IJIEE. I'll work together with the editorial team. Hopefully, IJIEE will be recognized among the readers in the related field."
IJIEE 2016 Vol.6(3): 166-170 ISSN: 2010-3719
DOI: 10.18178/IJIEE.2016.6.3.617

An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications

Khusbu Bubna
Abstract—As web applications are becoming more and more ubiquitous, modeling and testing web applications correctly is becoming necessary. This paper suggests utilizing two formal specification languages, State Chart and Z notation to describe the various functional requirements of web applications. The State chart framework is used to model the navigation behavior, while the Z notation is used to model the business logic functionality of web applications. Abstract test cases are generated from these two formal specification languages. An approach to map the abstract test cases generated from State chart model to Selenium RC JUnit concrete test case is presented in this paper. An example web application, a Hospital Management System is used to illustrate our approach.

Index Terms—Web applications, testing, state chart, Z notation.

Khusbu Bubna is with International Institute of Information Technology, Bangalore, India (e-mail: khusbu.bubna@iiitb.org).


Cite:Khusbu Bubna, "An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications," International Journal of Information and Electronics Engineering vol. 6, no. 3, pp. 166-170, 2016.

Copyright © 2008-2018. International Journal of Information and Electronics Engineering. All rights reserved.
E-mail: ijiee@ejournal.net