Reusable TestModelsandApplication Based on ZSpecification

Thereuseofthetest casesisan effective means toreduce thecostandimprove theefficiency oftest casegeneration. This paper studies three generic reusestrategies, reusable propertyofdatafield, reusable state-base test processbreak down,testtemplate framework. According tothese reuse strategies, we havedeveloped a reusable test caselibrary. Allthetest caseswill bedescribed andproved inZnotation toimprove their quality. Thetest manage systemusing the test caselibrary showthat the reuselibrary mechanism can maketesting better andfaster