Automatic Generation Of Test Cases Based On Research And Implementation Of Bipartite Graphs And Contracts

Under normal circumstances, in the process of testing the test object, the quality of testing cases is the key factor that will direct impact whether to find some potential problems in the process of the testing, but the nature of software testing is to determine a set of test cases to test, the size of the test cases will directly affect the cost of the testing process and the testing cycle, so the method of generating the test cases and how to improve the quality of the test cases is the core issue of the sofeware tesing.A program always has the input variables and output variables, and the output variable is often subject to the constraints of the number of input variables, to form a corresponding relationship. Using this correspondence to design test cases can reduce the redundancy of test cases, so as to improve the efficiency of the test.Departure from the individual characteristics of the black box testing and white box testing, considering the advantages of black box and white-box testing, which is proposed to automatically generate test cases based bipartite graph and contract Research and implementation. In this paper, by using the Bipartite Graph mapping properties. We linked the Bipartite Graph and the structure of the test program, using the input field and output field of the testing program to constitute the Bipartite Graph, thus grouped the variables of the input field, formation of the corresponding input set for the each output variable by using a uniform random number generation algorithm, using the Descartes algorithm processing each input set, finally, to generate the initial set of test cases. In the test cases optimization, in this paper uses the concept of pre-conditions and post-conditions of the Contract, removed the test cases that not meet the pre-conditions, removed the test cases that correspond to output which not meet the requirements of the post-condition, further substantial reduction in the scale of the test cases.This article has achieved the suppor tools of basing on a test case of Bipartite Graph and Contract generation and optimization by using the Java programming language. The testers can use this tool to generate and optimizate the test cases for the program, this tool can reduce the size of the test cases, shorten the test cycle.Finally, through a large number of experiments to verify the validity of the method of the based on a test case of Bipartite Graph and Contract automatical generation and optimization.