Generating Test Case from Functional Requirement of Web Applications
暂无分享,去创建一个
[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..