An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications
Keywords:
Web applications, testing, state chart, Z notation.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.
Downloads
Downloads
Published
Issue
Section
License
You are free to:
- Share — copy and redistribute the material in any medium or format for any purpose, even commercially.
- Adapt — remix, transform, and build upon the material for any purpose, even commercially.
- The licensor cannot revoke these freedoms as long as you follow the license terms.
Under the following terms:
- Attribution — You must give appropriate credit , provide a link to the license, and indicate if changes were made . You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
Notices:
You do not have to comply with the license for elements of the material in the public domain or where your use is permitted by an applicable exception or limitation .
No warranties are given. The license may not give you all of the permissions necessary for your intended use. For example, other rights such as publicity, privacy, or moral rights may limit how you use the material.
