• Jun 13, 2017 News!The submission for 2018 7th International Conference on Information and Electronics Engineering (ICIEE 2018) is officially open now !   [Click]
  • Oct 20, 2017 News!IJIEE Vol. 7, No. 6 issue has been published online!   [Click]
  • Sep 28, 2017 News!IJIEE Vol. 7, No. 5 issue has been published online!   [Click]
General Information
Editor-in-chief

 
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).

[PDF]

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-2017. International Journal of Information and Electronics Engineering. All rights reserved.
E-mail: ijiee@ejournal.net