Research on Framework of Test Case Generation of Web Applications Based on Z Specification

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.