Research on Framework of Test Case Generation of Web Applications Based on Z Specification
Meng Youxin, Wang Dafa, Junwei Du · 2009
Software testing is important in quality assurance of Web applications, in which test case is crucial. In this paper, a test framework is produced through program slicing and Z specification refinement. Under this framework, test case can be generated and reduced by analyzing Z specification of Web applications.