Reusable test models and application based on Z specification

The reuse of the test cases is an effective means to reduce the cost and improve the efficiency of test case generation. This paper studies three generic reuse strategies, reusable property of data field, reusable state-base test process break down, test template framework. According to these reuse strategies, we have developed a reusable test case library. All the test cases will be described and proved in Z notation to improve their quality The test manage system using the test case library show that the reuse library mechanism can make testing better and faster.