Abstract
The present method for generating software test cases includes the step of providing a plurality of initial test cases. The reference vertices, which suffice the conditional expression of the software, are set. Thereafter, any of the plurality of the initial test cases is compared with its adjacent vertex. If one of them belongs to the reference vertices and the other one does not, the initial test case and the adjacent vertex are marked as a tracing pair. Next, necessary test cases are filtered out from the tracing pairs. Furthermore, if there is no any tracing pair in a condition, some missing necessary test case is searched from the adjacent vertices of the necessary test cases.