—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.
—Web applications, testing, state chart, Z notation.
Khusbu Bubna is with International Institute of Information Technology, Bangalore, India (e-mail: firstname.lastname@example.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.