• Jun 04, 2019 News!IJIEE Vol. 9, No. 2 issue has been published online!   [Click]
  • May 14, 2019 News!Vol.7, No.5-Vol.8, no.2 has been indexed by EI (Inspec).   [Click]
  • Apr 15, 2019 News!Papers published in Vol.8, No.1-No.4 have all received dois from Crossref.
General Information
    • ISSN: 2010-3719 (Online)
    • Abbreviated Title: Int. J. Inf. Electron. Eng.
    • Frequency: Quarterly
    • DOI: 10.18178/IJIEE
    • Editor-in-Chief: Prof. Chandratilak De Silva Liyanage
    • Executive Editor: Jennifer Zeng
    • Abstracting/ Indexing : Google Scholar, Electronic Journals Library, Crossref and ProQuest, Ei (INSPEC, IET), EBSCO.
    • E-mail ijiee@ejournal.net

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, The value of IJIEE will be well 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-2019. International Journal of Information and Electronics Engineering. All rights reserved.
E-mail: ijiee@ejournal.net