摘要 |
PROBLEM TO BE SOLVED: To provide a method for verifying software in which a processing time and processing resources to be used are reduced.SOLUTION: A clustering module 130 receives a portion of a software program 110 including multiple functions 120. The clustering module 130 clusters a plurality of functions into two or more clusters 140 of functions, and a symbolic execution engine 150 generates symbolic drivers 152 for each of the clusters. The clusters 140 of the functions are symbolically executed using the symbolic drivers 152 to generate concrete test cases 160 for the functions in the clusters. In response to the coverage of the symbolic execution of the clusters of the functions being less than a particular coverage or the number of the concrete test cases being more than the particular number of concrete test cases, the clustering module 130 re-clusters the functions. |