Title :
Research on Framework of Test Case Generation of Web Applications Based on Z Specification
Author :
Youxin, Meng ; Dafa, Wang ; Du Junwei
Author_Institution :
Coll. of Inf. Sci. & Technol., Qingdao Univ. of Sci. & Technol., Qingdao, China
Abstract :
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.
Keywords :
Internet; formal specification; program testing; software quality; Web applications; Z specification refinement; program slicing; quality assurance; software testing; test case generation; Application software; Character generation; Educational institutions; Forward contracts; Information technology; Logic testing; Network servers; Refining; Software testing; System testing; Web applications testing; Z language; program slicing; software refinement; test case;
Conference_Titel :
Information Technology and Applications, 2009. IFITA '09. International Forum on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3600-2
DOI :
10.1109/IFITA.2009.465
