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.

[1]  Jim Conallen,et al.  Modeling Web application architectures with UML , 1999, CACM.

[2]  Graeme Smith,et al.  The object-Z specification language: version 1 , 1991 .

[3]  A. Jefferson Offutt,et al.  Testing Web applications by modeling with FSMs , 2005, Software & Systems Modeling.

[4]  Paolo Tonella,et al.  Analysis and testing of Web applications , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[5]  Liu Ling,et al.  A specification-based case study from test class framework , 2001 .

[6]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[7]  David Chenho Kung,et al.  An object-oriented web test model for testing Web applications , 2000, Proceedings First Asia-Pacific Conference on Quality Software.

[8]  Paul Ammann,et al.  Using formal methods to derive test frames in category-partition testing , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[9]  David A. Carrington,et al.  A Framework for Specification-Based Testing , 1996, IEEE Trans. Software Eng..

[10]  Ling Liu,et al.  A framework for specification-based class testing , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

[11]  Eerke A. Boiten,et al.  Testing Refinements of State-based Formal Specifications , 1999, Softw. Test. Verification Reliab..

[12]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[13]  Robert M. Hierons.  Testing from a Z Specification , 1997, Softw. Test. Verification Reliab..