The Research And Application Of Reusable Test Case Model Based On Specification

With the rapid development of software industry, the scale of software is becoming increasingly larger, and the software has become more and more complexity. Software has been applied in all areas of human activity, and the applications in the aviation, energy, communications, and financial, military and other key areas are increasingly widespread. Software test as an important means to ensure software quality, and also is an important part of the software development process, its importance has gradually received attention and recognition. Nowadays in order to improve software quality, a large number of software companies at home and abroad have changed focus from simply coding to software engineering. It has formed a set of relatively complete theoretical system of software test, making software test more and more standardized. And the use of automated test tools has greatly enhanced test efficiency, moreover academia and industry also apply the concept of reuse to software requirements engineering and design projects, and have achieved significant effect. However, the research of reuse in the test phase is little. If we can apply the software reuse to software test, and construct a reusable test model, then establish a reusable test case management system, so that test cases can be effectively reused and shared, which will be very useful to improve software testing efficiency and reduce the workload of software testers.A large number of test cases generated from software testing process play a key role in ensuring the quality of the software. For organizations specializing in software testing, the test case reuse is particularly important. Based on the test case design and selection, it constructed reusable test cases, while using the test case database management method to achieve the reuse of test cases, which can improve the efficiency of software testing. This paper mainly studied the software testing process, methods and reuse theoretical thought; discussed the test case design, selection and implementation in modern software testing; and in-depth researched study of the formal specification language in order to build specification-based model of reusable test cases; and on this basis, effectively manage test cases that realizes the test case reuse, then achieve the purpose of improving software testing process and test efficiency.This paper combined with the National 863 Project "for the multi-sector IT resource library system construction and application" in respect of reusable test library system design and development, researched formal methods and test case reuse in software testing, so as to improve software defect detection rate, improve the efficiency of testing services platform and better software quality assurance. The main research work of this paper are analysis of software test methods and test case reusability, study of formal methods and specification-based testing, proposal of specification-based reusable test models, analysis of test case reuse process, proposal of reusable test library system design and management methods.