Workflow-Based Modeling of Web Application and Automatically Generating Test Sequences

Web applications are main applications in Internet. Before developing Web Application, a CPN (Colored Petri net) model based on workflow is constructed. By this way, the rationality of the workflow can be ensured before developing, rather than the irrationality is found during testing phases. The constructed CPN model is analyzed with CPN tools. Moreover, AGTS tool is implemented to generate test sequences and it is also suitable for all CPN models. To prove the method's efficiency, the make-order business process of logistics management system is used as an example to construct CPN model that is based on workflow, and then verify the correction of the constructed CPN model. At the same time, AGTS tool can automatically generate the test sequences of the constructed CPN model and its usability of this automatic tool is demonstrated.