Generating Test Case from Functional Requirement of Web Applications

E-commerce has been developing rapidly around the world. We run Web application to support e-commerce. Quality of Web applications influences the functionalities and security of e-commerce. Modeling and testing are important to quality of web applications. Many researchers are still to find effective ways to model and test Web applications. Formal methods can improve the quality of Web applications. This paper suggests utilizing a formal language (object-z to) describe functional requirement of Web applications. An approach to generating test sequence is introduced in this paper. We analyze formal specification to find out atomic operations and then identify the environment precondition of the operation (EPRE) for each atomic operation. We use EPREs to build an environment transition graph (ETG). The steps of transforming an ETG into environment transition sequences are also addressed. Two test adequacy criteria are defined as a guideline for the selection of the test sequences.