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 (ETC). 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.
Web application test case Object-Z
Bin Zhu Huaikou Miao Hongwei Zeng Shengbo Chen
School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China School of Co School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China Shanghai Key
国际会议
Second International Symposium on Electronic Commerce and Security(第二届电子商务与安全国际研究大会)(ISECS 2009)
南昌
英文
1121-1124
2009-05-22（万方平台首次上网日期，不代表论文的发表时间）