Based On The Cases Of The Statute Of The Z Language Test Cases Generation Method

Software testing is a very important phase in the lifecycle of software; it can impact the quality of the software greatly. To a large extent, adequate testing can guarantee the success of the software. Test cases generation, which is the key of software testing, will affect the quality and efficiency of testing. Generating test cases manually will spend a lot of effort and money, and the situation will be more serious when the development time is very limited. So, it is very important to research on the approach of generating test cases automatically. With the advantages of automation, test cases can be generated more quickly and precisely. As a result, the research on the method of generating test cases of high quality is quite valuable.Firstly, this article analyzed the research on this field, then, an efficient approach of generating test cases is proposed by the author. This article gives out the method of generating the formal specification written in Z notation from the use case specification. In order to describe the requirement of the system more clearly, the method of refining the use case specification is given out. To some extent, the refined use case specification can contribute more on the clarity. Based on the refined use case specification, the activity diagram is produced. After that, a method of abstracting the activity diagram is proposed to gain the directed graph and by traversing the graph all the use case scenarios can be generated. Then, the formal specification can be written according to the use case scenarios.Secondly, the approach of generating test cases from the formal specification is studied in this article. Test cases set are obtained from the formal specification and sequencing of the test cases is also studied in order to generate less test cases sequences that can cover the maximum use case scenarios. An extended test criterion called the maximum loop free efficient coverage criterion is introduced and the algorithm of generating test cases that conforms to this criterion is also given out. In order to verify the ability of detecting errors for the new criterion, a case study is completed and the result indicates that the new criterion is efficient on detecting errors in the complex predicates. Based on all the above, a framework of test cases generation tool is proposed.